Open AccessBook Chapter10.1007/978-3-540-89982-2_67

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming

- 15 Dec 2008

- pp 734-738

108

TL;DR: The system ASPARTIX relies on a fixed disjunctive datalog program which takes an instance of an argumentation framework as input, and uses the answer-set solver DLV for computing the type of extension specified by the user.

Abstract: The system ASPARTIX is a tool for computing acceptable extensions for a broad range of formalizations of Dung's argumentation framework and generalizations thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance of an argumentation framework as input, and uses the answer-set solver DLV for computing the type of extension specified by the user.

AI Agents for this Paper

Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps

Most frequently asked questions

1. What are the contributions in "Aspartix: implementing argumentation frameworks using answer-set programming" ?

ASPARTIX this paper is a tool for computing acceptable extensions for a broad range of formalizations of Dung 's argumentation framework and generalizations thereof.

Fig. 1. Value-based Argument Graph for Popov v. Hayashi

Citations

•Journal Article•10.1016/J.IJAR.2012.08.003

A probabilistic approach to modelling uncertain logical arguments

Anthony Hunter

- 01 Jan 2013

- International Journal of Approximate Rea...

TL;DR: This paper considers logic-based argumentation with uncertain arguments by considering models of the language, which can be used to give a probability distribution over arguments that are constructed using classical logic, and shows how this formalization of uncertainty of logical arguments relates to uncertainty of abstract arguments.

...read moreread less

246

•Journal Article•10.1007/S10458-020-09478-3

Logic-based technologies for multi-agent systems: a systematic literature review

Roberta Calegari, +3 more

- 01 Apr 2021

- Autonomous Agents and Multi-Agent System...

TL;DR: A comprehensive view of logic-based technologies for agents and multi-agent systems is provided by making them the subject of a systematic literature review (SLR) and the resulting technologies are discussed and evaluated from two different perspectives.

...read moreread less

Journal Article•10.1016/J.ARTINT.2017.08.006

The first international competition on computational models of argumentation: Results and analysis☆

Matthias Thimm, +1 more

- 01 Nov 2017

- Artificial Intelligence

TL;DR: The technical setup of the ICCMA'15 took place in the first half of 2015 and focused on reasoning tasks in abstract argumentation frameworks, and an overview on the submitted solvers is given.

...read moreread less

•Proceedings Article•10.3233/978-1-61499-111-3-43

Semi-automated argumentative analysis of online product reviews

Adam Wyner, +3 more

- 01 Jan 2012

TL;DR: A rule-based tool for semi-automatic text analysis support that highlights potential argumentative sections of a text according to terms indicative of arguments and domain terminology so that the resulting argumentation framework can be passed to argument evaluation tools.

...read moreread less

•Book Chapter•10.1007/978-3-642-54373-9_12

Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach

Federico Cerutti, +3 more

- 03 Aug 2013

TL;DR: A novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances.

...read moreread less

...

Expand

References

•Journal Article•10.1016/0004-3702(94)00041-X

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

Phan Minh Dung

- 01 Sep 1995

- Artificial Intelligence

TL;DR: By showing that argumentation can be viewed as a special form of logic programming with negation as failure, this paper introduces a general logic-programming-based method for generating meta-interpreters for argumentation systems, a method very much similar to the compiler-compiler idea in conventional programming.

...read moreread less

4.8K

•Journal Article•10.1007/BF03037169

Classical negation in logic programs and disjunctive databases

Michael Gelfond, +1 more

- 01 Aug 1991

- New Generation Computing

TL;DR: It is shown that some facts of commonsense knowledge can be represented by logic programs and disjunctive databases more easily when classical negation is available.

...read moreread less

2.6K

•Journal Article•10.1016/J.ARTINT.2007.05.001

Argumentation in artificial intelligence

Trevor J. M. Bench-Capon, +1 more

- 01 Jul 2007

- Artificial Intelligence

TL;DR: A number of foundational contributions provided the basis for the formulation of argumentation models and their promotion in AI related settings and then a number of new themes that have emerged in recent years are considered, many of which provide the principal topics of the research presented in this volume.

...read moreread less

1.1K

•Journal Article•10.1093/LOGCOM/13.3.429

Persuasion in Practical Argument Using Value-based Argumentation Frameworks

Trevor J. M. Bench-Capon

- 01 Jun 2003

- Journal of Logic and Computation

TL;DR: It is shown that in a VAF certain arguments can be shown to be acceptable however the relative strengths of the values involved are assessed, which means that disputants can concur on the acceptance of arguments, even when they differ as to which values are more important, and hence that the possibility of persuasion should be possible.

...read moreread less

927

Journal Article•10.1023/A:1014490210693

A Reasoning Model Based on the Production of Acceptable Arguments

Leila Amgoud, +1 more

- 21 Mar 2002

- Annals of Mathematics and Artificial Int...

TL;DR: The argumentation framework proposed by Dung is refined by taking into account preference relations between arguments in order to integrate two complementary points of view on the concept of acceptability, which refines previous works by Prakken and Sartor.

...read moreread less

531

...

Expand

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming

Chat with Paper

AI Agents for this Paper

Most frequently asked questions

1. What are the contributions in "Aspartix: implementing argumentation frameworks using answer-set programming" ?

Figures

Citations

A probabilistic approach to modelling uncertain logical arguments

Logic-based technologies for multi-agent systems: a systematic literature review

The first international competition on computational models of argumentation: Results and analysis☆

Semi-automated argumentative analysis of online product reviews

Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach

References

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

Classical negation in logic programs and disjunctive databases

Argumentation in artificial intelligence

Persuasion in Practical Argument Using Value-based Argumentation Frameworks

A Reasoning Model Based on the Production of Acceptable Arguments

Related Papers (5)

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

Argumentation in artificial intelligence

Persuasion in Practical Argument Using Value-based Argumentation Frameworks

Elements of argumentation

Review: an introduction to argumentation semantics