LEADER 02798nam  2200613Ia 450 
001 9910450429603321
005 20200520144314.0
010   $a1-281-37254-4
010   $a9786611372545
010   $a981-256-780-1
035   $a(CKB)1000000000247211
035   $a(EBL)244548
035   $a(OCoLC)475965534
035   $a(SSID)ssj0000152197
035   $a(PQKBManifestationID)11147135
035   $a(PQKBTitleCode)TC0000152197
035   $a(PQKBWorkID)10339912
035   $a(PQKB)10816995
035   $a(MiAaPQ)EBC244548
035   $a(WSP)00001672    
035   $a(Au-PeEL)EBL244548
035   $a(CaPaEBR)ebr10106580
035   $a(CaONFJC)MIL137254
035   $a(EXLCZ)991000000000247211
100   $a20050502d2005      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aExplanatory nonmonotonic reasoning$b[electronic resource] /$fAlexander Bochman
210   $aHackensack, NJ $cWorld Scientific$dc2005
215   $a1 online resource (424 p.)
225 1 $aAdvances in logic ;$vv. 4
300   $aDescription based upon print version of record.
311   $a981-256-101-3 
320   $aIncludes bibliographical references (p. 395-402) and index.
327   $aPreface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index
330   $aMany approaches in the field of nonmonotonic and ""commonsense"" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic program
410  0$aAdvances in logic ;$vv. 4.
606   $aNonmonotonic reasoning
606   $aArtificial intelligence
608   $aElectronic books.
615  0$aNonmonotonic reasoning.
615  0$aArtificial intelligence.
676   $a005.115
700   $aBochman$b Alexander$f1955-$0521861
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910450429603321
996   $aExplanatory nonmonotonic reasoning$9838096
997   $aUNINA