Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
Clark, K. [1978] “Negation as Failure”, In: Logic and Databases, (Gallaire, H. and Minker, J., Eds.) Plenum Press, NY 1978, 293–322.
Davis, M. [1980] “The Mathematics of Non-Monotonic Reasoning”. Artificial Intelligence 13 (1980), 73–80.
McCarthy, J. [1980] “Circumscription—A Form of Non-Monotonic Reasoning”. Artificial Intelligence 13 (1980), 27–39.
McDermott, D., and Doyle, J. [1980] “Non-Monotonic Logic I” Artificial Intelligence 13 (1980), 41–72.
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.
Minker, J., and Perlis, D. [1984] “On the Semantics of Circumscription”. Technical Report, Univ. of Marylsad, 1984.
Reiter, R. [1980] “A Logic for Default Reasoning”. Artificial Intelligence 13 (1980), 81–132.
Reiter, R. [1978] “On Closed World Databases”. In: Logic sad Data Bases, (Gailaire, H. and Minker, J., eds.) Plenum, 1978, 55–76.
Reiter, R. [1982] “Circumscription Implies Predicate Completion (Sometimes)”. Proceedings of AAAI-82, 418–420.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Minker, J., Perlis, D. (1984). Applications of Protected Circumscription. In: Shostak, R.E. (eds) 7th International Conference on Automated Deduction. CADE 1984. Lecture Notes in Computer Science, vol 170. Springer, New York, NY. https://doi.org/10.1007/978-0-387-34768-4_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-34768-4_24
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-96022-7
Online ISBN: 978-0-387-34768-4
eBook Packages: Springer Book Archive