Willkommen, schön sind Sie da!
Logo Ex Libris

The Automation of Reasoning with Incomplete Information

  • Kartonierter Einband
  • 180 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems no... Weiterlesen
CHF 100.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Includes supplementary material: sn.pub/extras



Inhalt
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.

Produktinformationen

Titel: The Automation of Reasoning with Incomplete Information
Untertitel: From Semantic Foundations to Efficient Computation
Autor:
EAN: 9783540645153
ISBN: 3540645152
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 180
Gewicht: 283g
Größe: H235mm x B155mm x T9mm
Jahr: 1998
Untertitel: Englisch
Auflage: 1997

Weitere Produkte aus der Reihe "Lecture Notes in Artificial Intelligence"