Package net.sf.tweety.arg.dung.semantics

Class AbstractArgumentationInterpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>

net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

All Implemented Interfaces:

net.sf.tweety.commons.Interpretation<DungTheory,Argument>

Direct Known Subclasses:

Extension, Labeling

public abstract class AbstractArgumentationInterpretation
extends net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>

This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractArgumentationInterpretation()

Method Summary

Modifier and Type	Method	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 argument is attacked by some accepted argument wrt.
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(Argument formula)
boolean	satisfies(DungTheory beliefBase)
abstract String	toString()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractArgumentationInterpretation

public AbstractArgumentationInterpretation()

Method Detail

satisfies

public boolean satisfies(Argument formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(DungTheory beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

isAcceptable

public boolean isAcceptable(Argument argument,
                            DungTheory dungTheory)

returns true if every attacker on argument is attacked by some accepted argument wrt. the given theory.

Parameters:

argument - an argument

dungTheory - a Dung theory (the knowledge base)

Returns:

true if every attacker on argument is attacked by some accepted argument wrt. the given theory.

isConflictFree

public boolean isConflictFree(DungTheory dungTheory)

returns true if no accepted argument attacks another accepted one in this interpretation wrt. the given theory.

Parameters:

dungTheory - a Dung theory.

Returns:

true if no accepted argument attacks another accepted one in this interpretation wrt. the given theory.

isAdmissable

public boolean isAdmissable(DungTheory dungTheory)

returns true if every accepted argument of this is defended by some accepted argument wrt. the given Dung theory.

Parameters:

dungTheory - a Dung theory.

Returns:

true if every accepted argument of this is defended by some accepted argument wrt. the given Dung theory.

getArgumentsOfStatus

public abstract Extension getArgumentsOfStatus(ArgumentStatus status)

Returns all arguments that have the given status in this interpretation.

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

toString

public abstract String toString()

Overrides:

toString in class Object