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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Schaub, Torsten (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:1st ed. 1997.
Σειρά:Lecture Notes in Artificial Intelligence ; 1409
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.