A dynamic metalogic argumentation framework implementation

Authors:
Jenny S. Z. Eriksson Lundström;Giacomo Aceto;Andreas Hamfelt
Affiliations:
Dept of Informatics and Media, Uppsala University, Sweden;Faculty of Engineering, University of Bologna, Italy;Dept of Informatics and Media, Uppsala University, Sweden
Venue:
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Year:
2011

Citing 16
Cited 0

Analysis of meta-programs

Meta-programming in logic programming
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Prolog programming in depth

Prolog programming in depth
Artificial intelligence: a new synthesis

Artificial intelligence: a new synthesis
Logical models of argument

ACM Computing Surveys (CSUR)
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
A metalogic formalization of legal argumentation as game trees with defeasible reasoning

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
Formalising arguments about the burden of persuasion

Proceedings of the 11th international conference on Artificial intelligence and law
Using Temporal Consistency to Improve Robot Localisation

RoboCup 2006: Robot Soccer World Cup X
Presumptions and Burdens of Proof

Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
A Common Framework for Board Games and Argumentation Games

Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Ambiguity propagating defeasible logic and the well-founded semantics

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The proof algorithms of plausible logic form a hierarchy

AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the main challenges that faces the AI-community is to express close approximations of human reasoning as computational formalizations of argument. In this paper we present a full implementation and accompanying software for defeasible adversarial argumentation. The work is based on the metalogic framework of defeasible adversarial argumentation games of [9]. The software we developed consists of: a meta-interpreter, a declarative implementation of the argumentation game model and a graphical interface developed in Java that shows the results of the game execution and the construction of the argumentation derivation tree.