Package net.sf.tweety.arg.dung.reasoner

Class OrderingSemanticsReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner

public class OrderingSemanticsReasoner
extends Object

Reasoner for ordering semantics

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
OrderingSemanticsReasoner(OrderingSemantics semantics)	create a reasoner for the given ordering semantics
OrderingSemanticsReasoner(OrderingSemantics semantics1, OrderingSemantics semantics2)	create a reasoner for the given combination of ordering semantics

Method Summary

Modifier and Type	Method	Description
Collection<Argument>	getConflicts(Extension ext, DungTheory theory)	computes the set of conflicts occurring inside ext
Collection<Argument>	getDefendedNotIn(Extension ext, DungTheory theory)	computes the set of arguments outside of ext, which are defended by ext
Collection<Argument>	getEmpty(Extension ext, DungTheory theory)	dummy method used if only one ordering semantics is specified
DungTheory	getModels(DungTheory theory)	compute a meta graph for the ordering of the subsets over the given theory
Collection<Argument>	getUnattacked(Extension ext, DungTheory theory)	computes the set of arguments outside of ext, which are not attacked by ext
Collection<Argument>	getUndefended(Extension ext, DungTheory theory)	computes the set of arguments in ext, which are not defended by ext against outside attackers
void	show(DungTheory theory)	print out table showing the sets according to the given ordering semantics

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderingSemanticsReasoner

public OrderingSemanticsReasoner(OrderingSemantics semantics)
                          throws NoSuchMethodException

create a reasoner for the given ordering semantics

Parameters:

semantics - an ordering semantics

Throws:

NoSuchMethodException - should never happen

OrderingSemanticsReasoner

public OrderingSemanticsReasoner(OrderingSemantics semantics1,
                                 OrderingSemantics semantics2)
                          throws NoSuchMethodException

create a reasoner for the given combination of ordering semantics

Parameters:

semantics1 - an ordering semantics

semantics2 - an ordering semantics

Throws:

NoSuchMethodException - should never happen

Method Detail

getModels

public DungTheory getModels(DungTheory theory)
                     throws InvocationTargetException,
                            IllegalAccessException

compute a meta graph for the ordering of the subsets over the given theory

Parameters:

theory - a dung theory

Returns:

a graph representing the ordered subsets of theory

Throws:

InvocationTargetException - should never happen

IllegalAccessException - should never happen

getEmpty

public Collection<Argument> getEmpty(Extension ext,
                                     DungTheory theory)

dummy method used if only one ordering semantics is specified

Parameters:

ext - an extension

theory - a dung theory

Returns:

always return empty set

getConflicts

public Collection<Argument> getConflicts(Extension ext,
                                         DungTheory theory)

computes the set of conflicts occurring inside ext

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of conflict in ext

getUndefended

public Collection<Argument> getUndefended(Extension ext,
                                          DungTheory theory)

computes the set of arguments in ext, which are not defended by ext against outside attackers

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of arguments in ext which are not defended by ext

getUnattacked

public Collection<Argument> getUnattacked(Extension ext,
                                          DungTheory theory)

computes the set of arguments outside of ext, which are not attacked by ext

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of arguments in theory \ ext which are not attacked by ext

getDefendedNotIn

public Collection<Argument> getDefendedNotIn(Extension ext,
                                             DungTheory theory)

computes the set of arguments outside of ext, which are defended by ext

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of arguments in theory \ ext which are defended by ext

show

public void show(DungTheory theory)
          throws InvocationTargetException,
                 IllegalAccessException

print out table showing the sets according to the given ordering semantics

Parameters:

theory - a dung theory

Throws:

InvocationTargetException - should never happen

IllegalAccessException - should never happen