On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later

Baroni, Pietro; Toni, Francesca; Verheij, Bart

doi:10.3233/aac-200901

Cited by 16 publications

(13 citation statements)

References 93 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a similar spirit, we can define domain-restricted versions of the logical quantifiers, as featured in free logics. 6 Thus, we define the restricted (or relativised) universal quantification predicate Π D as follows:…”

Section: Basic Notions For Sets and Orderingsmentioning

confidence: 99%

“…Since the original formulation of Dung in the 1990s, a lot of research has been conducted concerning algorithmic procedures, complexity aspects, as well as various extended and related formalisms, cf. [6] and references therein. In this paper, we propose to investigate argumentation frameworks from the perspective of extensional type theory (ExTT), also commonly simply referred to as higher-order logic [17].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Formalisation of Abstract Argumentation in Higher-Order Logic

Steen,

Fuenmayor

2021

Preprint

View full text Add to dashboard Cite

We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools. This enables the formal analysis and verification of meta-theoretical properties as well as the flexible generation of extensions and labellings with respect to well-known argumentation semantics.

show abstract

Section: Basic Notions For Sets and Orderingsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A Formalisation of Abstract Argumentation in Higher-Order Logic

Steen,

Fuenmayor

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…Such sets are called "extensions". After more than twenty years, Dung's AF theory has been applied in many fields, such as the law [2], decision making [3], nonmonotonic reasoning [4].…”

Section: Introductionmentioning

confidence: 99%

Comparative Semantics of Fuzzy Argumentation under the &#321;ukasiewicz t-Norm

Zhao¹

2022

ENG

View full text Add to dashboard Cite

Dung's theory of argumentation frameworks (AF) has been applied in many fields of artificial intelligence. The arguments and attack relation are generally partly believed due to the uncertainty in the process of mining them. Fuzzy AFs catch uncertainty in AFs by associating fuzzy degrees with the arguments or the attacks. Among the various semantics of fuzzy AFs, the comparative semantics develops and defines Dung's extensions in the form of fuzzy sets. However, the comparative semantic system only puts forward some basic concepts, and has not been deeply studied in terms of algorithms and properties. This paper studies the comparative semantics of fuzzy AFs based on the Łukasiewicz t-norm in a more in-depth and comprehensive manner. This work is not only a supplement and improvement to comparative semantic in theory, but also beneficial to the calculation and fast identification of its various extensions (based on the Łukasiewicz t-norm).

show abstract

“…Since the landmark paper by has been published in 1995, abstract argumentation frameworks (AFs for short) have gained more and more significance in the AI domain. AFs have become a base for formal and computational argumentation (Baroni et al, 2020).The reader may find the definition and examples of AFs in the background chapter in Section 2.3. Some reasons to show that AFs are significant frameworks of argumentation are as follows.…”

Section: Dung's Argumentation Frameworkmentioning

confidence: 99%

“…This framework allows to evaluate arguments based on their values and their relation with other arguments. See Baroni et al, 2020) for an overview of generalizations of AFs. In Section 1.2.3 we present an outline of an expressive logical generalization of AFs which is the basis of this PhD thesis.…”

Section: Dung's Argumentation Frameworkmentioning

confidence: 99%

Abstract Dialectical Frameworks

Zafarghandi¹

View full text Add to dashboard Cite

I would like to express my deepest gratitude to both my supervisors Bart Verheij and Rineke Verbrugge. Their knowledge and experience led to the significant improvement of my dissertation. They have always been motivating for pursuing my ideas and even when my drafts needed an enormous change, my supervisors had a positive point of view about my achievements. Further, I have always been appreciative for the freedom with which they guided me and for being open to all sorts of different approaches that did not always fit into our initial plans. I also want to thank them for their full support concerning my life over these years. Their kindness and advice helped me not to feel pressured or stressed during the project, especially in the tough times of the corona pandemic. I had the chance to freely share my feelings with them whenever I felt less motivated. In such conditions, by reminding of the priority of each person's life and health, they significantly helped me to go back to the main route of my work.I would like to extend my sincere thanks to professors Gerhard Brewka, Pietro Baroni, and Helle Hansen, who kindly accepted to participate in the reading committee of this thesis. Their valuable comments led to the better development of the results. I am especially grateful to Helle Hansen for all her attention to this dissertation. I believe that it is almost impossible that even a tiny mistake would go unnoticed under her radar. I also like to thank professor Stefan Woltran, my master's degree supervisor, who recommended me to apply for this PhD program. He never stops supporting me with his valuable advice.The financial support for this research was provided by the Center of Data Science & Systems Complexity (DSSC) Doctoral Programme, at the University of Groningen which provides an excellent opportunity in a very friendly research environment.I have to thank all my colleagues, who have supported me: Martin

show abstract

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later

Abstract: This article is published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License (CC BY-NC 4.0).

Cited by 16 publications

References 93 publications

A Formalisation of Abstract Argumentation in Higher-Order Logic

A Formalisation of Abstract Argumentation in Higher-Order Logic

Comparative Semantics of Fuzzy Argumentation under the &#321;ukasiewicz t-Norm

Abstract Dialectical Frameworks

Contact Info

Product

Resources

About

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later

Abstract: This article is published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License (CC BY-NC 4.0).

Cited by 16 publications

References 93 publications

A Formalisation of Abstract Argumentation in Higher-Order Logic

A Formalisation of Abstract Argumentation in Higher-Order Logic

Comparative Semantics of Fuzzy Argumentation under the &amp;#321;ukasiewicz t-Norm

Abstract Dialectical Frameworks

Contact Info

Product

Resources

About

Comparative Semantics of Fuzzy Argumentation under the Łukasiewicz t-Norm