Arg2P

Arg2P

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.

Logo

Riferimenti

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

Download

GitHub  |  Maven Central  |  NPM

Documentazione

GitLab

Strumenti online

Playground

Sorgenti

GitHub