Search in sources :

Example 21 with LinearRealArithmeticTheory

use of com.sri.ai.grinder.theory.linearrealarithmetic.LinearRealArithmeticTheory in project aic-expresso by aic-sri-international.

the class Tests method main.

public static void main(String[] args) {
    // Theory initialization
    Theory theory = new CompoundTheory(new EqualityTheory(false, true), new DifferenceArithmeticTheory(false, false), new LinearRealArithmeticTheory(false, false), new TupleTheory(), new PropositionalTheory());
    Context context = new TrueContext(theory);
    context = context.extendWithSymbolsAndTypes("A", "Boolean");
    Model m;
    String modelName;
    modelName = "Ising Model";
    m = new Model(IsingModel(3, 2, context, parse("Boolean")), theory, true);
    testFunction(modelName, m, true);
    // modelName = "Line Model";
    // m = new Model(lineModel(10, context, parse("Boolean")),theory, true);
    // 
    // testFunction(modelName, m,true);
    // 
    // modelName = "Binary Tree Model";
    // m = new Model(nTreeModel(4, 2, context, parse("Boolean")),theory, true);
    // 
    // testFunction(modelName, m,true);
    // 
    // modelName = "Random Model";
    // m = new Model(ModelGenerator.randomModel(8, 10, context, parse("Boolean")),theory, true);
    // 
    // testFunction(modelName, m,true);
    modelName = "Ising Model";
    List<List<TupleOfData>> listOdModelsToPrintInFile = new ArrayList<>();
    // m = new Model(IsingModel(20, 4, context, parse("Boolean")),theory, true);
    // List<InferenceResult> IsingModel2X2 = testing("IsingModel",m,2,2);
    // listOdModelsToPrintInFile.add(IsingModel2X2);
    // println("ok");
    // 
    // m = new Model(IsingModel(3, 3, context, parse("Boolean")),theory, true);
    // List<InferenceResult> IsingModel3X3 = testing("IsingModel",m,3,3);
    // listOdModelsToPrintInFile.add(IsingModel3X3);
    // println("ok");
    // 
    // m = new Model(IsingModel(3, 4, context, parse("Boolean")),theory, true);
    // List<InferenceResult> IsingModel3X4 = testing("IsingModel",m,3,4);
    // listOdModelsToPrintInFile.add(IsingModel3X4);
    // println("ok");
    // 
    // m = new Model(IsingModel(4, 4, context, parse("Boolean")),theory, true);
    // List<InferenceResult> IsingModel4X4 = testing("IsingModel",m,4,4);
    // listOdModelsToPrintInFile.add(IsingModel4X4);
    // println("ok");
    // 
    // //		m = new Model(IsingModel(4, 5, context, parse("Boolean")),theory, true);
    // //		List<InferenceResult> IsingModel4X5 = testing("IsingModel",m,4,5);
    // //		listOdModelsToPrintInFile.add(IsingModel4X5);
    // //		println("ok");
    // 
    // modelName = "Line Model";
    // m = new Model(lineModel(20, context, parse("Boolean")),theory, true);
    // List<InferenceResult> line10 = testing(modelName,m,4,5);
    // listOdModelsToPrintInFile.add(line10);
    // println("ok");
    modelName = "Binary Tree Model";
    m = new Model(IsingModel(4, 4, context, parse("Boolean")), theory, true);
    List<TupleOfData> btree = testing(modelName, m, 4, 5);
    listOdModelsToPrintInFile.add(btree);
    println("ok");
    testingAndWritingToFile(modelName + ".csv", listOdModelsToPrintInFile);
}
Also used : TrueContext(com.sri.ai.grinder.core.TrueContext) Context(com.sri.ai.grinder.api.Context) EqualityTheory(com.sri.ai.grinder.theory.equality.EqualityTheory) EqualityTheory(com.sri.ai.grinder.theory.equality.EqualityTheory) PropositionalTheory(com.sri.ai.grinder.theory.propositional.PropositionalTheory) LinearRealArithmeticTheory(com.sri.ai.grinder.theory.linearrealarithmetic.LinearRealArithmeticTheory) Theory(com.sri.ai.grinder.api.Theory) DifferenceArithmeticTheory(com.sri.ai.grinder.theory.differencearithmetic.DifferenceArithmeticTheory) CompoundTheory(com.sri.ai.grinder.theory.compound.CompoundTheory) TupleTheory(com.sri.ai.grinder.theory.tuple.TupleTheory) DifferenceArithmeticTheory(com.sri.ai.grinder.theory.differencearithmetic.DifferenceArithmeticTheory) LinearRealArithmeticTheory(com.sri.ai.grinder.theory.linearrealarithmetic.LinearRealArithmeticTheory) ArrayList(java.util.ArrayList) PropositionalTheory(com.sri.ai.grinder.theory.propositional.PropositionalTheory) CompoundTheory(com.sri.ai.grinder.theory.compound.CompoundTheory) TupleTheory(com.sri.ai.grinder.theory.tuple.TupleTheory) TrueContext(com.sri.ai.grinder.core.TrueContext) Model(anytimeExactBeliefPropagation.Model.Model) IsingModel(anytimeExactBeliefPropagation.ModelGenerator.IsingModel) ArrayList(java.util.ArrayList) List(java.util.List)

Aggregations

LinearRealArithmeticTheory (com.sri.ai.grinder.theory.linearrealarithmetic.LinearRealArithmeticTheory)21 Context (com.sri.ai.grinder.api.Context)13 DifferenceArithmeticTheory (com.sri.ai.grinder.theory.differencearithmetic.DifferenceArithmeticTheory)13 CompoundTheory (com.sri.ai.grinder.theory.compound.CompoundTheory)12 EqualityTheory (com.sri.ai.grinder.theory.equality.EqualityTheory)12 PropositionalTheory (com.sri.ai.grinder.theory.propositional.PropositionalTheory)12 Expression (com.sri.ai.expresso.api.Expression)9 TrueContext (com.sri.ai.grinder.core.TrueContext)9 TheoryTestingSupport (com.sri.ai.grinder.tester.TheoryTestingSupport)9 Test (org.junit.Test)9 TupleTheory (com.sri.ai.grinder.theory.tuple.TupleTheory)8 FunctionType (com.sri.ai.expresso.type.FunctionType)5 Theory (com.sri.ai.grinder.api.Theory)5 StepSolver (com.sri.ai.grinder.api.StepSolver)4 UnificationStepSolver (com.sri.ai.grinder.theory.base.UnificationStepSolver)4 Random (java.util.Random)3 Ignore (org.junit.Ignore)3 IndexExpressionsSet (com.sri.ai.expresso.api.IndexExpressionsSet)2 Type (com.sri.ai.expresso.api.Type)2 ExtensionalIndexExpressionsSet (com.sri.ai.expresso.core.ExtensionalIndexExpressionsSet)2