Class LdoInterpretation
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<DungTheory,LdoFormula>
-
- net.sf.tweety.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 interpretationLdoInterpretation(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 net.sf.tweety.commons.AbstractInterpretation
satisfies
-
-
-
-
Constructor Detail
-
LdoInterpretation
public LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)
Creates a new interpretation- Parameters:
theory
- an abstract argumentation frameworkext
- an extension (possibly null)semantics
- the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)
-
LdoInterpretation
public LdoInterpretation(DungTheory theory, Semantics semantics)
Creates a new interpretation- Parameters:
theory
- an abstract argumentation frameworksemantics
- the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)
-
-
Method Detail
-
satisfies
public boolean satisfies(LdoFormula 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.
-
-