Examples with TableFactor com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor used on opensource projects

Example 1 with TableFactor

use of com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor in project aic-praise by aic-sri-international.

the class TableFactorBoxBuilder method buildBoxFactor.

public static TableFactor buildBoxFactor(TableFactor factor, ArrayList<TableVariable> notFreeVariables) {
    // notFreeVariables.retainAll(factor.getVariables());//Maybe it is not necessary
    notFreeVariables.remove(TABLE_BOX_VARIABLE);
    if (notFreeVariables.isEmpty()) {
        return factor;
    }
    TableFactor result = buildBoxFactorIfSetIsNotEmpty(factor, notFreeVariables);
    return result;
}

Example 2 with TableFactor

use of com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor in project aic-praise by aic-sri-international.

the class TableFactorBoxBuilder method makeABoxFactorHavingTheBoxesExtremes.

private static TableFactor makeABoxFactorHavingTheBoxesExtremes(TableFactor first, TableFactor second) {
    ArrayList<TableVariable> variables = Util.arrayList(TABLE_BOX_VARIABLE);
    variables.addAll(first.getVariables());
    ArrayList<Double> entries = new ArrayList<>(first.getVariables().size() * 2);
    entries.addAll(first.getEntries());
    entries.addAll(second.getEntries());
    TableFactor result = new TableFactor(variables, entries);
    return result;
}

Example 3 with TableFactor

use of com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor in project aic-praise by aic-sri-international.

the class TableFactorBoxBuilder method copyFactorInDifferentOrder.

private static TableFactor copyFactorInDifferentOrder(ArrayList<TableVariable> arrayList, TableFactor factor) {
    TableFactor result = new TableFactor(arrayList, arrayListFilledWith(-1.0, numEntries(arrayList)));
    ArrayList<TableVariable> var = new ArrayList<>(factor.getVariables());
    for (ArrayList<Integer> notFreeVariablesInstantiation : in(getCartesianProduct(var))) {
        LinkedHashMap<TableVariable, Integer> mapOfInstantiations = new LinkedHashMap<>();
        addValuesToMapFromVariableToInstantiation(var, notFreeVariablesInstantiation, mapOfInstantiations);
        result.setEntryFor(mapOfInstantiations, factor.getEntryFor(mapOfInstantiations));
    }
    return result;
}

Example 4 with TableFactor

use of com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor in project aic-praise by aic-sri-international.

the class TableFactorBoxBuilder method main.

public static void main(String[] args) {
    TableVariable A = new TableVariable("A", 2);
    TableVariable B = new TableVariable("B", 2);
    TableVariable C = new TableVariable("C", 2);
    TableVariable D = new TableVariable("D", 2);
    TableFactor fABCD = new TableFactor(arrayList(A, B, C, D), arrayList(0., 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0, 1.1, 1.2, 1.3, 1.4, 1.5));
    TableFactor fBoxABCD = new TableFactor(arrayList(TABLE_BOX_VARIABLE, A, B, C, D), arrayList(0., 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0, 1.1, 1.2, 1.3, 1.4, 1.5, 10., 10.1, 10.2, 10.3, 10.4, 10.5, 10.6, 10.7, 10.8, 10.9, 11.0, 11.1, 11.2, 11.3, 11.4, 11.5));
    ArrayList<TableVariable> list = arrayList(A, B, C, D, TABLE_BOX_VARIABLE);
    TableFactor fABCDBox = new TableFactor(list);
    LinkedHashMap<TableVariable, Integer> map = new LinkedHashMap<>();
    for (ArrayList<Integer> instantiation : in(getCartesianProduct(list))) {
        addValuesToMapFromVariableToInstantiation(list, instantiation, map);
        fABCDBox.setEntryFor(map, fBoxABCD.getEntryFor(map));
    }
    println(fABCD);
    println(fBoxABCD);
    println(fABCDBox);
    Pair<TableFactor, TableFactor> pair = divideABoxFactorIntoTwoHalves(fBoxABCD);
    println("Lower  box: " + pair.first);
    println("Higher box: " + pair.second);
    pair = divideABoxFactorIntoTwoHalves(fABCDBox);
    println("Lower  box: " + pair.first);
    println("Higher box: " + pair.second);
    println(maxOrMinOut(fABCD, arrayList(A, B), arrayList(C, D), (newValue, oldValue) -> (newValue < oldValue)));
    println(maxOrMinOut(fABCD, arrayList(A, B), arrayList(C, D), (newValue, oldValue) -> (newValue > oldValue)));
    println("BoxFactor" + makeABoxFactorHavingTheBoxesExtremes(fABCD, fABCD));
    // -----------------------------------------------
    IntensionalConvexHullOfFactors ICHOF = new IntensionalConvexHullOfFactors(Util.list(TABLE_BOX_VARIABLE, A, B), fABCDBox);
    println(ICHOF);
    println(makeTableBox(ICHOF));
    TableFactor fCBDA = copyFactorInDifferentOrder(arrayList(D, B, TABLE_BOX_VARIABLE, C, A), fABCDBox);
    ICHOF = new IntensionalConvexHullOfFactors(Util.list(A, TABLE_BOX_VARIABLE, B), fCBDA);
    println(makeTableBox(ICHOF));
}

Example 5 with TableFactor

use of com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor in project aic-praise by aic-sri-international.

the class Box method getPhiMax.

public TableFactor getPhiMax() {
    TableFactor tableFactor = (TableFactor) this.getFactor();
    TableFactor result = TableFactor.copyToSubTableFactor(tableFactor, list(TABLE_BOX_VARIABLE), list(1));
    return result;
}