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 semanticsOrderingSemanticsReasoner(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 extCollection<Argument>getDefendedNotIn(Extension ext, DungTheory theory)computes the set of arguments outside of ext, which are defended by extCollection<Argument>getEmpty(Extension ext, DungTheory theory)dummy method used if only one ordering semantics is specifiedDungTheorygetModels(DungTheory theory)compute a meta graph for the ordering of the subsets over the given theoryCollection<Argument>getUnattacked(Extension ext, DungTheory theory)computes the set of arguments outside of ext, which are not attacked by extCollection<Argument>getUndefended(Extension ext, DungTheory theory)computes the set of arguments in ext, which are not defended by ext against outside attackersvoidshow(DungTheory theory)print out table showing the sets according to the given ordering semantics
-
-
-
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 semanticssemantics2- 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 happenIllegalAccessException- 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 extensiontheory- 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 extensiontheory- 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 extensiontheory- 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 extensiontheory- 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 extensiontheory- 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 happenIllegalAccessException- should never happen
-
-