Applications of Protected Circumscription

  • Jack Minker
  • Donald Perlis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 170)


We examine applications of an extension of circumscription that allows protection of certain objects against being included in the circumscription process. We show that this allows a clean handling of incomplete information in problems from artificial intelligence and databases.


Minimal Model Closed World Assumption Ground Clause John McCarthy Syntactic Proof 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Clark, K. [1978] “Negation as Failure”, In: Logic and Databases, (Gallaire, H. and Minker, J., Eds.) Plenum Press, NY 1978, 293–322.Google Scholar
  2. Davis, M. [1980] “The Mathematics of Non-Monotonic Reasoning”. Artificial Intelligence 13 (1980), 73–80.MathSciNetCrossRefzbMATHGoogle Scholar
  3. McCarthy, J. [1980] “Circumscription—A Form of Non-Monotonic Reasoning”. Artificial Intelligence 13 (1980), 27–39.MathSciNetCrossRefzbMATHGoogle Scholar
  4. McDermott, D., and Doyle, J. [1980] “Non-Monotonic Logic I” Artificial Intelligence 13 (1980), 41–72.MathSciNetCrossRefzbMATHGoogle Scholar
  5. Minker, J. [1982] “On Indefinite Databases and the Clmed-World Assumption”. Springer-Voting Lecture Notes in Computer Science, v.138, 292–308. Sixth Conference on Automated Deduction. New York, NY. 1982.CrossRefGoogle Scholar
  6. Minker, J., and Perlis, D. [1984] “On the Semantics of Circumscription”. Technical Report, Univ. of Marylsad, 1984.Google Scholar
  7. Reiter, R. [1980] “A Logic for Default Reasoning”. Artificial Intelligence 13 (1980), 81–132.MathSciNetCrossRefzbMATHGoogle Scholar
  8. Reiter, R. [1978] “On Closed World Databases”. In: Logic sad Data Bases, (Gailaire, H. and Minker, J., eds.) Plenum, 1978, 55–76.Google Scholar
  9. Reiter, R. [1982] “Circumscription Implies Predicate Completion (Sometimes)”. Proceedings of AAAI-82, 418–420.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Jack Minker
    • 1
  • Donald Perlis
    • 1
  1. 1.Computer Science DepartmentUniversity of MarylandCollege Park

Personalised recommendations