Class FOLPropTranslator

java.lang.Object
org.tweetyproject.logics.translators.Translator
org.tweetyproject.logics.translators.folprop.FOLPropTranslator

public class FOLPropTranslator extends Translator
A Translator between the FOL and propositonal logic and vice versa.
Author:
Tim Janus, Anna Gessler
  • Constructor Details

    • FOLPropTranslator

      public FOLPropTranslator()
      Default-Ctor
  • Method Details

    • toPropositional

      public Proposition toPropositional(FolAtom atom)
      Translates the given FOL-Atom into a Proposition
      Parameters:
      atom - FOL-Atom, if the given Atom has arguments an exception is thrown.
      Returns:
      Propositional form of the given Atom
    • toFOL

      public FolAtom toFOL(Proposition proposition)
      Translates the given proposition into a FOL-Atom
      Parameters:
      proposition - The Proposition
      Returns:
      A FOL-Atom representing the given Proposition in first order logic.
    • toFOL

      public Disjunction toFOL(Disjunction disjunction)
      Translates the given propositional Disjunction to a FOL Disjunction
      Parameters:
      disjunction - a PL disjunction
      Returns:
      The FOL Disjunction
    • toPropositional

      public Disjunction toPropositional(Disjunction disjunction)
      Translates the given FOL Disjunction to a propositional Disjunction
      Parameters:
      disjunction - The FOL-Disjunction, if it contains formulas which are not expressible in propositional logic an exception is thrown.
      Returns:
      The propositional Disjunction
    • toPropositional

      public ExclusiveDisjunction toPropositional(ExclusiveDisjunction xor)
      Translates the given FOL Exclusive Disjunction to a propositional Exclusive Disjunction
      Parameters:
      xor - The FOL-Exclusive Disjunction, if it contains formulas which are not expressible in propositional logic an exception is thrown.
      Returns:
      The propositional Exclusive Disjunction
    • toFOL

      public Conjunction toFOL(Conjunction conjunction)
      Translates the given propositional Conjunction to a FOL Conjunction
      Parameters:
      conjunction - a PL conjunction
      Returns:
      The FOL Conjunction
    • toPropositional

      public Conjunction toPropositional(Conjunction conjunction)
      Translates the given FOL Conjunction to a propositional Conjunction
      Parameters:
      conjunction - The FOL-Conjunction, if it contains formulas which are not expressible in propositional logic an exception is thrown.
      Returns:
      The propositional Conjunction
    • toFOL

      public FolFormula toFOL(PlFormula propFormula)
      Parameters:
      propFormula - propFormula
      Returns:
      FolFormula toFOL
    • toPropositional

      public PlFormula toPropositional(FolFormula folFormula)
      Parameters:
      folFormula - folFormula
      Returns:
      PlFormula toPropositional