net.sf.tweety.logics.translators.clnlp

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

Modifier and Type	Field and Description
private FOLPropTranslator	fol2pl

Fields inherited from class net.sf.tweety.logics.translators.Translator

TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE

Constructor Summary

Constructors

Constructor and Description
ClNLPTranslator()

Method Summary

Modifier and Type	Method and Description
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>	createTranslateMap()
ClBeliefSet	toCl(NLPProgram program) Translate the given NLP-program into a conditional belief set.
Conditional	toCl(NLPRule rule) Translates the given NLP-rule into a conditional.
NLPProgram	toNLP(ClBeliefSet conditionals) Translate the given conditional belief set into a NLP-program.
(package private) NLPRule	toNLP(Conditional cond) Translates the given conditional to a NLP-rule.

Methods inherited from class net.sf.tweety.logics.translators.Translator

createInstance, getTranslateInfo, translateAssociative, translateAtom, translatePredicate, translateRule, translateUsingMap

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

fol2pl

private FOLPropTranslator fol2pl

Constructor Detail

ClNLPTranslator

public ClNLPTranslator()

Method Detail

toNLP

NLPRule toNLP(Conditional cond)

Translates the given conditional to a NLP-rule.

Parameters:

rule - The conditional that is going to be translated.

Returns:

The translated NLP rule

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 -

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

createTranslateMap

protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> createTranslateMap()

Specified by:

createTranslateMap in class Translator