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