Relating default logic and circumscription

Authors:
David W. Etherington
Affiliations:
Artificial Intelligence Principles Research Department, AT&T Bell Laboratories, Murray Hill, NJ
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 7
Cited 2

Semantical considerations on nonmonotonic logic

Artificial Intelligence
The SUPREM architecture: a new intelligent paradigm

Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
The extended closed world assumption and its relationship to parallel circumscription

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Reasoning with Incomplete Information

Reasoning with Incomplete Information
On Indefinite Databases and the Closed World Assumption

Proceedings of the 6th Conference on Automated Deduction

Classifying Semi-Normal Default Logic on the Basis of its Expressive Power

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonicity and the scope of reasoning: preliminary report

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Default logic and the various forms of circumscription were developed to deal with similar problems. In this paper, we consider what is known about the relationships between the two approaches and present several new results extending this knowledge. We show that there are interesting cases in which the two formalisms do not correspond, as well as cases where default logic subsumes circumscription. We also consider positive and negative results on translating between defaults and circumscription, and develop a context in which they can be evaluated.