The
Automation of Reasoning with Incomplete Information
From Semantic Foundations to Efficient Computation
Schaub, Torsten.
creator
author.
SpringerLink (Online service)
text
gw
1997
monographic
eng
access
XIV, 166 p. online resource.
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.
The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives.
by Torsten Schaub.
Computer science
Mathematical logic
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Q334-342
TJ210.2-211.495
006.3
Springer eBooks
Lecture Notes in Computer Science, 1409
9783540697930
http://dx.doi.org/10.1007/BFb0054963
http://dx.doi.org/10.1007/BFb0054963
121227
20170515111449.0
978-3-540-69793-0