An Introduction to Default Logic (Symbolic Computation) - Hardcover

Besnard, Philippe

 
9783540515661: An Introduction to Default Logic (Symbolic Computation)
Hardcover
ISBN 10: 3540515666 ISBN 13: 9783540515661
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

"About this title" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1989
Language
English
ISBN 10 
3540515666
ISBN 13 
9783540515661
Binding
Hardcover
Number of pages
222

Other Popular Editions of the Same Title

9783642080784: An Introduction to Default Logic (Symbolic Computation)

Featured Edition

ISBN 10:  3642080782 ISBN 13:  9783642080784
Publisher: Springer, 2010
Softcover