Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available.
A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.
Author(s): Torsten Schaub (auth.)
Series: Lecture Notes in Computer Science 1409 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 166
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
Introduction....Pages 1-10
The original approach: Classical default logic....Pages 11-21
An alternative approach: Constrained default logic....Pages 23-32
Putting default logics into perspective....Pages 33-51
A context-based framework for default logics....Pages 53-62
Possible worlds semantics for default logics....Pages 63-74
Adding specificity to default logics....Pages 75-83
Adding lemma handling to default logics....Pages 85-91
Query-answering in default logics....Pages 93-134
A Prolog-technology compiler for query-answering....Pages 135-142
Conclusions and perspectives....Pages 143-145
