A comparative survey of default logic variants
This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning.
Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.
KeywordsNonmonotonic practical reasoning mechanisms default logic
Unable to display preview. Download preview PDF.
- 2.G. Antoniou. An operational interpretation of justified default logic. In Proc. 8th Australian Joint Conference on Artificial Intelligence, World Scientific 1995.Google Scholar
- 3.G. Antoniou and M.A. Williams. Reasoning with Incomplete and Changing Information: The CIN Project. In Proc. 2nd Joint Conference on Information Sciences, 1995.Google Scholar
- 4.G. Antoniou. Operational characterization of extensions in some logics for default reasoning. Information Sciences (forthcoming).Google Scholar
- 5.G. Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge University Press 1991.Google Scholar
- 6.G. Brewka. Adding priorities and specificity to default logic. Technical Report, GMD 1993.Google Scholar
- 7.G. Brewka. Reasoning About Priorities in Default Logic. In Proc. 12th National Conference on Artificial Intelligence (AAAI-94), MIT Press 1994.Google Scholar
- 10.W. Lukaszewicz. Considerations on default logic: an alternative approach. Computational Intelligence 4, 1(1988): 1–16.Google Scholar
- 11.D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994.Google Scholar
- 12.A. Mikitiuk and M. Truszczynski. Constrained and rational default logics. In Proceedings International Joint Conference on Artificial Intelligence 1995.Google Scholar
- 13.A.D. Preece and R. Shinghal. Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems 9(1994): 683–701.Google Scholar