The Automation of Reasoning with Incomplete Information
Produktnummer:
188c570d691bb14011b63d2928bac50753
Autor: | Schaub, Torsten |
---|---|
Themengebiete: | Automated Reasoning Context-Based Reasoning Default Logic Nonmonotonic Logic Uncertainty automation logic semantics |
Veröffentlichungsdatum: | 29.04.1998 |
EAN: | 9783540645153 |
Sprache: | Englisch |
Seitenzahl: | 166 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer Berlin |
Untertitel: | From Semantic Foundations to Efficient Computation |
Produktinformationen "The Automation of Reasoning with Incomplete Information"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen