Package org.tweetyproject.logics.translators.adfrevision

Class PriestWorldAdapted

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<PlBeliefSet,PlFormula>

org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted

All Implemented Interfaces:

Interpretation<PlBeliefSet,PlFormula>

public class PriestWorldAdapted
extends AbstractInterpretation<PlBeliefSet,PlFormula>

This class models a three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox. Journal of Philosophical Logic 8, 219-241 (1979)]. Every proposition is assigned one of three truth values: true, false, both. Adapted from class "PriestWorld" for the use of a wider range of operators

Author:

Jonas Schumacher

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	PriestWorldAdapted.TruthValue	The three truth values.

Constructor Summary

Constructors

Constructor	Description
PriestWorldAdapted()	Creates a new world where all propositions get the truth value FALSE.
PriestWorldAdapted(PriestWorldAdapted other)	Creates a new world which is a copy of the given world

Method Summary

Modifier and Type	Method	Description
int	countUndecided()	Return countUndecided
boolean	equals(Object obj)
PriestWorldAdapted.TruthValue	get(Proposition p)	Returns the truth value of the given proposition.
Collection<Proposition>	getBinarybase()	Returns the binary base of this world, i.e.
Collection<Proposition>	getConflictbase()	Returns the conflict base of this world, i.e.
PlSignature	getSignature()	Returns the signature of this world.
int	hashCode()
boolean	satisfies(PlBeliefSet beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(PlFormula formula)	Checks whether this interpretation satisfies the given formula.
PriestWorldAdapted.TruthValue	satisfies3VL(PlFormula formula)	Determines the 3-valued truth value of the given formula.
void	set(Proposition p, PriestWorldAdapted.TruthValue val)	Sets the value of the given proposition.
String	toString()

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

PriestWorldAdapted

public PriestWorldAdapted()

Creates a new world where all propositions get the truth value FALSE.

PriestWorldAdapted

public PriestWorldAdapted(PriestWorldAdapted other)

Creates a new world which is a copy of the given world

Parameters:

other - some other world

Method Details

set

public void set(Proposition p,
 PriestWorldAdapted.TruthValue val)

Sets the value of the given proposition.

Parameters:

p - some proposition.

val - some truth value.

get

public PriestWorldAdapted.TruthValue get(Proposition p)

Returns the truth value of the given proposition.

Parameters:

p - a proposition

Returns:

a truth value.

satisfies

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

satisfies3VL

public PriestWorldAdapted.TruthValue satisfies3VL(PlFormula formula)
                                           throws IllegalArgumentException

Determines the 3-valued truth value of the given formula.

Parameters:

formula - some formula

Returns:

the 3-valued truth value of the formula.

Throws:

IllegalArgumentException - if the formula is of unknown type

getBinarybase

public Collection<Proposition> getBinarybase()

Returns the binary base of this world, i.e. the set of all propositions which are assigned either to TRUE or FALSE.

Returns:

the binary base of this world.

getConflictbase

public Collection<Proposition> getConflictbase()

Returns the conflict base of this world, i.e. the set of all propositions which are assigned to BOTH.

Returns:

the conflict base of this world.

satisfies

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

getSignature

public PlSignature getSignature()

Returns the signature of this world.

Returns:

the signature of this world.

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

countUndecided

public int countUndecided()

Return countUndecided

Returns:

countUndecided