Немонотонная логика - Non-monotonic logic

Немонотонная логикой является формальной логикой которого вывод отношение не монотонно . Другими словами, немонотонная логика предназначена для фиксации и представления проверяемых выводов (ср. Проверяемые рассуждения ), т. Е. Своего рода вывода, в котором рассуждающие делают предварительные выводы, позволяя рассуждающим отозвать свой вывод (выводы) на основе дополнительных доказательств. Наиболее изученная формальная логика имеет монотонное отношение следствия, означающее, что добавление формулы к теории никогда не приводит к сокращению набора ее выводов. Интуитивно монотонность указывает на то, что изучение нового знания не может сократить набор того, что уже известно. Монотонная логика не может справиться с различными задачами рассуждения, такими как рассуждение по умолчанию (выводы могут быть получены только из-за отсутствия доказательств обратного), абдуктивное рассуждение (выводы выводятся только как наиболее вероятные объяснения), некоторые важные подходы к рассуждению о знании ( незнание вывода должно быть опровергнуто, когда вывод становится известным), и аналогично, пересмотр убеждений (новое знание может противоречить старым убеждениям).

Абдуктивное рассуждение

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

Рассуждения о знаниях

Если логика включает формулы, которые означают, что что-то неизвестно, эта логика не должна быть монотонной. Действительно, изучение чего-то, что ранее было неизвестно, приводит к удалению формулы, указывающей, что эта часть знания неизвестна. Это второе изменение (удаление, вызванное добавлением) нарушает условие монотонности. Логика рассуждений о знании - это аутоэпистемическая логика .

Пересмотр веры

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

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

Примечания

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

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