Class ClNLPTranslator
- java.lang.Object
-
- net.sf.tweety.logics.translators.Translator
-
- net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
-
public class ClNLPTranslator extends Translator
Translates between propositional Conditionals and NLP.- Author:
- Sebastian Homann
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.logics.translators.Translator
TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE
-
-
Constructor Summary
Constructors Constructor Description ClNLPTranslator()
-
Method Summary
Modifier and Type Method Description ClBeliefSettoCl(NLPProgram program)Translate the given NLP-program into a conditional belief set.ConditionaltoCl(NLPRule rule)Translates the given NLP-rule into a conditional.NLPProgramtoNLP(ClBeliefSet conditionals)Translate the given conditional belief set into a NLP-program.-
Methods inherited from class net.sf.tweety.logics.translators.Translator
translateAssociative, translateAtom, translatePredicate, translateRule, translateUsingMap
-
-
-
-
Method Detail
-
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
-
-