• Aucun résultat trouvé

Logical Encoding of Argumentation Frameworks with Higher-order Attacks

N/A
N/A
Protected

Academic year: 2021

Partager "Logical Encoding of Argumentation Frameworks with Higher-order Attacks"

Copied!
9
0
0

Texte intégral

Loading

Références

Documents relatifs

The connection between abstract argumentation and logics goes back to the seminal work of Dung, where a translation from an AF to a logic program was given. This line of research

In Section 3 we consider logical properties among attack and defend statements, and in Section 4 we introduce a modal generalization of the logic to define variants and

Summarizing, this logic of meta-argumentation allows us to specify and verify complex requirements for extended frameworks, such as extended argumentation frameworks with higher

As stated in Section 3.1.2, there exists a one-to-one mapping between structures and extensions in RAF without recursive attacks for the complete, grounded, pre- ferred, eager

Proposition 9 The complexities of AFRA decision problems are at least as hard as AF ones, for the semantics complete, semi-stable, stable, preferred, grounded..

[2012] propose some rationality properties for characterizing aggregation of sets of argumentation frame- works, based on translations of properties coming from social choice theory

In this paper, we focus on logic based argumentation where abstract argumentation frameworks [Dung, 1995] are instantiated by constructing argu- ments and attacks from

According to the recommendations of RILEM TC 236-BBM [2], bulk density, particles size distribution and water absorption capacity were determined on hemp shives