The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation / Edition 1

The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation / Edition 1

by Torsten Schaub
ISBN-10:
3540645152
ISBN-13:
9783540645153
Pub. Date:
06/19/1998
Publisher:
Springer Berlin Heidelberg

Paperback

Current price is , Original price is $99.0. You
Select a Purchase Option (1997)
  • purchase options
    $66.74 $99.00 Save 33% Current price is $66.74, Original price is $99. You Save 33%.
  • purchase options

Overview

The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation / Edition 1

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.

Product Details

ISBN-13: 9783540645153
Publisher: Springer Berlin Heidelberg
Publication date: 06/19/1998
Series: Lecture Notes in Computer Science , #1409
Edition description: 1997
Pages: 166
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews