Arg2P Home

Warning: For security reasons, the document is displayed in restricted mode as it is not the current version. There may be differences and errors due to this.

Arg2P (short for Arg–tuProlog) is a logic-based agreement framework enabling defeasible reasoning in intelligent systems

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.

Arg2P enables defeasible reasoning and argumentation, and deals with priorities over rules. It includes a formal method for dealing with burden of proof (burden of persuasion).

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

Environment

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:Arg2p.Environment]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

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