Skip to main content
SpringerLink
Log in

An Introduction to Default Logic

  • Book
  • © 1989

Overview

Authors:
  1. Philippe Besnard

    1. Campus de Beaulieu, IRISA, Rennes Cedex, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Symbolic Computation (SYMBOLIC)

Part of the book sub series: Artificial Intelligence (1064)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages I-XI
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

  • Campus de Beaulieu, IRISA, Rennes Cedex, France

    Philippe Besnard

Bibliographic Information

  • Book Title: An Introduction to Default Logic

  • Authors: Philippe Besnard

  • Series Title: Symbolic Computation

  • DOI: https://doi.org/10.1007/978-3-662-05689-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1989

  • Hardcover ISBN: 978-3-540-51566-1Published: 29 September 1989

  • Softcover ISBN: 978-3-642-08078-4Published: 07 December 2010

  • eBook ISBN: 978-3-662-05689-9Published: 17 April 2013

  • Edition Number: 1

  • Number of Pages: XII, 210

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation