| Description |
1 online resource |
| Series |
Trends in logic ; volume 38 |
|
Trends in logic ; v. 38.
|
| Contents |
The Standard Format of Adaptive Logics -- Sequential Combinations of ALs -- On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit -- Generalizing the Standard Format -- Adaptively Applying Modus Ponens in Conditional Logics of Normality -- An Adaptive Logic for Rational Closure -- Towards the Proof-Theoretic Unification of Dungs Argumentation Framework: An Adaptive Logic Approach -- Allowing for Joint Attacks -- Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance -- An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas -- A Deontic Logic Framework Allowing for Factual Detachment |
| Summary |
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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Defeasible reasoning.
|
|
Logic.
|
|
Logic
|
|
logic.
|
|
PHILOSOPHY -- Logic.
|
|
Defeasible reasoning
|
|
Logic
|
| Form |
Electronic book
|
| ISBN |
9783319007922 |
|
3319007920 |
|
