An Introduction to Default Logic

1. Front Matter

   Pages I-XI

   PDF

2. Default Reasoning

   • Philippe Besnard

   Pages 1-4

3. Formal Logic as a Knowledge Representation Scheme

   • Philippe Besnard

   Pages 5-12

4. First Order Logic

   • Philippe Besnard

   Pages 13-26

5. Nonmonotonic Extensions for First Order Logic

   • Philippe Besnard

   Pages 27-30

6. Presentation of Default Logic

   • Philippe Besnard

   Pages 31-36

7. Formal Development of Default Logic

   • Philippe Besnard

   Pages 37-52

8. Normal Defaults

   • Philippe Besnard

   Pages 53-74

9. Further Topics in Default Logic

   • Philippe Besnard

   Pages 75-88

10. Fragments of Default Logic

    • Philippe Besnard

    Pages 89-100

11. Problems with Default Logic

    • Philippe Besnard

    Pages 101-110

12. Default Logic Revisited

    • Philippe Besnard

    Pages 111-130

13. Circumscription

    • Philippe Besnard

    Pages 131-162

14. Other Logic Formalizations of Nonmonotonic Reasoning

    • Philippe Besnard

    Pages 163-192

15. Back Matter

    Pages 193-210

    PDF

This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people working in related fields like cognitive psychology. The major theme is not Artificial Intelligence applications, although these are discussed throughout in sketch fonn. Rather, the book places a heavy emphasis on the fonnal development of default logic, results and problems. Default logic provides a fonnalism for an important part of human reasoning. Default logic is specifically concerned with common sense reasoning, which has recently been recognized in the Artificial Intelligence literature to be of fundamental importance for knowledge representation. Previously, fonnalized reasoning systems failed in real world environments, though succeeding with an acceptable ratio in well-defined environments. This situation enabled empirical explorations and the design of systems without theoretical justification. In particular, they could not be compared since there was no basis to judge their respective merits. Default logic turned out to be very fruitful by proving the correctness of some of them. We hope that this book will initiate other successful developments in default logic.

• Default Logic
• Extension
• Künstliche Intelligenz
• Nichtmonotones Schließen
• Prädikatenlogik
• Wissenspräsentation
• artificial intelligence
• cognitive psychology
• formal logic
• intelligence
• knowledge
• knowledge representation
• logic
• nonmonotonic reasoning
• philosophy

• Campus de Beaulieu, IRISA, Rennes Cedex, France

  Philippe Besnard

Policies and ethics