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

✍ Scribed by Christian Straßer

• Publisher: Springer
• Year: 2014
• Tongue: English
• Leaves: 443
• Series: Trends in Logic 38
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Introduction....Pages 3-10
The Standard Format for Adaptive Logics....Pages 11-58
Sequential Combinations of ALs....Pages 59-84
On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit....Pages 85-105
Generalizing the Standard Format....Pages 107-153
Front Matter....Pages 155-155
Adaptively Applying Modus Ponens in Conditional Logics of Normality....Pages 157-179
An Adaptive Logic for Rational Closure....Pages 181-206
Front Matter....Pages 207-207
Towards the Proof-Theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach....Pages 209-241
Allowing for Joint Attacks....Pages 243-253
Front Matter....Pages 255-255
Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance....Pages 257-280
An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas....Pages 281-296
A Deontic Logic Framework Allowing for Factual Detachment....Pages 297-333
Back Matter....Pages 335-438

✦ Subjects

Logic; Artificial Intelligence (incl. Robotics); Philosophy of Science