Class ClNLPTranslator
java.lang.Object
org.tweetyproject.logics.translators.Translator
org.tweetyproject.logics.translators.clnlp.ClNLPTranslator
Translates between propositional Conditionals and NLP.
- Author:
- Sebastian Homann
-
Field Summary
Fields inherited from class org.tweetyproject.logics.translators.Translator
TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiontoCl
(NLPProgram program) Translate the given NLP-program into a conditional belief set.Translates the given NLP-rule into a conditional.toNLP
(ClBeliefSet conditionals) Translate the given conditional belief set into a NLP-program.Methods inherited from class org.tweetyproject.logics.translators.Translator
translateAssociative, translateAtom, translatePredicate, translateRule, translateUsingMap
-
Constructor Details
-
ClNLPTranslator
public ClNLPTranslator()Default Constructor
-
-
Method Details
-
toCl
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
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
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
-