An Introduction to Non-Monotonic Logic
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
"Non-monotonic" logical systems are logics in which the Introduction of new axioms can lnva1ldate o1d 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 1lght 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 cakulus.
Drew V. McDermott, and Jon Doyle. 1979. An Introduction to Non-Monotonic Logic. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI, https://ijcai.org/proceedings/1979/124
McDermott, D. V., & Doyle, J. (1979). An Introduction to Non-Monotonic Logic. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI. https://ijcai.org/proceedings/1979/124
@inproceedings{ijcai1979p124,
title = {An Introduction to Non-Monotonic Logic},
author = {McDermott, Drew V. and Doyle, Jon},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/124},
}
TY - CPAPER TI - An Introduction to Non-Monotonic Logic AU - McDermott, Drew V. AU - Doyle, Jon T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/124 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
