A dynamic metalogic argumentation framework implementation
JSZ Eriksson Lundström, G Aceto, A Hamfelt - Rule-Based Reasoning …, 2011 - Springer
JSZ Eriksson Lundström, G Aceto, A Hamfelt
Rule-Based Reasoning, Programming, and Applications: 5th International …, 2011•SpringerOne 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 …
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 …
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.
Springer
Showing the best result for this search. See all results