Towards a framework for the implementation and verification of translations between argumentation models

Gijzel, Bas van; Nilsson, Henrik

doi:10.1145/2620678.2620688

Cited by 4 publications

(2 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is also recent work on translating different argumentation models. In [149] , a translation between Carneades and Dung AFs is studied and implemented in the functional programming language Haskell. The benefit of such systems is that one may re-use engines for AFs to compute results for Carneades and potentially other argumentation models.…”

Section: Discussionmentioning

confidence: 99%

Methods for solving reasoning problems in abstract argumentation – A survey

Charwat

Dvořák

Gaggl

et al. 2015

Artificial Intelligence

101

View full text Add to dashboard Cite

Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI related principles. Although the idea of abstract argumentation is appealingly simple, several reasoning problems in this formalism exhibit high computational complexity. This calls for advanced techniques when it comes to implementation issues, a challenge which has been recently faced from different angles. In this survey, we give an overview on different methods for solving reasoning problems in abstract argumentation and compare their particular features. Moreover, we highlight available state-of-the-art systems for abstract argumentation, which put these methods to practice.

show abstract

Section: Discussionmentioning

confidence: 99%

Methods for solving reasoning problems in abstract argumentation – A survey

Charwat

Dvořák

Gaggl

et al. 2015

Artificial Intelligence

101

View full text Add to dashboard Cite

show abstract

“…There are two main approaches: the structured approach and the abstract approach for argument implementation [6][7]. Jess is the kernel of expert system developed by Java.…”

Section: Prototype Design and Implementmentioning

confidence: 99%

Jess-Based Argumentative E-Commerce Negotiation System

Zhang

Guo

et al. 2014

AMR

View full text Add to dashboard Cite

show abstract

Some Artificial Intelligence Tools for Argument Evaluation: An Introduction

Walton

2015

Argumentation

View full text Add to dashboard Cite

Even though tools for identifying and analyzing arguments are now in wide use in the field of argumentation studies, so far there is a paucity of resources for evaluating real arguments, aside from using deductive logic or Bayesian rules that apply to inductive arguments. In this paper it is shown that recent developments in artificial intelligence in the area of computational systems for modeling defeasible argumentation reveal a different approach that is currently making interesting progress. It is shown how these systems provide the general outlines for a system of argument evaluation that can be applied to legal arguments as well as everyday conversational arguments to assist a user to evaluate an argument.

show abstract

Towards a framework for the implementation and verification of translations between argumentation models

Cited by 4 publications

References 25 publications

Methods for solving reasoning problems in abstract argumentation – A survey

Methods for solving reasoning problems in abstract argumentation – A survey

Jess-Based Argumentative E-Commerce Negotiation System

Some Artificial Intelligence Tools for Argument Evaluation: An Introduction

Contact Info

Product

Resources

About