A Dynamic Metalogic Argumentation Framework Implementation
2011 (English)In: Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / [ed] Nick Bassiliades, Guido Governatori, Adrian Paschke, Springer Berlin/Heidelberg, 2011, 83-98 p.Conference paper (Other academic)
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 . 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.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2011. 83-98 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 6826
Engineering and Technology
IdentifiersURN: urn:nbn:se:uu:diva-165037DOI: 10.1007/978-3-642-22546-8_8ISBN: 978-3-642-22545-1OAI: oai:DiVA.org:uu-165037DiVA: diva2:471443
5th International Symposium, RuleML 2011, Barcelona, Spain, July 19-21, 2011