public abstract class AbstractArgumentationInterpretation
extends net.sf.tweety.commons.AbstractInterpretation
| Constructor and Description |
|---|
AbstractArgumentationInterpretation() |
| Modifier and Type | Method and Description |
|---|---|
abstract Extension |
getArgumentsOfStatus(ArgumentStatus status)
Returns all arguments that have the given status in this interpretation.
|
boolean |
isAcceptable(Argument argument,
DungTheory dungTheory)
returns true if every attacker on
|
boolean |
isAdmissable(DungTheory dungTheory)
returns true if every accepted argument of this is defended by some accepted
argument wrt.
|
boolean |
isConflictFree(DungTheory dungTheory)
returns true if no accepted argument attacks another accepted one in
this interpretation wrt.
|
boolean |
satisfies(net.sf.tweety.commons.BeliefBase beliefBase) |
boolean |
satisfies(net.sf.tweety.commons.Formula formula) |
abstract String |
toString() |
public boolean satisfies(net.sf.tweety.commons.Formula formula)
throws IllegalArgumentException
IllegalArgumentExceptionpublic boolean satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
throws IllegalArgumentException
IllegalArgumentExceptionpublic boolean isAcceptable(Argument argument, DungTheory dungTheory)
argument - an argumentdungTheory - a Dung theory (the knowledge base)public boolean isConflictFree(DungTheory dungTheory)
dungTheory - a Dung theory.public boolean isAdmissable(DungTheory dungTheory)
dungTheory - a Dung theory.public abstract Extension getArgumentsOfStatus(ArgumentStatus status)
status - the status of the arguments to be returned.Copyright © 2018. All rights reserved.