An Introduction to Default Logic

1. Default Reasoning.- 2. Formal Logic as a Knowledge Representation Scheme.- 3. First Order Logic.- 4. Nonmonotonic Extensions for First Order Logic.- 5. Presentation of Default Logic.- 6. Formal Development of Default Logic.- 7. Normal Defaults.- 8. Further Topics in Default Logic.- 9. Fragments of Default Logic.- 10. Problems with Default Logic.- 11. Default Logic Revisited.- 12. Circumscription.- 13. Other Logic Formalizations of Nonmonotonic Reasoning.- Appendix: Origin of the Theorems.- References.- Table of Symbols.

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

[2]  Karl Schlechta,et al.  Remarks on Consistency and Completeness of Circumscription , 1988, GWAI.

[3]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[4]  Kurt Konolige.  Belief and incompleteness , 1984 .

[5]  Drew McDermott,et al.  Tarskian Semantics, or No Notation Without Denotation! , 1986, Cogn. Sci..

[6]  Robert E. Mercer,et al.  On the adequacy of predicate circumscription for closed‐world reasoning , 1985, Comput. Intell..

[7]  William H. Joyner.  Automatic Theorem-Proving and the Decision Problem , 1973, SWAT.

[8]  Michael Reinfrank,et al.  Non-Monotonic Reasoning , 1989, Lecture Notes in Computer Science.

[9]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[10]  James H. Fetzer.  Artificial Intelligence: Its Scope and Limits , 1990 .

[11]  Helder Coelho,et al.  Prolog by Example: How to Learn, Teach and Use It , 1988, Symbolic computation : Artificial intelligence.

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

[13]  Witold Lukaszewicz.  Considerations on Default Logic , 1984, NMR.

[14]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[15]  Roland Hausser,et al.  Computation of language - an essay on syntax, semantics and pragmatics in natural man-machine communication , 1989, Symbolic computation.

[16]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[17]  Dov M. Gabbay,et al.  Intuitonistic Basis for Non-Monotonic Logic , 1982, CADE.

[18]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[19]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[20]  Vladimir Lifschitz,et al.  On the Satisfiability of Circumscription , 1986, Artif. Intell..

[21]  Elaine Rich,et al.  Default Reasoning as Likelihood Reasoning , 1983, AAAI.

[22]  Henry E. Kyburg,et al.  Knowledge Representation and Defeasible Reasoning , 1990 .

[23]  Pierre Siegel,et al.  Saturation, Nonmonotonic Reasoning and the Closed-World Assumption , 1985, Artif. Intell..

[24]  Fangzhen Lin.  Circumscription in a Modal Logic , 1988, TARK.

[25]  Dov M. Gabbay.  Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories , 1991, SCAI.

[26]  Morgan Kaufmann,et al.  Varieties of self-reference in Theoretical aspects of reasoning about knowledge , .

[27]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

[28]  Ivan Kramosil,et al.  A Note on Deduction Rules with Negative Premises , 1975, IJCAI.

[29]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[30]  David W. Etherington.  Formalizing Non-Monotonic Reasoning Systems , 1983 .

[31]  Jane Terry Nutter,et al.  Knowledge representation issues in default reasoning , 1990, J. Exp. Theor. Artif. Intell..

[32]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

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

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

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

[36]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[37]  Ronald P. Loui,et al.  Edited Transcription of the Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance , 1990 .

[38]  C. Raymond Perrault.  An application of default logic to speech act theory , 1987 .

[39]  Allen L. Brown.  Logics of Justified Belief , 1988, ECAI.

[40]  Erik Sandewall,et al.  A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.

[41]  Patrick Saint-Dizier.  Deafault logic, natural language and generalized quantifiers , 1988, COLING.

[42]  Kurt Konolige,et al.  Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning , 1988, AAAI.

[43]  Christian Blume,et al.  Programming languages for industrial robots , 1986, Symbolic computation.

[44]  Gerhard Jäger,et al.  Some Contributions to the Logical Analysis of Circumscrition , 1986, CADE.

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

[46]  Barbara Dunin-Keplicz.  Default Reasoning in Anaphora Resolution , 1984, ECAI.

[47]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[48]  Philippe Besnard,et al.  Supposition-Based Logic for Automated Nonmontonic Reasoning , 1988, CADE.

[49]  James F. Allen,et al.  Knowledge Retrieval as Limited Inference , 1982, CADE.

[50]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[51]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[52]  Brian C. Williams.  Circumscribing Circumscription. A Guide to Relevance and Incompleteness , 1985 .

[53]  Li-Yan Yuan,et al.  On Reducing Parallel Circumscription , 1988, AAAI.

[54]  Robert E. Mercer,et al.  The Importance of Open and Recursive Circumscription , 1989, Artif. Intell..

[55]  Yoav Shoham,et al.  Nonmonotonic Logics: Meaning and Utility , 1987, IJCAI.

[56]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[57]  Witold Lukaszewicz.  Nonmonotonic Logic for Default Theories , 1984, ECAI.

[58]  Piotr Rychlik,et al.  The Use of Modal Default Reasoning in Information Systems , 1985, Int. J. Man Mach. Stud..