Modifiche per il documento Arg2P

Summary

• Page properties (3 modified, 0 added, 0 removed)

Details

Page properties

Titolo

...	...	@@ -1,1 +1,1 @@
1		-#if($xcontext.language=="it")Arg2P – Home#{else}Arg2P Home#end
	1	+Arg2P

Autore del documento

...	...	@@ -1,1 +1,1 @@
1		-XWiki.AndreaOmicini
	1	+XWiki.GiuseppePisano3

Content

...	...	@@ -1,13 +1,18 @@
1		-{{velocity}}(((
2		-!!(% style="background-color:$theme.fieldGradientColor; border-style:hidden" %){{arg2p/}} (short for {{argtuprolog/}}) is a logic-based agreement framework enabling defeasible reasoning in intelligent systems
3		-))){{/velocity}}
4		->{{arg2p/}} in a nutshell
	1	+{{include document="MacroSheet"/}}
5	5
6		-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.
	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}}
7	7
8		-{{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//).
	5	+== {{arg2p/}} in a nutshell ==
9	9
10		-More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
11		-{{include reference="Environment"/}}
	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.
12	12
	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.
13	13
	11	+The model has been extended following the burden of proof model and semantics presented in [[Calegari and Sartor, 2020>>Publications.BurdenofproofIclp2020]].
	12	+
	13	+More informations on the project are available on the official {{arg2p/}} [[wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
	14	+
	15	+{{html}}
	16	+<div style="height:100%"></div>
	17	+{{/html}}
	18	+