LEADER 03996nam  22006255  450 
001 9910300145803321
005 20230810183229.0
010   $a3-319-00792-0
024 7 $a10.1007/978-3-319-00792-2
035   $a(CKB)3710000000074895
035   $a(EBL)1592070
035   $a(SSID)ssj0001067119
035   $a(PQKBManifestationID)11601208
035   $a(PQKBTitleCode)TC0001067119
035   $a(PQKBWorkID)11073274
035   $a(PQKB)11770855
035   $a(MiAaPQ)EBC1592070
035   $a(DE-He213)978-3-319-00792-2
035   $a(PPN)17610335X
035   $a(EXLCZ)993710000000074895
100   $a20131128d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aAdaptive Logics for Defeasible Reasoning $eApplications in Argumentation, Normative Reasoning and Default Reasoning /$fby Christian Straßer
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (443 p.)
225 1 $aTrends in Logic, Studia Logica Library,$x2212-7313 ;$v38
300   $aDescription based upon print version of record.
311   $a3-319-00791-2 
320   $aIncludes bibliographical references and index.
327   $aChapter 1. Introduction -- Part I. Adaptive Logics as a Framework for Defeasible Logics -- Chapter 2 The Standard Format of Adaptive Logics -- Chapter 3. Sequential Combinations of ALs -- Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit -- Chapter 5. Generalizing the Standard Format -- Part II. Conditional Logics of Normality -- Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality -- Chapter 7. An Adaptive Logic for Rational Closure -- Part III. Argumentation Theory -- Chapter 8. Towards the Proof-Theoretic Unification of Dung?s Argumentation Framework: An Adaptive Logic Approach -- Chapter 9. Allowing for Joint Attacks -- Part IV. Deontic Logics -- Chapter 10. Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance -- Chapter 11. An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas -- Chapter 12. A Deontic Logic Framework Allowing for Factual Detachment -- Appendices.
330   $aThis book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics. The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptive logics based on various applications. The book presents formal models for defeasible reasoning stemming from different contexts, such as default reasoning, argumentation, and normative reasoning. It highlights various meta-theoretic advantages of adaptive logics over other logics or logical frameworks that model defeasible reasoning. In this way the book substantiates the status of adaptive logics as a generic formal framework for defeasible reasoning.
410  0$aTrends in Logic, Studia Logica Library,$x2212-7313 ;$v38
606   $aLogic
606   $aArtificial intelligence
606   $aScience$xPhilosophy
606   $aLogic
606   $aArtificial Intelligence
606   $aPhilosophy of Science
615  0$aLogic.
615  0$aArtificial intelligence.
615  0$aScience$xPhilosophy.
615 14$aLogic.
615 24$aArtificial Intelligence.
615 24$aPhilosophy of Science.
676   $a160
700   $aStraßer$b Christian$4aut$4http://id.loc.gov/vocabulary/relators/aut$0721667
906   $aBOOK
912   $a9910300145803321
996   $aAdaptive logics for defeasible reasoning$91410181
997   $aUNINA