An introduction to nonmonotonic logic

Authors:
Drew McDermott;Jon Doyle
Affiliations:
Department of Computer Science, Yale University, New Haven, Connecticut;Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Year:
1979

Citing 4
Cited 0

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
A Framework for Representing Knowledge

A Framework for Representing Knowledge
A formalism for relating lexical and pragmatic information: its relevance to recognition and generation

TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
On reasoning by default

TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing

Quantified Score

Hi-index	0.00

Visualization

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.