Open Access
Arg-tuProlog : a tuProlog-based argumentation framework
Loading...
License
Attribution 4.0 International
Cadmus Permanent Link
Full-text via DOI
ISBN
ISSN
1613-0073
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Citation
CEUR workshop proceedings, 2020, Vol. 2710, pp. 51-66
Cite
PISANO, Giuseppe, CALEGARI, Roberta, OMICINI, Andrea, SARTOR, Giovanni, Arg-tuProlog : a tuProlog-based argumentation framework, CEUR workshop proceedings, 2020, Vol. 2710, pp. 51-66 - https://hdl.handle.net/1814/76632
Abstract
Over the last decades, argumentation has become increasingly central as a frontier research within artificial intelligence (AI), especially around the notions of interpretability and explainability, which are more and more required within AI applications. In this paper we present the first prototype of Arg-tuProlog, a logic-based argumentation tool built on top of the tuProlog system. In particular, Arg-tuProlog enables defeasible reasoning and argumentation, and deals with priorities over rules. It also includes a formal method for dealing with burden of proof (burden of persuasion). Being lightweight andcompliant to the requirements for micro-intelligence, Arg-tuProlog is perfectly suited for injecting argumentation into distributed pervasive systems.
Table of Contents
Additional Information
Published online: 24 October 2020
External Links
Version
Research Projects
European Commission, 833647
European Commission, 825619
Sponsorship and Funder Information
Giuseppe Pisano has been supported by the European Union’s Justice Project “InterLex: Advisory and Training System for Internet-related private International Law” (G.A.800839). Roberta Calegari and Giovanni Sartor have been supported by the H2020 ERC Project “CompuLaw” (G.A.833647). Andrea Omicini ha sbeen supported by the H2020 Project “AI4EU” (G.A.825619).