© 1989

An Introduction to Default Logic


Part of the Symbolic Computation book series (SYMBOLIC)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Philippe Besnard
    Pages 1-4
  3. Philippe Besnard
    Pages 13-26
  4. Philippe Besnard
    Pages 27-30
  5. Philippe Besnard
    Pages 31-36
  6. Philippe Besnard
    Pages 37-52
  7. Philippe Besnard
    Pages 53-74
  8. Philippe Besnard
    Pages 75-88
  9. Philippe Besnard
    Pages 89-100
  10. Philippe Besnard
    Pages 101-110
  11. Philippe Besnard
    Pages 111-130
  12. Philippe Besnard
    Pages 131-162
  13. Back Matter
    Pages 193-210

About this book


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

Authors and affiliations

  1. 1.Campus de BeaulieuIRISARennes CedexFrance

Bibliographic information

  • Book Title An Introduction to Default Logic
  • Authors Philippe Besnard
  • Series Title Symbolic Computation
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-3-540-51566-1
  • Softcover ISBN 978-3-642-08078-4
  • eBook ISBN 978-3-662-05689-9
  • Edition Number 1
  • Number of Pages XII, 210
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences