Class ClNLPTranslator

java.lang.Object
org.tweetyproject.logics.translators.Translator
org.tweetyproject.logics.translators.clnlp.ClNLPTranslator

public class ClNLPTranslator extends Translator
Translates between propositional Conditionals and NLP.
Author:
Sebastian Homann
  • Constructor Details

    • ClNLPTranslator

      public ClNLPTranslator()
  • Method Details

    • toCl

      public Conditional toCl(NLPRule rule)
      Translates the given NLP-rule into a conditional. This only works for unquantified ground nlp-rules. In all other cases, an exception is thrown.
      Parameters:
      rule - some rule
      Returns:
      a conditional
    • toCl

      public ClBeliefSet toCl(NLPProgram program)
      Translate the given NLP-program into a conditional belief set.
      Parameters:
      program - The NLP-program that is translated
      Returns:
      A conditional belief set representing the given NLP-program.
    • toNLP

      public NLPProgram toNLP(ClBeliefSet conditionals)
      Translate the given conditional belief set into a NLP-program.
      Parameters:
      conditionals - The set of conditionals that is translated
      Returns:
      A NLP-program representing the given set of conditionals