Немонотонная логика
Немонотонная логика — формальная логика, отношение между умозаключениями которой не является монотонным. Другими словами, немонотонные логики разрабатываются для того, чтобы фиксировать и представлять опровергаемые выводы (см. опровергаемое рассуждение), т.е. такие умозаключения, в которых возникает предварительный вывод, позволяющий отказаться от заключений (выводов), на основе дополнительных, новых, полученных данных[1].
Большинство изученных формальных логик имеют монотонное следствие отношений, означающее, что добавление формулы, в теорию, никогда не приводит к сокращению множества выводов. Интуитивно понятно, что монотонность свидетельствует, о том, что получение нового знания не может уменьшить набор уже имеющихся знаний. Монотонная логика оказывается неприменима для решения различных задач рассуждений, таких как дефолтная логика, где выводы могут быть получены только из-за отсутствия доказательств обратного, абдуктивное рассуждение (выводы строятся только как наиболее вероятные объяснения), некоторые важные подходы рассуждения о знании, в случае получения знания о заключении заранее, необходимо отказаться от вывода о неизвестности заключения и, аналогично, пересмотр убеждений, когда новое знание может противоречить старым убеждениям.
Абдуктивное рассуждение[править | править код]
Абдуктивное рассуждение — процесс выведения достаточного объяснения из известных фактов. Абдуктивная логика не должна быть монотонной, поскольку вероятные объяснения не обязательно являются правильными.
Например, вероятным объяснением того, что трава была мокрой, является дождь. Однако, от этого объяснения приходится отказаться, когда выясняется, что на самом деле причиной мокрой травы был разбрызгиватель. Поскольку старое объяснение (шёл дождь) отбрасывается, из-за добавления нового знания (действовал разбрызгиватель), любая логика, моделирующая объяснения, является немонотонной.
Рассуждение о знании[править | править код]
Если логика включает формулы, означающие, что что-то неизвестно, то такая логика не должна быть монотонной. Действительно, познание того, что ранее было неизвестно, приводит к исключению, из логики, состава формулы, указывающей на отсутствие данного фрагмента знания. Это второе изменение (удаление, вызванное добавлением) нарушает условие монотонности.
Рассуждение о знании — автоэпистемическая логика.
Пересмотр убеждений[править | править код]
Пересмотр убеждений — процесс внесения изменений в убеждения с учётом возникающих потребностей, которые могут быть несовместимы со старыми убеждениями. В предположении, что новое убеждение верно, некоторые из старых убеждений должны быть опровергнуты, чтобы сохранить согласованность. Такое отречение, в ответ на добавление, во взгляды, нового убеждения делает любую логику пересмотра убеждений немонотонной.
Подход, основанный на пересмотре убеждений, является альтернативой паранепротиворечивым логикам, которые допускают несогласованность, а не пытаются исключить её из системы.
См. также[править | править код]
- Логическое программирование
- Отрицание как неудача
- Семантика стабильной модели
- Рациональное отношение следствий
Примечания[править | править код]
- ↑ Strasser; Antonelli, G. Aldo Non-Monotonic Logic. plato.stanford.edu/index.html. Stanford Encyclopedia of Philosophy. Дата обращения: 19 марта 2015. Архивировано 20 сентября 2021 года.
Литература[править | править код]
- Bidoit, N. (1989). "Minimalism, justification and non-monotonicity in deductive databases". Journal of Computer and System Sciences. 38 (2): 290—325. doi:10.1016/0022-0000(89)90004-4.
- Brewka, G. [[[:Шаблон:GBurl]] Nonmonotonic Reasoning: Logical Foundations of Commonsense]. — Cambridge University Press, 1991. — ISBN 978-0-521-38394-3.
- Brewka, G. Nonmonotonic Reasoning — An Overview / G. Brewka, J. Dix, K. Konolige. — Stanford : CSLI publications, 1997. — Vol. 73. — ISBN 9781881526834.
- Cadoli, M. (1993). "A survey of complexity results for non-monotonic logics". Journal of Logic Programming. 17 (2—4): 127—60. doi:10.1016/0743-1066(93)90029-G.
- Donini, F.M. (1990). "Nonmonotonic reasoning". Artificial Intelligence Review. 4 (3): 163—210. doi:10.1007/BF00140676.
- Gabbay, D.M. Theoretical foundations for non-monotonic reasoning in expert systems // Logics and Models of Concurrent Systems / Apt. — NATO ASI Series, Series F: Computer and Systems Sciences : Springer, 1985. — Vol. 13. — P. 439–457. — ISBN 978-3-642-82453-1. — doi:10.1007/978-3-642-82453-1_15.
- Readings in Nonmonotonic Reasoning / Ginsberg. — Morgan Kaufmann, 1987. — ISBN 978-0-934613-45-3.
- Horty, J.F. Nonmonotonic Logic // The Blackwell Guide to Philosophical Logic / Goble. — Wiley, 2001. — ISBN 978-0-631-20692-7.
- Łukaszewicz, W. Non-Monotonic Reasoning. — Ellis-Horwood, 1990. — ISBN 978-0-13-624446-2.
- Lundberg, C.G. (2000). "Made sense and remembered sense: Sensemaking through abduction" (PDF). Journal of Economic Psychology. 21 (6): 691—709. doi:10.1016/S0167-4870(00)00027-1.
- Makinson, D. Bridges from Classical to Nonmonotonic Logic. — College Publications, 2005. — ISBN 9781904987000.
- Marek, W. [[[:Шаблон:GBurl]] Nonmonotonic Logics: Context-Dependent Reasoning] / W. Marek, M. Truszczynski. — Springer, 1993. — ISBN 978-3-662-02906-0.
- Abdallah, A. Nait. [[[:Шаблон:GBurl]] The Logic of Partial Information]. — Springer, 1995. — ISBN 978-3-642-78160-5.
Ссылки[править | править код]
- Antonelli, G. Aldo. "Non-monotonic logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
- Non-monotonic logic at PhilPapers
- Non-monotonic logic at the Indiana Philosophy Ontology Project
