Changes for page Arg2P

From version 37.1

edited by Andrea Omicini
on 08/08/2021 16:55

Change comment: There is no comment for this version

To version 38.1

edited by Andrea Omicini
on 08/08/2021 17:03

Change comment: There is no comment for this version

Summary

Page properties

Content

@@ -4,12 +4,10 @@
  The {{arg2p/}} argumentation engine is built on the top of [[{{tuprolog/}}>>Tuprolog.WebHome||target=_blank]] ({{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.
++{{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//).
--The model has been extended following the burden of proof model and semantics presented in [[Calegari and Sartor, 2020>>Publications.BurdenofproofIclp2020]].
++More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
--More informations on the project are available on the official {{arg2p/}} [[wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
--
  {{include reference="Arg2p.MacroSheet"/}}