Adaptive Logics for Defeasible Reasoning

Applications in Argumentation, Normative Reasoning and Default Reasoning

Häftad, Engelska, 2016

AvChristian Straßer

1 379 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 379 kr

Skickas inom 10-15 vardagar

This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It highlights various meta-theoretic advantages of adaptive logics over other logics or logical frameworks that model defeasible reasoning.

Produktinformation

Utgivningsdatum2016-08-27
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieTrends in Logic
Antal sidor438
FörlagSpringer International Publishing AG
ISBN9783319343884

Tillhör följande kategorier

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.

"This is a book on the application of a class of logics, called adaptive logics, to a particular form of reasoning, in effect, of a defeasible kind. ... this book is clearly aimed at people interested in knowing the reaches of a formal logic formalism, from a philosophical viewpoint, without great concern for complexity and computational issues. And it may also serve a public with such computational concerns looking for an articulated starting point." (Marcelo Finger, Mathematical Reviews, April, 2016)