Modifiche per il documento Arg2P

Dalla versione 54.1
modificato da Andrea Omicini
il 03/11/2021 17:34
Cambia il commento: Nessun commento per questa versione
Alla versione 59.1
modificato da Andrea Omicini
il 12/11/2021 22:50
Cambia il commento: Nessun commento per questa versione

Summary

Details

Page properties
Titolo
... ... @@ -1,1 +1,0 @@
1 -#if($xcontext.language=="it")Arg2P – Home#{else}Arg2P Home#end
Content
... ... @@ -1,9 +1,13 @@
1 += {{stringIta}}Home {{/stringIta}}{{arg2p/}}{{stringEng}} Home{{/stringEng}} =
1 1  {{velocity}}(((
2 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 3  ))){{/velocity}}
4 4  >{{arg2p/}} in a nutshell
6 +
5 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.
8 +
6 6  {{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//).
10 +
7 7  More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
8 8  {{include reference="Environment"/}}
9 9  

Riferimenti

Roberta Calegari email  |  Giovanni Ciatto email  |  Andrea Omicini email  |  Giuseppe Pisano email  |  Giovanni Sartor email

Download

GitHub  |  Maven Central  |  NPM

Documentazione

GitLab

Strumenti online

Playground

Sorgenti

GitHub