Search in sources :

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;
}
Also used : TableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor) TableFactor.copyToSubTableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.copyToSubTableFactor)

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;
}
Also used : TableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor) TableFactor.copyToSubTableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.copyToSubTableFactor) ArrayList(java.util.ArrayList) TableVariable(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableVariable)

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;
}
Also used : TableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor) TableFactor.copyToSubTableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.copyToSubTableFactor) ArrayList(java.util.ArrayList) TableVariable(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableVariable) LinkedHashMap(java.util.LinkedHashMap)

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));
}
Also used : Iterator(java.util.Iterator) BiFunction(java.util.function.BiFunction) TableFactor.getCartesianProduct(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.getCartesianProduct) TableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor) Variable(com.sri.ai.praise.core.representation.interfacebased.factor.api.Variable) TableVariable(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableVariable) ArrayList(java.util.ArrayList) LinkedHashMap(java.util.LinkedHashMap) Util.in(com.sri.ai.util.Util.in) List(java.util.List) TableFactor.numEntries(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.numEntries) Util.arrayListFilledWith(com.sri.ai.util.Util.arrayListFilledWith) IntensionalConvexHullOfFactors(com.sri.ai.praise.core.representation.interfacebased.polytope.core.byexpressiveness.convexhull.IntensionalConvexHullOfFactors) TABLE_BOX_VARIABLE(com.sri.ai.praise.core.representation.interfacebased.polytope.core.byexpressiveness.box.TableBoxVariable.TABLE_BOX_VARIABLE) Util(com.sri.ai.util.Util) Util.println(com.sri.ai.util.Util.println) TableFactor.copyToSubTableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.copyToSubTableFactor) Util.arrayList(com.sri.ai.util.Util.arrayList) LinkedHashSet(java.util.LinkedHashSet) Pair(com.sri.ai.util.base.Pair) TableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor) TableFactor.copyToSubTableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.copyToSubTableFactor) IntensionalConvexHullOfFactors(com.sri.ai.praise.core.representation.interfacebased.polytope.core.byexpressiveness.convexhull.IntensionalConvexHullOfFactors) TableVariable(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableVariable) LinkedHashMap(java.util.LinkedHashMap)

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;
}
Also used : TableFactor(com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor)

Aggregations

TableFactor (com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor)52 TableVariable (com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableVariable)36 ArrayList (java.util.ArrayList)19 Test (org.junit.Test)11 Factor (com.sri.ai.praise.core.representation.interfacebased.factor.api.Factor)10 Util.mapIntoArrayList (com.sri.ai.util.Util.mapIntoArrayList)10 List (java.util.List)9 ExpressionFactor (com.sri.ai.praise.core.representation.interfacebased.factor.core.expression.api.ExpressionFactor)8 TableFactor.copyToSubTableFactor (com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactor.copyToSubTableFactor)8 Pair (com.sri.ai.util.base.Pair)7 Variable (com.sri.ai.praise.core.representation.interfacebased.factor.api.Variable)6 TableFactorNetwork (com.sri.ai.praise.core.representation.interfacebased.factor.core.table.TableFactorNetwork)6 LinkedHashMap (java.util.LinkedHashMap)6 Expression (com.sri.ai.expresso.api.Expression)5 DefaultExpressionFactor (com.sri.ai.praise.core.representation.interfacebased.factor.core.expression.core.DefaultExpressionFactor)5 Util (com.sri.ai.util.Util)5 Util.arrayList (com.sri.ai.util.Util.arrayList)5 Util.println (com.sri.ai.util.Util.println)5 BiFunction (java.util.function.BiFunction)5 LinkedList (java.util.LinkedList)4