Changes for page Arg2P
From version 38.1
edited by Andrea Omicini
on 08/08/2021 17:03
on 08/08/2021 17:03
Change comment:
There is no comment for this version
To version 33.1
edited by GiuseppePisano3
on 14/03/2021 22:10
on 14/03/2021 22:10
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,13 +1,18 @@ 1 - >{{arg2p/}}is logic-based agreement framework enablingdefeasiblereasoning andagents’ conversationin AI applications so particularly suitable for reaching agents’explainable intelligent behaviours1 +{{include document="MacroSheet"/}} 2 2 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}} 4 + 3 3 == {{arg2p/}} in a nutshell == 4 4 5 -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.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. 6 6 7 -{{arg2p/}} ena bles defeasible reasoningandargumentation, anddeals withprioritiesoverrules.Itincludesaformal method for dealingwithburden of proof(//burdenofpersuasion//).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. 8 8 9 - Moreinformationson the projectareavailableonhe{{arg2p/}}[[GitLabwiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].11 +The model has been extended following the burden of proof model and semantics presented in [[Calegari and Sartor, 2020>>Publications.BurdenofproofIclp2020]]. 10 10 11 - {{include reference="Arg2p.MacroSheet"/}}13 +More informations on the project are available on the official {{arg2p/}} [[wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]]. 12 12 15 +{{html}} 16 +<div style="height:100%"></div> 17 +{{/html}} 13 13
