Package net.sf.tweety.arg.adf.semantics

Class Interpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<AbstractDialecticalFramework,Argument>

net.sf.tweety.arg.adf.semantics.Interpretation

All Implemented Interfaces:

java.lang.Comparable<Interpretation>, java.lang.Iterable<Argument>, Interpretation<AbstractDialecticalFramework,Argument>

public class Interpretation
extends AbstractInterpretation<AbstractDialecticalFramework,Argument>
implements java.lang.Comparable<Interpretation>, java.lang.Iterable<Argument>

This class represents an immutable three-valued interpretation of an Abstract Dialectical Framework (ADF).

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Set<Argument>	satisfied
private java.util.Set<Argument>	undecided
private java.util.Set<Argument>	unsatisfied

Constructor Summary

Constructors

Constructor	Description
Interpretation(java.lang.Iterable<Argument> undecided)	Creates a new empty interpretation, hence where all arguments are undecided.
Interpretation(java.util.Map<Argument,java.lang.Boolean> assignments)	Creates an interpretation based on the given mapping.

Method Summary

Modifier and Type	Method	Description
java.util.stream.Stream<Argument>	arguments()
int	compareTo(Interpretation that)
boolean	contains(Argument a)
boolean	equals(java.lang.Object obj)
java.lang.Boolean	get(Argument a)
java.util.Set<Argument>	getSatisfied()
java.util.Set<Argument>	getUndecided()
java.util.Set<Argument>	getUnsatisfied()
int	hashCode()
boolean	isSatisfied(Argument a)
boolean	isUndecided(Argument a)
boolean	isUnsatisfied(Argument a)
java.util.Iterator<Argument>	iterator()
java.util.stream.Stream<Argument>	satisfied()
boolean	satisfies(AbstractDialecticalFramework beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(Argument formula)	Checks whether this interpretation satisfies the given formula.
int	size()
java.lang.String	toString()
java.util.stream.Stream<Argument>	undecided()
java.util.stream.Stream<Argument>	unsatisfied()

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

satisfies

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

satisfied

private java.util.Set<Argument> satisfied

unsatisfied

private java.util.Set<Argument> unsatisfied

undecided

private java.util.Set<Argument> undecided

Constructor Detail

Interpretation

public Interpretation(java.lang.Iterable<Argument> undecided)

Creates a new empty interpretation, hence where all arguments are undecided.

Parameters:

undecided -

Interpretation

public Interpretation(java.util.Map<Argument,java.lang.Boolean> assignments)

Creates an interpretation based on the given mapping.

An argument becomes:

• satisfied iff it is mapped to true
• unsatisfied iff it is mapped to false
• undecided iff it is mapped to null

Parameters:

assignments -

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

compareTo

public int compareTo(Interpretation that)

Specified by:

compareTo in interface java.lang.Comparable<Interpretation>

satisfies

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

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<AbstractDialecticalFramework,Argument>

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(AbstractDialecticalFramework beliefBase)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<AbstractDialecticalFramework,Argument>

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.

arguments

public java.util.stream.Stream<Argument> arguments()

Returns:

an unmodifiable set of all the arguments labeled by this interpretation

getSatisfied

public java.util.Set<Argument> getSatisfied()

Returns:

an unmodifiable view of the satisfied arguments

satisfied

public java.util.stream.Stream<Argument> satisfied()

getUnsatisfied

public java.util.Set<Argument> getUnsatisfied()

Returns:

an unmodifiable view of the unsatisfied arguments

unsatisfied

public java.util.stream.Stream<Argument> unsatisfied()

getUndecided

public java.util.Set<Argument> getUndecided()

Returns:

an unmodifiable view of the undecided arguments

undecided

public java.util.stream.Stream<Argument> undecided()

size

public int size()

isSatisfied

public boolean isSatisfied(Argument a)

isUnsatisfied

public boolean isUnsatisfied(Argument a)

isUndecided

public boolean isUndecided(Argument a)

contains

public boolean contains(Argument a)

get

public java.lang.Boolean get(Argument a)

Parameters:

a - the argument for which we want to know its value

Returns:

true, false or null if this argument is labeled as satisfied, unsatisfied or undecided.

Throws:

java.lang.IllegalArgumentException - if the interpretation does not contain the given argument.

iterator

public java.util.Iterator<Argument> iterator()

Specified by:

iterator in interface java.lang.Iterable<Argument>