Adaptive Logics for Defeasible Reasoning Applications in Argumentation, Normative Reasoning and Default Reasoning /

This 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, t...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Straßer, Christian (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
Σειρά:Trends in Logic, Studia Logica Library, 38
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03666nam a22004815i 4500
001 978-3-319-00792-2
003 DE-He213
005 20151103124509.0
007 cr nn 008mamaa
008 131128s2014 gw | s |||| 0|eng d
020 |a 9783319007922  |9 978-3-319-00792-2 
024 7 |a 10.1007/978-3-319-00792-2  |2 doi 
040 |d GrThAP 
050 4 |a BC1-199 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
082 0 4 |a 160  |2 23 
100 1 |a Straßer, Christian.  |e author. 
245 1 0 |a Adaptive Logics for Defeasible Reasoning  |h [electronic resource] :  |b Applications in Argumentation, Normative Reasoning and Default Reasoning /  |c by Christian Straßer. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2014. 
300 |a XVIII, 438 p. 34 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Trends in Logic, Studia Logica Library,  |x 1572-6126 ;  |v 38 
505 0 |a Chapter 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 |a This 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 |a Philosophy. 
650 0 |a Logic. 
650 0 |a Philosophy and science. 
650 0 |a Artificial intelligence. 
650 1 4 |a Philosophy. 
650 2 4 |a Logic. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Philosophy of Science. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319007915 
830 0 |a Trends in Logic, Studia Logica Library,  |x 1572-6126 ;  |v 38 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-00792-2  |z Full Text via HEAL-Link 
912 |a ZDB-2-SMA 
950 |a Mathematics and Statistics (Springer-11649)