Nonmonotonic Reasoning

In this talk I will give an overview of nonmonotonic reasoning as background, and then address the question of its relevance and importance for theoretical issues in reasoning about knowledge and belief. In the past few years the area of nonmonotonic reasoning has grown tremendously, as witnessed by the increase in submitted and accepted papers to conferences such as this one. It would be impossible to give detailed accounts of the major formalisms and their application domains, so instead I will present very short overviews of the basic ideas, and then recount the issues that are currently being addressed, and their relevance for future research, especially regarding knowledge and belief. This should give a framework for understanding the significance of the papers presented at this conference.

[1]  Ilkka Niemelä,et al.  Towards Automatic Autoepistemic Reasoning , 1991, JELIA.

[2]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[3]  Christine Froidevaux,et al.  Negation by Default and Unstratifiable Logic Programs , 1991, Theor. Comput. Sci..

[4]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[5]  Christine Froidevaux,et al.  Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming , 1987, LICS.

[6]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[7]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[8]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[9]  Witold Lukaszewicz.  Chronological Minimization of Abnormality: Simple Theories of Action , 1988, ECAI.

[10]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[11]  Vladimir Lifschitz,et al.  Pointwise Circumscription: Preliminary Report , 1986, AAAI.

[12]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

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

[14]  Witold Łukaszewicz.  Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

[15]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[16]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[17]  Ilkka Niemelä.  On the decidability and complexity of autoepistemic reasoning , 1992, Fundam. Informaticae.

[18]  Christine Froidevaux,et al.  General Logical Databases and Programs: Default Logic Semantics and Stratification , 1991, Inf. Comput..

[19]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[20]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[21]  Jürgen Dix.  Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic , 1992, ECAI.

[22]  Teodor C. Przymusinski.  An Algorithm to Compute Circumscription , 1989, Artif. Intell..

[23]  Dov M. Gabbay,et al.  Quantifier Elimination in Second-Order Predicate Logic , 1992, KR.

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

[25]  Torsten Schaub.  On Commitment and Cumulativity in Default Logics , 1991, ECSQARU.

[26]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[27]  Michael Gelfond,et al.  On Stratified Autoepistemic Theories , 1987, AAAI.

[28]  Fangzhen Lin,et al.  Argument Systems: A Uniform Basis for Nonmonotonic Reasoning , 1989, KR.

[29]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[30]  Jonathan Stillman,et al.  The Complexity of Propositional Default Logics , 1992, AAAI.

[31]  Miroslaw Truszczynski,et al.  Modal Interpretations of Default Logic , 1991, IJCAI.

[32]  Vladimir Lifschitz,et al.  Between Circumscription and Autoepistemic Logic , 1989, KR.

[33]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[34]  Victor W. Marek,et al.  Computing Intersection of Autoepistemic Expansions , 1991, LPNMR.

[35]  R. Reiter.  On Closed World Data Bases , 1987, Logic and Data Bases.

[36]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[37]  Victor W. Marek,et al.  Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.

[38]  Jonathan Stillman,et al.  It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics , 1990, AAAI.

[39]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[40]  Michael Gelfond,et al.  Compiling circumscriptive theories into logic programs: preliminary report , 1988, AAAI 1988.

[41]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[42]  Kurt Konolige,et al.  On the Relation Between Autoepistem ic Logic and Circumscription , 1989, IJCAI.

[43]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

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

[45]  Andrew B. Baker,et al.  A Theorem Prover for Prioritized Circumscription , 1989, IJCAI.

[46]  David W. Etherington.  Relating Default Logic and Circumscription , 1987, IJCAI.

[47]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[48]  Kurt Konolige,et al.  Quantification in autoepistemic logic , 1991, Fundam. Informaticae.

[49]  Vladimir Lifschitz,et al.  On Open Defaults , 1990 .

[50]  Victor W. Marek,et al.  Autoepistemic logic , 1991, JACM.

[51]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

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

[53]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[54]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[55]  Bart Selman,et al.  Hard Problems for Simple Default Logics , 1989, Artif. Intell..

[56]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[57]  Robert C. Moore.  Possible-World Semantics for Autoepistemic Logic , 1987, NMR.

[58]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[59]  Rina Dechter,et al.  Default Logic, Propositional Logic, and Constraints , 1991, AAAI.

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

[61]  Tomasz Imielinski,et al.  Results on Translating Defaults to Circumscription , 1985, IJCAI.

[62]  Victor W. Marek,et al.  Relating Autoepistemic and Default Logics , 1989, KR.

[63]  James P. Delgrande,et al.  Default Logic Revisited , 1991, KR.