Changes for page Arg2P
From version 24.1
edited by Andrea Omicini
on 12/03/2021 22:13
on 12/03/2021 22:13
Change comment:
There is no comment for this version
To version 27.1
edited by Roberta Calegari
on 13/03/2021 07:39
on 13/03/2021 07:39
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. AndreaOmicini1 +XWiki.RobertaCalegari - Content
-
... ... @@ -1,13 +1,13 @@ 1 1 {{include document="MacroSheet"/}} 2 2 3 -{{summary}}{{arg2p/}} is a nargumentationenginebuilt onthetop of{{tuprolog/}}({{2p/}})engine.{{arg2p/}} is alightweightimplementation ofthe ASPIC+-likesystemforstructuredargumentation.{{/summary}}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 4 5 5 == {{arg2p/}} in a nutshell == 6 6 7 - In{{arg2p/}} argumentsare produced from a setfdefeasiblerules,and attack relationshipsbetweenargumentsarecapturedbyargumentationgraphs.Theargumentsofsuchgraphsarelabelled by followinga labellingsemantics.This simpleframeworkwill sufficetoillustrate ourupcoming investigation into persuasive burdenswithinan argumentationsetting.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. 8 8 9 -In a ddition,we use defeasible rulechematatoaccountfordeontic reasoning,towardsdoctrine reification,aspresented inRiveretetal.,2019.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. 10 10 11 - Moreover, the model has been extended following the burden of proof model presented in [[Calegari and Sartor, 2020>>Publications/BurdenofproofIclp2020]].11 +The model has been extended following the burden of proof model and semantics presented in [[Calegari and Sartor, 2020>>Publications.BurdenofproofIclp2020]]. 12 12 13 13 More information about the format of the knowledge base and rules can be found on the basic syntax.
