Abstract

We explore systematic connections between weighted (semi-abstract) argumentation frames and t-norm-based fuzzy logics. To this aim we introduce the concept of argumentative immunity, as well as corresponding notions of argumentative soundness and completeness with respect to given sets of logical attack principles. For Gödel logic, a detailed proof of argumentative soundness and completeness with respect to appropriate principles is presented. For Łukasiewicz and product logic this is indicated more briefly, but with some hints on corresponding interpretations of the attack relation between (claims of) arguments. Moreover, the central axiom of prelinearity is analyzed from our argumentation-based perspective.

Highlights

  • In a seminal paper Dung (1995) demonstrated that various concepts of non-monotonic reasoning, logic programming, and game theory can be modeled via so-called abstract argumentation frameworks

  • The idea to connect the semantics of fuzzy logics to weighted attacks seems to be novel

  • We introduced the notion of argumentative immunity with respect to given collections of attack principles

Read more

Summary

Introduction

In a seminal paper Dung (1995) demonstrated that various concepts of non-monotonic reasoning, logic programming, and game theory can be modeled via so-called abstract argumentation frameworks The latter are directed graphs, where the vertices are identified with arguments and the edges represent attacks between arguments. Our aim is to provide a detailed picture regarding the respective necessity and sufficiency of a fairly large set of different principles for characterizing various tnorm-based fuzzy logics Another possible misunderstanding that we want to address right away concerns the very nature of argumentation-based reasoning: shouldn’t any ‘logic of argumentation’ be non-monotonic? 2 we quickly review some basic concepts from Corsi and Fermüller (2017) regarding classical attack principles These notions and some of the principles are generalized to weighted (semi-abstract) argumentation frames in Sect. In the conclusion (Sect. 10) we briefly look back at what we have achieved and suggest several directions for further research

Attack principles for unweighted argumentation frames
Attack principles for weighted attacks
Argumentative immunity
Characterizing Gödel logic
Characterizing Łukasiewicz and product logic
Justifying attack principles for Ł and P
An analysis of prelinearity
Remarks on related Literature
10 Conclusion
Compliance with ethical standards
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call