tims / learnmeahaskell

How hard can it be?

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Labelling of Argumentation Frameworks

Here be implementations of labelling algorithms for argumentation frameworks.

Labelling algorithms traverse an argumentation graph and partition it into IN, OUT, and UNDECIDED partitions. They may also generate multiple partitions depending on their out look on life.

IN nodes are winning arguments, OUT nodes are losing nodes and UNDECIDED nodes are undecided.

Grounded semantics are skeptical. So the grounded labelling algorithm can only generates one labelling. It leaves undecided nodes as undecided.

Preferred semantics are more optimistic. They will generate multiple labellings when there are multiple ways to resolve the graph. You can think of this as saying, well maybe we are both right.

Reading:

About

How hard can it be?


Languages

Language:Haskell 100.0%