net.sf.tweety.logics.translators.folprop

Class FOLPropTranslator

java.lang.Object

net.sf.tweety.logics.translators.Translator

net.sf.tweety.logics.translators.folprop.FOLPropTranslator

public class FOLPropTranslator
extends Translator

A Translator between the FOL and propositonal logic and vice versa.

Author:

Tim Janus

Field Summary

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

TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE

Constructor Summary

Constructors

Constructor and Description
FOLPropTranslator() Default-Ctor

Method Summary

Modifier and Type	Method and Description
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>	createTranslateMap()
Conjunction	toFOL(Conjunction conjunction) Translates the given propositional Conjunction to a FOL Conjunction
Disjunction	toFOL(Disjunction disjuntion) Translates the given propositional Disjunction to a FOL Disjunction
FOLAtom	toFOL(Proposition proposition) Translates the given proposition into a FOL-Atom
FolFormula	toFOL(PropositionalFormula propFormula)
Conjunction	toPropositional(Conjunction conjunction) Translates the given FOL Conjunction to a propositional Conjunction
Disjunction	toPropositional(Disjunction disjunction) Translates the given FOL Disjunction to a propositional Disjunction
Proposition	toPropositional(FOLAtom atom) Translates the given FOL-Atom into a Proposition
PropositionalFormula	toPropositional(FolFormula folFormula)

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

Constructor Detail

FOLPropTranslator

public FOLPropTranslator()

Default-Ctor

Method Detail

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 disjuntion)

Translates the given propositional Disjunction to a FOL Disjunction

Parameters:

disjuntion -

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

toFOL

public Conjunction toFOL(Conjunction conjunction)

Translates the given propositional Conjunction to a FOL Conjunction

Parameters:

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(PropositionalFormula propFormula)

toPropositional

public PropositionalFormula toPropositional(FolFormula folFormula)

createTranslateMap

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

Specified by:

createTranslateMap in class Translator