Package org.tweetyproject.arg.dung.examples

Class SerialisableExtensionReasonerExample

java.lang.Object

org.tweetyproject.arg.dung.examples.SerialisableExtensionReasonerExample

public class SerialisableExtensionReasonerExample
extends Object

This class summarises examples displaying the usage of SerialisableExtensionReasoner for different types of serialisable semantics.

See

Matthias Thimm. Revisiting initial sets in abstract argumentation.
Argument and Computation 13 (2022) 325–360
DOI 10.3233/AAC-210018

and

Lars Bengel and Matthias Thimm. Serialisable Semantics for Abstract Argumentation.
Computational Models of Argument (2022)
DOI: 10.3233/FAIA220143

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
SerialisableExtensionReasonerExample()

Method Summary

Modifier and Type	Method	Description
static DungTheory	buildExample1()	Builds an example argumentation framework
static DungTheory	buildExample2()	Builds an example argumentation framework
static DungTheory	buildExample3()	Builds an example argumentation framework
static void	main(String[] args)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SerialisableExtensionReasonerExample

public SerialisableExtensionReasonerExample()

Method Details

buildExample1

public static DungTheory buildExample1()

Builds an example argumentation framework

Returns:

AF: ({a,b,c,d,e,f},{(a,a),(a,b),(b,a),(b,d),(d,c),(e,c),(e,f),(f,e)})

buildExample2

public static DungTheory buildExample2()

Builds an example argumentation framework

Returns:

AF: ({a,b,c,d,e,f},{(a,b),(a,c),(b,a),(b,c),(c,e),(d,e),(e,d),(e,f),(f,e)})

buildExample3

public static DungTheory buildExample3()

Builds an example argumentation framework

Returns:

AF: ({a,b,c,d},{(a,b),(b,a),(c,d),(d,b)})

main

public static void main(String[] args)

Parameters:

args - No input required.