Work

Arg-tuProlog: A tuProlog-based argumentation framework

Year: 2020

Type: conference-paper

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 and compliant to the requirements for micro-intelligence, Arg-tuProlog is perfectly suited for injecting argumentation into distributed pervasive systems.

Source: Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna)

Authors: Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

Institution: University of Bologna

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Commission, Horizon 2020 Framework Programme

Awards: G3726402898, A European AI On Demand Platform and Ecosystem, G4937468798, G5163439141

OpenAlex ID: W3095625280