Non-Monotonic Logic I. Revision.
McDermott ,Drew, Jon Doyle · Defense Technical Information Center (DTIC) · 1979
'Non-montonic' 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 imcomplete information, must make and subsequently revise assumptions in light of new observations. We present the motivation and history of such logics. We develop and proof theories, a proof procedure, and applications for one non-monotonic logic. In particular, we prove the completeness of the non-monotonic predicate calculus and the decidability of the non-monotonic sentential calculus. (Author)