public class LdoInterpretation extends AbstractInterpretation
Modifier and Type | Field and Description |
---|---|
private Extension |
ext
the extension
|
private Semantics |
sem
The used semantics
|
private DungTheory |
theory
The abstract argumentation framework
|
Constructor and Description |
---|
LdoInterpretation(DungTheory theory,
Extension ext,
Semantics semantics)
Creates a new interpretation
|
LdoInterpretation(DungTheory theory,
Semantics semantics)
Creates a new interpretation
|
Modifier and Type | Method and Description |
---|---|
boolean |
satisfies(BeliefBase beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Formula formula)
Checks whether this interpretation satisfies the given formula.
|
satisfies
private DungTheory theory
private Extension ext
private Semantics sem
public LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)
theory
- an abstract argumentation frameworkext
- an extension (possibly null)semantics
- the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)public LdoInterpretation(DungTheory theory, Semantics semantics)
theory
- an abstract argumentation frameworksemantics
- the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)public boolean satisfies(Formula formula) throws java.lang.IllegalArgumentException
Interpretation
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(BeliefBase beliefBase) throws java.lang.IllegalArgumentException
Interpretation
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.