Arg2P Home

Arg2P is logic-based agreement framework enabling defeasible reasoning and agents’ conversation in AI applications so particularly suitable for reaching agents’ explainable intelligent behaviours

Arg2P in a nutshell

The Arg2P argumentation engine is built on the top of tuProlog (2P) engine.  Arg2P is a lightweight implementation of the ASPIC+-like system for structured argumentation.

In Arg2P arguments are produced from a set of defeasible rules possibly containing deontic statements, and attack relationships between arguments are captured by argumentation graphs. The arguments of such graphs are labelled by following standard Dung's labelling semantics.

The model has been extended following the burden of proof model and semantics presented in Calegari and Sartor, 2020.

More informations on the project are available on the official Arg2P wiki.

Contacts

Roberta Calegari email  |  Giovanni Ciatto email  |  Andrea Omicini email  |  Giuseppe Pisano email  |  Giovanni Sartor email

Downloads

GitHub  |  Maven Central  |  NPM

Documentation

GitLab

Online tools

Playground

Sources

GitHub