Package org.tweetyproject.arg.dung.reasoner

Class OrderingSemanticsReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.OrderingSemanticsReasoner

public class OrderingSemanticsReasoner
extends java.lang.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
java.util.Collection<Argument>	getConflicts(Extension ext, DungTheory theory)	computes the set of conflicts occurring inside ext
java.util.Collection<Argument>	getDefendedNotIn(Extension ext, DungTheory theory)	computes the set of arguments outside of ext, which are defended by ext
java.util.Collection<Argument>	getEmpty(Extension ext, DungTheory theory)	dummy method used if only one ordering semantics is specified
java.util.List<java.util.Collection<java.util.Collection<Argument>>>	getModels(DungTheory theory)	compute the ordering over all subsets of theory wrt.
java.util.Collection<Argument>	getUnattacked(Extension ext, DungTheory theory)	computes the set of arguments outside of ext, which are not attacked by ext
java.util.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

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

Constructor Detail

OrderingSemanticsReasoner

public OrderingSemanticsReasoner(OrderingSemantics semantics)
                          throws java.lang.NoSuchMethodException

create a reasoner for the given ordering semantics

Parameters:

semantics - an ordering semantics

Throws:

java.lang.NoSuchMethodException - if an error occurs

OrderingSemanticsReasoner

public OrderingSemanticsReasoner(OrderingSemantics semantics1,
                                 OrderingSemantics semantics2)
                          throws java.lang.NoSuchMethodException

create a reasoner for the given combination of ordering semantics

Parameters:

semantics1 - an ordering semantics

semantics2 - an ordering semantics

Throws:

java.lang.NoSuchMethodException - if an error occurs

Method Detail

getModels

public java.util.List<java.util.Collection<java.util.Collection<Argument>>> getModels(DungTheory theory)
                                                                               throws java.lang.reflect.InvocationTargetException,
                                                                                      java.lang.IllegalAccessException

compute the ordering over all subsets of theory wrt. to the ordering semantics this is done by counting the attacks in a theoretical meta graph, where directed edges represent subset relations over the semantics compare sets.

Parameters:

theory - a dung theory

Returns:

a list representing the ordering of all subsets of the given graph wrt. the ordering semantics

Throws:

java.lang.reflect.InvocationTargetException - should never happen

java.lang.IllegalAccessException - should never happen

getEmpty

public java.util.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 java.util.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 java.util.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 java.util.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 java.util.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 java.lang.reflect.InvocationTargetException,
                 java.lang.IllegalAccessException

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

Parameters:

theory - a dung theory

Throws:

java.lang.reflect.InvocationTargetException - should never happen

java.lang.IllegalAccessException - should never happen