Modifiche per il documento Arg2P

Dalla versione 48.1
modificato da Andrea Omicini
il 03/11/2021 16:23
Cambia il commento: Nessun commento per questa versione
Alla versione 62.1
modificato da Andrea Omicini
il 28/12/2021 21:14
Cambia il commento: Nessun commento per questa versione

Summary

Details

Page properties
Titolo
... ... @@ -1,1 +1,0 @@
1 -Arg2P Home
Content
... ... @@ -1,10 +1,9 @@
1 -{{velocity}}
2 -(% style="background-color:$theme.fieldGradientColor; border:hidden" %)(((
3 -!!{{arg2p/}} (short for {{argtuprolog/}}) is a logic-based agreement framework enabling defeasible reasoning in intelligent systems
4 -)))
5 -{{/velocity}}
6 -== {{arg2p/}} in a nutshell ==
1 += {{stringIta}}Home {{/stringIta}}{{arg2p/}}{{stringEng}} Home{{/stringEng}} =
7 7  
3 +{{include reference="Headline"/}}
4 +
5 +>{{arg2p/}} in a nutshell
6 +
8 8  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.
9 9  
10 10  {{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//).

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