The Automation of Reasoning with Incomplete Information

Torsten Schaub

ISBN 10: 3540645152 / ISBN 13: 9783540645153

Published by Springer Berlin Heidelberg Apr 1998, 1998

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Seller Inventory # 9783540645153

Bibliographic Details

• Title: The Automation of Reasoning with Incomplete Information
• Publisher: Springer Berlin Heidelberg Apr 1998
• Publication Date: 1998
• Language: English
• ISBN 10: 3540645152
• ISBN 13: 9783540645153
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 11D millimeters 235 millimeters width by 155 millimeters height by 11 millimeters depth
• Weight: 283 grams

About this title

Synopsis

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.