Operational concepts of nonmonotonic logics part 1: Default logic

We give an introduction to default logic, one of the most prominent nonmonotonic logics. Emphasis is given to providing an operational interpretation for the semantics of default logic that is usually defined by fixed-point concepts (extensions). We introduce a process model that allows to exactly calculate the extensions of a default theory in a quite easy way. We give a prototypical implementation of processes in Prolog able to handle the examples that can be found in literature. Finally, we develop some theoretical results about default logic and give new simple proofs using the process model as a theoretical tool.

[1]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[2]  Christine Froidevaux,et al.  A Framework for Default Logics , 1992, JELIA.

[3]  Kurt Konolige,et al.  Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System , 1990, AAAI.

[4]  Franz Baader,et al.  Computing Extensions of Terminological Default Theories , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[5]  Camilla Schwind,et al.  A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic , 1990, CADE.

[6]  Yannis Dimopoulos,et al.  A Graph-Theoretic Approach to Default Logic , 1994, Inf. Comput..

[7]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[8]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[9]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[10]  W. Bibel.  Knowledge Representation from a Deductive Point of View , 1983 .

[11]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[12]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[13]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[14]  J. A. Mercer,et al.  The role of logic , 2021, The Problem of Plurality of Logics.

[15]  Manfred Jaeger,et al.  A Logic for Default Reasoning About Probabilities , 1994, UAI.

[16]  Donald Perlis.  Logic and Artificial Intelligence: A New Synthesis? , 1993, Fundam. Informaticae.

[17]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[18]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[19]  Grigoris Antoniou,et al.  Logic - a foundation for computer science , 1991, International Computer Science Series.

[20]  Mike Hopkins.  Default Logic: Orderings and Extensions , 1993, ECSQARU.

[21]  Philippe Besnard,et al.  An Introduction to Default Logic , 1989, Symbolic Computation.