net.sf.tweety.arg.dung.ldo.semantics

Class LdoInterpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation

All Implemented Interfaces:

Interpretation

public class LdoInterpretation
extends AbstractInterpretation

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private Extension	ext the extension
private int	sem The used semantics
private DungTheory	theory The abstract argumentation framework

Constructor Summary

Constructors

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

Method Summary

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.

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

satisfies

Methods inherited from class java.lang.Object

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

Field Detail

theory

private DungTheory theory

The abstract argumentation framework

ext

private Extension ext

the extension

sem

private int sem

The used semantics

Constructor Detail

LdoInterpretation

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

Creates a new interpretation

Parameters:

theory - an abstract argumentation framework

ext - an extension (possibly null)

semantics - the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)

LdoInterpretation

public LdoInterpretation(DungTheory theory,
                         int semantics)

Creates a new interpretation

Parameters:

theory - an abstract argumentation framework

semantics - the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)

Method Detail

satisfies

public boolean satisfies(Formula 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(BeliefBase 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.