000 03654nam a22004815i 4500
001 978-3-319-00792-2
003 DE-He213
005 20140220082507.0
007 cr nn 008mamaa
008 131128s2014 gw | s |||| 0|eng d
020 _a9783319007922
_9978-3-319-00792-2
024 7 _a10.1007/978-3-319-00792-2
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
082 0 4 _a160
_223
100 1 _aStraßer, Christian.
_eauthor.
245 1 0 _aAdaptive Logics for Defeasible Reasoning
_h[electronic resource] :
_bApplications in Argumentation, Normative Reasoning and Default Reasoning /
_cby Christian Straßer.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXVIII, 438 p. 34 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTrends in Logic, Studia Logica Library,
_x1572-6126 ;
_v38
505 0 _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.
520 _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.
650 0 _aPhilosophy (General).
650 0 _aLogic.
650 0 _aScience
_xPhilosophy.
650 0 _aArtificial intelligence.
650 1 4 _aPhilosophy.
650 2 4 _aLogic.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aPhilosophy of Science.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319007915
830 0 _aTrends in Logic, Studia Logica Library,
_x1572-6126 ;
_v38
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-00792-2
912 _aZDB-2-SMA
999 _c92531
_d92531