Package org.tweetyproject.logics.pl.semantics

Class PriestWorld

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<PlBeliefSet,PlFormula>
org.tweetyproject.logics.pl.semantics.PriestWorld
All Implemented Interfaces:
Interpretation<PlBeliefSet,PlFormula>
public class PriestWorld extends AbstractInterpretation<PlBeliefSet,PlFormula>
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 gets one of three truth values: true, false, both.
Author:
Matthias Thimm

  • Constructor Details

    • PriestWorld

      public PriestWorld()
      Creates a new world where all propositions get the truth value FALSE.

    • PriestWorld

      public PriestWorld(PriestWorld 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, PriestWorld.TruthValue val)
      Sets the value of the given proposition.
      Parameters:
      p - some proposition.
      val - some truth value.

    • get

      public PriestWorld.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 PriestWorld.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