Springer
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
Product Code:
9783540645153
ISBN13:
9783540645153
Condition:
New
$61.47
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
$61.47
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.
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: Torsten Schaub |
| Publisher: Springer |
| Publication Date: Apr 29, 1998 |
| Number of Pages: 166 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540645152 |
| ISBN-13: 9783540645153 |
Related Products
World Scientific Publishing Company
Information and Computation: Essays on Scientific and Philosophical Understanding of Foundations of Information and Computation
$201.14