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:

Interpretation<DungTheory,Argument>

Direct Known Subclasses:

ArgumentRanking, Extension, Labeling

public abstract class AbstractArgumentationInterpretation
extends 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)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(DungTheory beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
abstract java.lang.String	toString()

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

satisfies

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractArgumentationInterpretation

public AbstractArgumentationInterpretation()

Method Detail

satisfies

public boolean satisfies(Argument formula)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(DungTheory beliefBase)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object