Package org.tweetyproject.arg.delp.semantics

Class DialecticalTree

java.lang.Object

org.tweetyproject.arg.delp.semantics.DialecticalTree

public class DialecticalTree
extends Object

This class implements a node of a dialectical tree from DeLP.

Author:

Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DialecticalTree.Mark

Constructor Summary

Constructors

Constructor	Description
DialecticalTree(DelpArgument argument)	constructor; initializes this dialectical tree node as a root with given argument

Method Summary

Modifier and Type	Method	Description
Stream<DelpArgument>	getArgumentationLine()	Returns the argumentation line which is generated by the path from this node to the root (in reverse)
Set<DialecticalTree>	getDefeaters(DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion)	Computes the set of arguments which are defeaters for the argument in this tree node and returns the corresponding dialectical tree nodes with these defeaters.
DialecticalTree.Mark	getMarking()	Computes the marking of this node by considering the marking of all child nodes
boolean	isAcceptable(DelpArgument argument, DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion)	Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

DialecticalTree

public DialecticalTree(DelpArgument argument)

constructor; initializes this dialectical tree node as a root with given argument

Parameters:

argument - a DeLP argument

Method Details

getDefeaters

public Set<DialecticalTree> getDefeaters(DefeasibleLogicProgram delp,
 ComparisonCriterion comparisonCriterion)

Computes the set of arguments which are defeaters for the argument in this tree node and returns the corresponding dialectical tree nodes with these defeaters. For the computation of the defeaters the whole argumentation line to this tree node is considered. As a side effect the computed tree nodes are added as children of this node

Parameters:

delp - a defeasible logic program

comparisonCriterion - a comparison criterion.

Returns:

the set of defeater nodes of the argument in this node

isAcceptable

public boolean isAcceptable(DelpArgument argument,
 DefeasibleLogicProgram delp,
 ComparisonCriterion comparisonCriterion)

Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp

Parameters:

argument - a DeLP argument

delp - a defeasible logic program

comparisonCriterion - a comparison criterion.

Returns:

true if the corresponding argumentation line is acceptable

getArgumentationLine

public Stream<DelpArgument> getArgumentationLine()

Returns the argumentation line which is generated by the path from this node to the root (in reverse)

Returns:

a stream of arguments denoting the argumentation line

getMarking

public DialecticalTree.Mark getMarking()

Computes the marking of this node by considering the marking of all child nodes

Returns:

one of DialecticalTree.MARK_DEFEATED and DialecticalTree.MARK_UNDEFEATED

toString

public String toString()

Overrides:

toString in class Object