Non-Monotonic Logic I.

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. The motivation and history of such logics are presented. Model and proof theories, a proof procedure, and applications for one important non-monotonic logic are developed. In particular, the completeness of the non-monotonic predicate calculus and the decidability of the non-monotonic sentential calculus are proven. Also discussed are characteristic properties of this logic and its relationship to stronger logics, logics of incomplete information, and truth maintenance systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1978
Accession Number
ADA062813

Entities

People

  • Drew McDermott
  • Jon Doyle

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Advanced Electronics
  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Databases
  • Hypotheses
  • Language
  • Military Research
  • Model Theory
  • Observation
  • Personal Information Managers
  • Programming Languages
  • Reasoning
  • Standards
  • Theorems

Readers

  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.