Applications of Protected Circumscription
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.
KeywordsMinimal Model Closed World Assumption Ground Clause John McCarthy Syntactic Proof
Unable to display preview. Download preview PDF.
- Clark, K.  “Negation as Failure”, In: Logic and Databases, (Gallaire, H. and Minker, J., Eds.) Plenum Press, NY 1978, 293–322.Google Scholar
- Minker, J., and Perlis, D.  “On the Semantics of Circumscription”. Technical Report, Univ. of Marylsad, 1984.Google Scholar
- Reiter, R.  “On Closed World Databases”. In: Logic sad Data Bases, (Gailaire, H. and Minker, J., eds.) Plenum, 1978, 55–76.Google Scholar
- Reiter, R.  “Circumscription Implies Predicate Completion (Sometimes)”. Proceedings of AAAI-82, 418–420.Google Scholar