Class 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 Detail

      • PriestWorld

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

      • set

        public void set​(Proposition p,
                        PriestWorld.TruthValue val)
        Sets the value of the given proposition.
        Parameters:
        p - some proposition.
        val - some truth value.
      • satisfies

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

        public PriestWorld.TruthValue satisfies3VL​(PlFormula formula)
                                            throws java.lang.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:
        java.lang.IllegalArgumentException - if the formula is of unknown type
      • getBinarybase

        public java.util.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 java.util.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 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.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object