Non-Monotonic Logic I. Revision.

Abstract

'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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1979
Accession Number
ADA078395

Entities

People

  • Drew McDermott
  • Jon Doyle

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Autonomy
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Calculus
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Information Systems
  • Language
  • Models
  • Natural Languages
  • New York
  • Programming Languages
  • Reasoning
  • Recognition
  • Semantics
  • Standards
  • Theorems

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation
  • Theoretical Analysis.