Немонотонная логика
-
Немонотонная логика
- Формальная логика с немонотонным отношением выводов
- Фиксирует и представляет логические выводы, которые могут быть опровергнуты
- Разработана для задач рассуждения, таких как рассуждение по умолчанию, абдуктивное рассуждение, рассуждение о знании и пересмотр убеждений
-
Монотонная логика
- Большинство формальных логик имеют монотонное отношение следования
- Добавление формулы к гипотезам не уменьшает набор выводов
- Не справляется с задачами рассуждения, такими как рассуждение по умолчанию и абдуктивное рассуждение
-
Отвлекающее рассуждение
- Процесс получения достаточного объяснения известных фактов
- Абдуктивная логика не должна быть монотонной, так как вероятные объяснения не всегда верны
-
Рассуждения о знании
- Логика, включающая формулы, указывающие на неизвестность, не должна быть монотонной
- Изучение неизвестного приводит к удалению формулы, что нарушает монотонность
- Логика рассуждения о знании называется автоэпистемной логикой
-
Пересмотр убеждений
- Процесс изменения убеждений для приспособления к новым убеждениям
- Опровержение старых убеждений при добавлении нового делает логику пересмотра убеждений немонотонной
- Альтернатива параконформистской логике, допускающей непоследовательность
-
Формализации немонотонной логики
- Теоретико-доказательная формализация: принятие немонотонных правил вывода и контекстов их применения
- Примеры: логика по умолчанию и автоэпистемная логика
- Теоретико-модельная формализация: ограничение семантики монотонной логики специальными моделями и вывод немонотонных правил
- Примеры: описание первого порядка, замкнутое предположение о мире, автоэпистемная логика