Немонотонная логика - Non-monotonic logic
Немонотонная логикой является формальной логикой которого вывод отношение не монотонно . Другими словами, немонотонная логика предназначена для фиксации и представления проверяемых выводов (ср. Проверяемые рассуждения ), т. Е. Своего рода вывода, в котором рассуждающие делают предварительные выводы, позволяя рассуждающим отозвать свой вывод (выводы) на основе дополнительных доказательств. Наиболее изученная формальная логика имеет монотонное отношение следствия, означающее, что добавление формулы к теории никогда не приводит к сокращению набора ее выводов. Интуитивно монотонность указывает на то, что изучение нового знания не может сократить набор того, что уже известно. Монотонная логика не может справиться с различными задачами рассуждения, такими как рассуждение по умолчанию (выводы могут быть получены только из-за отсутствия доказательств обратного), абдуктивное рассуждение (выводы выводятся только как наиболее вероятные объяснения), некоторые важные подходы к рассуждению о знании ( незнание вывода должно быть опровергнуто, когда вывод становится известным), и аналогично, пересмотр убеждений (новое знание может противоречить старым убеждениям).
Абдуктивное рассуждение
Абдуктивное рассуждение - это процесс получения достаточного объяснения известных фактов. Абдуктивная логика не должна быть монотонной, потому что вероятные объяснения не обязательно верны. Например, вероятное объяснение того, что я увидел влажную траву, состоит в том, что шел дождь; однако от этого объяснения придется отказаться, узнав, что настоящей причиной намокания травы был разбрызгиватель. Поскольку старое объяснение (шел дождь) отменено из-за добавления части знания (был активирован спринклер), любая логика, моделирующая объяснения, немонотонна.
Рассуждения о знаниях
Если логика включает формулы, которые означают, что что-то неизвестно, эта логика не должна быть монотонной. Действительно, изучение чего-то, что ранее было неизвестно, приводит к удалению формулы, указывающей, что эта часть знания неизвестна. Это второе изменение (удаление, вызванное добавлением) нарушает условие монотонности. Логика рассуждений о знании - это аутоэпистемическая логика .
Пересмотр веры
Пересмотр убеждений - это процесс изменения убеждений, чтобы приспособиться к новым убеждениям, которые могут не соответствовать старым. При предположении, что новое убеждение верно, необходимо отказаться от некоторых из старых, чтобы сохранить последовательность. Это опровержение в ответ на добавление нового убеждения делает любую логику пересмотра убеждений немонотонной. Подход пересмотра убеждений является альтернативой паранепротиворечивой логике , которая терпит несогласованность, а не пытается ее устранить.
Смотрите также
- Логическое программирование
- Отрицание как неудача
- Семантика стабильной модели
- Отношение рациональных последствий
Примечания
использованная литература
- Н. Бидойт и Р. Халл (1989) " Минимализм, обоснование и немонотонность в дедуктивных базах данных ", Журнал компьютерных и системных наук 38 : 290-325.
- Г. Брюка (1991). Немонотонное мышление: логические основы здравого смысла . Издательство Кембриджского университета.
- Г. Брюка, Дж. Дикс, К. Конолиге (1997). Немонотонное мышление - обзор . Публикации CSLI, Стэнфорд.
- М. Кадоли и М. Шаэрф (1993) " Обзор результатов сложности для немонотонных логик " Journal of Logic Programming 17 : 127-60.
- Ф. М. Донини, М. Лензерини, Д. Нарди, Ф. Пирри и М. Шаерф (1990) « Немонотонное мышление », Обзор искусственного интеллекта 4 : 163-210.
- Д.М. Габбай (1985). Теоретические основы немонотонных рассуждений в экспертных системах . В: Апт К.Р. (ред.) Логики и модели параллельных систем. Серия НАТО ASI (Серия F: Компьютерные и системные науки), том 13. Springer, Berlin, Heidelberg, стр. 439–457.
- М.Л. Гинзберг, изд. (1987) Чтения в немонотонном рассуждении . Лос-Альтос, Калифорния: Морган Кауфманн.
- Хорти, Дж. Ф., 2001, «Немонотонная логика», в Гобле, Лу, изд., Блэквелл: Руководство по философской логике . Блэквелл.
- В. Лукашевич (1990) Немонотонное мышление . Эллис-Хорвуд, Чичестер, Западный Сассекс, Англия.
- К.Г. Лундберг (2000) « Осмысление и запоминание смысла: создание смысла посредством похищения », Журнал экономической психологии : 21 (6), 691-709.
- Д. Макинсон (2005) Мосты от классической логики к немонотонной , публикации колледжа.
- В. Марек и М. Трущинский (1993) Немонотонная логика: контекстно-зависимые рассуждения . Springer Verlag.
- А. Наит Абдаллах (1995) Логика частичной информации . Springer Verlag.
внешние ссылки
- Антонелли, Дж. Альдо. «Немонотонная логика» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- Немонотонная логика в PhilPapers
- Немонотонная логика в проекте Indiana Philosophy Ontology Project