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.