Changes for page Arg2P
From version 46.1
edited by Andrea Omicini
on 03/11/2021 16:22
on 03/11/2021 16:22
Change comment:
There is no comment for this version
To version 31.1
edited by GiuseppePisano3
on 14/03/2021 21:56
on 14/03/2021 21:56
Change comment:
There is no comment for this version
Summary
-
Page properties (3 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,1 +1,1 @@ 1 -Arg2P Home1 +Arg2P - Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. AndreaOmicini1 +XWiki.GiuseppePisano3 - Content
-
... ... @@ -1,16 +1,13 @@ 1 -{{velocity}} 2 -(% style="background-color:$theme.fieldGradientColor" %)((( 3 -!!{{arg2p/}} (short for {{argtuprolog/}}) is a logic-based agreement framework enabling defeasible reasoning in intelligent systems 4 -))) 5 -{{/velocity}} 6 -== {{arg2p/}} in a nutshell == 1 +{{include document="MacroSheet"/}} 7 7 8 - The{{arg2p/}} argumentationengine isbuilt onthetop of[[{{tuprolog/}}>>Tuprolog.WebHome||target=_blank]] ({{2p/}}) engine.{{arg2p/}} is alightweightimplementation ofthe ASPIC+-likesystemforstructuredargumentation.3 +{{summary}}{{arg2p/}} is logic-based agreement framework enabling defeasible reasoning and agents’ conversation in AI applications so particularly suitable for reaching agents’ explainable intelligent behaviours.{{/summary}} 9 9 10 -{{arg2p/}} enables defeasible reasoningandargumentation, and dealswithpriorities over rules. It includesa formal method for dealing with burden of proof (//burden of persuasion//).5 +== {{arg2p/}} in a nutshell == 11 11 12 - Moreinformations on the projectare availableonthe {{arg2p/}}[[GitLabwiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].7 +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. 13 13 14 -{{ include reference="Environment"/}}9 +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. 15 15 11 +The model has been extended following the burden of proof model and semantics presented in [[Calegari and Sartor, 2020>>Publications.BurdenofproofIclp2020]]. 16 16 13 +More informations are available on the official {{arg2p/}} [[wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
