03131nam 22005415 450 991014347460332120200706171318.03-540-69793-410.1007/BFb0054963(CKB)1000000000211001(SSID)ssj0000321551(PQKBManifestationID)11246814(PQKBTitleCode)TC0000321551(PQKBWorkID)10263448(PQKB)11058388(DE-He213)978-3-540-69793-0(PPN)15523496X(EXLCZ)99100000000021100120121227d1997 u| 0engurnn|008mamaatxtccrThe Automation of Reasoning with Incomplete Information[electronic resource] From Semantic Foundations to Efficient Computation /by Torsten Schaub1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (XIV, 166 p.) Lecture Notes in Artificial Intelligence ;1409Bibliographic Level Mode of Issuance: Monograph3-540-64515-2 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.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.Lecture Notes in Artificial Intelligence ;1409Artificial intelligenceMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Mathematical logic.Artificial Intelligence.Mathematical Logic and Formal Languages.006.3/33Schaub Torstenauthttp://id.loc.gov/vocabulary/relators/aut747212BOOK9910143474603321The Automation of Reasoning with Incomplete Information1944995UNINA