Никсон Даймонд

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

• обычно квакеры пацифисты ​
• обычно республиканцы не пацифисты
• Ричард Никсон — одновременно квакер и республиканец

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

скептический

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

доверчивый

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

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

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

См. также

• Логика по умолчанию
• Множественное наследование

Ссылки

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

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

• Обзор статьи Джона Хорти о плавающих выводах