Алмаз Никсона - Nixon diamond

В немонотонное рассуждение, то Алмаз Никсона это сценарий, в котором допущения по умолчанию приводят к взаимно противоречивым выводам. Сценарий такой:

Поскольку Никсон - квакер, можно предположить, что он пацифист; Однако поскольку он республиканец, можно предположить, что он не пацифист. Проблема в том, как формальная логика немонотонных рассуждений следует иметь дело с такими случаями. Можно использовать два подхода:

скептический
поскольку нельзя ни доказать, что Никсон пацифист, ни наоборот, никакого вывода не делается;
доверчивый
поскольку можно доказать, что Никсон пацифист, по крайней мере, в одном случае, его считают пацифистом; однако, поскольку также может быть доказано, что он не пацифист, он также считается не пацифистом.

Легковерный подход позволяет доказать как что-то, так и обратное. По этой причине часто предпочитают скептический подход. Другое решение этой проблемы - назначить приоритеты предположениям по умолчанию; например, тот факт, что «обычно республиканцы не пацифисты», можно предположить с большей вероятностью, чем «обычно квакеры - пацифисты», что приводит к выводу, что Никсон не пацифист.

Название алмаз исходит из того, что такой сценарий, когда он выражается в сети наследования, это форма алмаза. Этот пример впервые упоминается Рейтером и Крискуоло в несколько иной форме, когда человек, который одновременно является республиканцем и квакером, - это Джон, а не Ричард Никсон.

Смотрите также

использованная литература

  • В. Марек и М. Трущинский (1993). Немонотонная логика: контекстно-зависимые рассуждения. Springer.
  • Р. Рейтер и Дж. Крискуоло (1981). О взаимодействующих значениях по умолчанию. В Материалы седьмой международной совместной конференции по искусственному интеллекту (IJCAI'81), страницы 94–100.

внешние ссылки