An Introduction to Non-Monotonic Logic
Abstract
Non-monotonic logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise predictions in light of new observations. We present the motivation and history of such logics, develop a model theory for one important non-monotonic logic, and prove the completeness of the first-order non-monotonic predicate calculus.
Cite
Text
McDermott and Doyle. "An Introduction to Non-Monotonic Logic." International Joint Conference on Artificial Intelligence, 1979.Markdown
[McDermott and Doyle. "An Introduction to Non-Monotonic Logic." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/mcdermott1979ijcai-introduction/)BibTeX
@inproceedings{mcdermott1979ijcai-introduction,
title = {{An Introduction to Non-Monotonic Logic}},
author = {McDermott, Drew V. and Doyle, Jon},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {562-567},
url = {https://mlanthology.org/ijcai/1979/mcdermott1979ijcai-introduction/}
}