Nonmonotonic Reasoning

Nonmonotonic Reasoning
Author :
Publisher : MIT Press
Total Pages : 310
Release :
ISBN-10 : 0262011573
ISBN-13 : 9780262011570
Rating : 4/5 (570 Downloads)

Book Synopsis Nonmonotonic Reasoning by : Grigoris Antoniou

Download or read book Nonmonotonic Reasoning written by Grigoris Antoniou and published by MIT Press. This book was released on 1997 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Nonmonotonic reasoning methods provide rigor similar to that of classical reasoning; they form a base for validation and verification and therefore increase confidence in intelligent systems that work with incomplete and changing information. Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this book presents an in depth treatment of default logic. Other subjects covered include the major approaches of autoepistemic logic and circumscription, belief revision and its relationship to nonmonotonic inference, and briefly, the stable and well-founded semantics of logic programs.

Nonmonotonic Reasoning Related Books

Nonmonotonic Reasoning
Language: en
Pages: 310
Authors: Grigoris Antoniou
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: MIT Press

GET EBOOK

Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In part
Nonmonotonic Logic
Language: en
Pages: 425
Authors: V. Wiktor Marek
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 474
Authors: Jürgen Dix
Categories: Computers
Type: BOOK - Published: 1997-07-02 - Publisher: Springer Science & Business Media

GET EBOOK

Development and environment problems have reached such alarming proportions that the very survival of humanity is now subject to critical and unprecedented thre
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 401
Authors: Michael Gelfond
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso,
The Many Valued and Nonmonotonic Turn in Logic
Language: en
Pages: 691
Authors: Dov M. Gabbay
Categories: Mathematics
Type: BOOK - Published: 2007-08-13 - Publisher: Elsevier

GET EBOOK

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are