https://github.com/tuprolog/arg2p

https://github.com/tuprolog/arg2p

Last synced: 12 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/tuprolog/arg2p
• Owner: tuProlog
• Created: 2020-06-19T06:20:57.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2023-12-15T17:48:21.000Z (over 2 years ago)
• Last Synced: 2025-06-12T22:06:19.218Z (about 1 year ago)
• Language: Java
• Size: 1.73 MB
• Stars: 3
• Watchers: 0
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md

Awesome Lists containing this project

README

          
# Arg2P



    
Attention! This page is now discontinued. The project has been moved to a new location.



Quick links:

- [GitLab Repository](https://gitlab.com/pika-lab/argumentation/arg2p-kt) (the one used by developers)

- [GitHub Repository](https://github.com/tuProlog/arg2p)

Arg2Prolog is an argumentation framework built on the top of [tuProlog (2P) engine](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/). 

Arg2P is a lightweight implementation of the ASPIC+-like system for structured  argumentation. 

In a nutshell, arguments are produced from a set of defeasible rules, and attack relationships between arguments are captured by argumentation graphs. The arguments of such graphs are labelled by following a labelling semantics. This simple framework will suffice to illustrate our upcoming investigation into persuasive burdens within an argumentation setting. 

In addition, we use defeasible rule schemata to account for deontic reasoning, towards doctrine reification, as presented in _Riveret et al., 2019_.

The model has also been extended following the burden of proof model presented in _Calegari and Sartor, 2020_.

More information about the project can be found on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p/).

The executables for all the main operating systems (windows, linux, macOs) are available in the [release page](https://gitlab.com/pika-lab/argumentation/arg2p/-/releases).