A tutorial on default logics
Open Access
- 1 December 1999
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 31 (4) , 337-359
Abstract
Default logic 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 and legal reasoning. Several variants have been developed over the past year, either to overcome some perceived deficiencies of the original presentation, or to realize somewhat different intuitions. This paper provides a tutorial-style introduction to some important approaches of Default Logic. The presentation is based on operational models for these approaches, thus making them easily accessible to a broader audience, and more easily usable in practical applications.Keywords
This publication has 15 references indexed in Scilit:
- An abstract, argumentation-theoretic approach to default reasoningArtificial Intelligence, 1997
- Alternative approaches to default logicArtificial Intelligence, 1994
- Operational concepts of nonmonotonic logics part 1: Default logicArtificial Intelligence Review, 1994
- Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation, 1992
- Cumulative default logic: In defense of nonmonotonic inference rulesArtificial Intelligence, 1991
- Considerations on default logic: an alternative approach1Computational Intelligence, 1988
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980