Package org.tweetyproject.arg.dung.ldo.semantics

Class LdoInterpretation

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<DungTheory,LdoFormula>

org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation

All Implemented Interfaces:

Interpretation<DungTheory,LdoFormula>

public class LdoInterpretation
extends AbstractInterpretation<DungTheory,LdoFormula>

This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)	Creates a new interpretation
LdoInterpretation(DungTheory theory, Semantics semantics)	Creates a new interpretation

Method Summary

Modifier and Type	Method	Description
boolean	satisfies(LdoFormula formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(DungTheory beliefBase)	Checks whether this interpretation satisfies the given knowledge base.

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Constructor Details

LdoInterpretation

public LdoInterpretation(DungTheory theory,
 Extension ext,
 Semantics semantics)

Creates a new interpretation

Parameters:

theory - an abstract argumentation framework

ext - an extension (possibly null)

semantics - the used semantics (see org.tweetyproject.arg.dung.semantics.Semantics)

LdoInterpretation

public LdoInterpretation(DungTheory theory,
 Semantics semantics)

Creates a new interpretation

Parameters:

theory - an abstract argumentation framework

semantics - the used semantics (see org.tweetyproject.arg.dung.semantics.Semantics)

Method Details

satisfies

public boolean satisfies(LdoFormula formula)
                  throws 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:

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

satisfies

public boolean satisfies(DungTheory beliefBase)
                  throws 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:

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