Nonmonotonic Reasoning

Front Cover
MIT Press, 1997 - Computers - 285 pages

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
3
Predicate Logic
11
DEFAULT LOGIC
19
Operational Semantics of Default Logic
31
Normal Default Theories
49
Seminormal Default Theories
59
Alternative Approaches
71
Priorities Among Defaults
91
References for Part III
161
ABSTRACT AND DYNAMIC APPROACHES
163
Belief Revision
183
Implementing Belief Revision
197
Interconnections
213
NONMONOTONIC REASONING AND LOGIC
227
Stable Model Semantics of Logic Programs
243
WellFounded Semantics
255

CLASSICAL APPROACHES TO NONMONOTONIC
107
Computing Expansions of AETheories
121
Embedding Default Logic into AELogic
131
Circumscription
143
Future Directions of Nonmonotonic Reasoning
271
Index
283
Copyright

Common terms and phrases

About the author (1997)

Grigoris Antoniou is Professor at the Institute for Computer Science, FORTH (Foundation for Research and Technology-Hellas), Heraklion, Greece.

Bibliographic information