T. Schaub , University of Potsdam, Germany
The Automation of Reasoning with Incomplete Information
From Semantic Foundations to Efficient Computation
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.
Keywords: Automated Reasoning, Nonmonotonic Logic, Default Logic, Con- text-Based
Reasoning, Uncertainty
Fields: Artificial Intelligence; Formal Languages
Written for: Researchers and Professionals
Table of Contents
1998
. XI, 159 pp.
ISBN 3-540-64515-2
Softcover
DM 50,-
Available
Book category: Monograph
Publication language English
(Lecture Notes in Computer Science.
Eds.: G. Goos; J. Hartmanis; J.van Leeuwen.
Vol. 1409)
(Lecture Notes in Artificial Intelligence.
Eds.: J.G. Carbonell; J. Siekmann.
)
Last update: September 28, 1998
Your inquiries about Springer products are welcome at International Sales and Marketing
© Copyright Springer-Verlag Berlin/Heidelberg 1998
|
