Examples with UAI_to_ExpressionBased_Translator com.sri.ai.praise.core.representation.translation.ciaranframework.core.uai.UAI_to_ExpressionBased_Translator used on opensource projects

Example 1 with UAI_to_ExpressionBased_Translator

use of com.sri.ai.praise.core.representation.translation.ciaranframework.core.uai.UAI_to_ExpressionBased_Translator in project aic-praise by aic-sri-international.

the class UAIModelToExpressionFactorNetwork method convert.

public static ExpressionFactorNetwork convert(UAIModel uaiModel, Theory theory) {
    List<Expression> factorsRepresentedAsExpressions = createListOfExpressionsrepresentingTheFactorsFromAUAIModel(uaiModel);
    if (theory == null) {
        theory = new CompoundTheory(new EqualityTheory(false, true), new DifferenceArithmeticTheory(false, true), new LinearRealArithmeticTheory(false, true), new PropositionalTheory());
    }
    // Add variables in the factors to the context...
    ExpressionBasedModel factorsAndTypes = new UAI_to_ExpressionBased_Translator(factorsRepresentedAsExpressions, uaiModel);
    // Context
    Context context = fillingContext(theory, factorsAndTypes);
    ExpressionFactorNetwork result = expressionFactorNetwork(factorsRepresentedAsExpressions, context);
    return result;
}