×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

An Introduction to Default Logic / Edition 1
     

An Introduction to Default Logic / Edition 1

by Philippe Besnard
 

See All Formats & Editions

ISBN-10: 3642080782

ISBN-13: 9783642080784

Pub. Date: 12/07/2010

Publisher: Springer Berlin Heidelberg

The purpose of the book is to give a unified and comprehensive account of default logic, the most popular logic for those in the Artificial Intelligence (AI) community interested in the formalization of reasoning with incomplete information. The book is mainly concerned with a systematic presentation of the formal theory of default logic, even though the more

Overview

The purpose of the book is to give a unified and comprehensive account of default logic, the most popular logic for those in the Artificial Intelligence (AI) community interested in the formalization of reasoning with incomplete information. The book is mainly concerned with a systematic presentation of the formal theory of default logic, even though the more informal issue of applications of default logic to Artificial Intelligence in general and Knowledge Representation in particular is extensively dealt with, especially by means of many illustrative examples. The book also contains an overview of the other main logics for reasoning in the absence of complete information about the world. The book is intended to be self-contained, so that it is suitable for beginners. As a textbook it is mainly aimed at graduate students for a course on nonmonotonic reasoning. It is also meant to serve as a reference book for AI workers and for researchers in various fields, e.g. Artificial Intelligence, philosophy and cognitive psychology.

Product Details

ISBN-13:
9783642080784
Publisher:
Springer Berlin Heidelberg
Publication date:
12/07/2010
Series:
Symbolic Computation / Artificial Intelligence Series
Edition description:
Softcover reprint of hardcover 1st ed. 1989
Pages:
210
Product dimensions:
6.69(w) x 9.61(h) x 0.28(d)

Table of Contents

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.

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews