Changes for page Arg2P
From version 61.1
edited by Andrea Omicini
on 12/11/2021 23:01
on 12/11/2021 23:01
Change comment:
There is no comment for this version
To version 35.1
edited by Andrea Omicini
on 08/08/2021 01:34
on 08/08/2021 01:34
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,0 +1,1 @@ 1 +Arg2P Home - Content
-
... ... @@ -1,14 +1,15 @@ 1 - ={{stringIta}}Home{{/stringIta}}{{arg2p/}}{{stringEng}}Home{{/stringEng}}=1 +>{{arg2p/}} is logic-based agreement framework enabling defeasible reasoning and agents’ conversation in AI applications so particularly suitable for reaching agents’ explainable intelligent behaviours 2 2 3 -{{in cludereference="Headline"/}}3 +== {{arg2p/}} in a nutshell == 4 4 5 - >{{arg2p/}} inanutshell5 +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 - The{{arg2p/}} argumentationengineis builtonthetopof[[{{tuprolog/}}>>Tuprolog.WebHome||target=_blank]] ({{2p/}})engine.{{arg2p/}} is alightweightimplementation oftheASPIC+-likesystemforstructured argumentation.7 +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 - {{arg2p/}}enablesdefeasiblereasoningandargumentation,anddealswithprioritiesover rules.Itincludesaformalmethod fordealing with burden(//burden ofpersuasion//).9 +The model has been extended following the burden of proof model and semantics presented in [[Calegari and Sartor, 2020>>Publications.BurdenofproofIclp2020]]. 10 10 11 -More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]]. 12 -{{include reference="Environment"/}} 11 +More informations on the project are available on the official {{arg2p/}} [[wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]]. 13 13 13 +{{include reference="Arg2p.MacroSheet"/}} 14 14 15 +
