Package aima.core.logic.propositional.algorithms

Examples of aima.core.logic.propositional.algorithms.Model

33
34
35
36
37
38
39
40
41
42
43
44
    dpll = new DPLL();
  }

  @Test
  public void testDPLLReturnsTrueWhenAllClausesTrueInModel() {
    Model model = new Model();
    model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
        true);
    Sentence sentence = (Sentence) parser.parse("((A AND B) AND (A OR B))");
    boolean satisfiable = dpll.dpllSatisfiable(sentence, model);
    Assert.assertEquals(true, satisfiable);
  }
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
54
    Assert.assertEquals(true, satisfiable);
  }

  @Test
  public void testDPLLReturnsFalseWhenOneClauseFalseInModel() {
    Model model = new Model();
    model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
        false);
    Sentence sentence = (Sentence) parser.parse("((A OR B) AND (A => B))");
    boolean satisfiable = dpll.dpllSatisfiable(sentence, model);
    Assert.assertEquals(false, satisfiable);
  }
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
64
    Assert.assertEquals(false, satisfiable);
  }

  @Test
  public void testDPLLFiltersClausesTheStatusOfWhichAreKnown() {
    Model model = new Model();
    model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
        true);
    Sentence sentence = (Sentence) parser
        .parse("((A AND B) AND (B AND C))");
    List<Sentence> clauseList = new Converter<Sentence>()
        .setToList(new CNFClauseGatherer()
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
    clausesWithNonTrueValues.contains(nonTrueClause);
  }

  @Test
  public void testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown() {
    Model model = new Model();
    model = model.extend(new Symbol("A"), true)
        .extend(new Symbol("B"), true).extend(new Symbol("C"), true);
    Sentence sentence = (Sentence) parser
        .parse("((A AND B) AND (B AND C))");
    List<Sentence> clauseList = new Converter<Sentence>()
        .setToList(new CNFClauseGatherer()
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
98
    Assert.assertEquals(0, clausesWithNonTrueValues.size());
  }

  @Test
  public void testDPLLFindsPurePositiveSymbolsWhenTheyExist() {
    Model model = new Model();
    model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
        true);
    Sentence sentence = (Sentence) parser
        .parse("((A AND B) AND (B AND C))");
    List<Sentence> clauseList = new Converter<Sentence>()
        .setToList(new CNFClauseGatherer()
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
    Assert.assertEquals(new Boolean(true), sv.value);
  }

  @Test
  public void testDPLLFindsPureNegativeSymbolsWhenTheyExist() {
    Model model = new Model();
    model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
        true);
    Sentence sentence = (Sentence) parser
        .parse("((A AND B) AND ( B  AND (NOT C) ))");
    List<Sentence> clauseList = new Converter<Sentence>()
        .setToList(new CNFClauseGatherer()
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
  }

  @Test
  public void testIssue66() {
    // http://code.google.com/p/aima-java/issues/detail?id=66
    Model model = new Model();
    model = model.extend(new Symbol("A"), false)
        .extend(new Symbol("B"), false).extend(new Symbol("C"), true);
    Sentence sentence = (Sentence) parser.parse("((A OR B) OR C)");
    Assert.assertTrue(dpll.dpllSatisfiable(sentence, model));
  }
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
    kb.tell("(B11 <=> (P12 OR P21))");
    kb.tell("(B21 <=> ((P11 OR P22) OR P31))");
    kb.tell("(NOT B11)");
    kb.tell("(B21)");

    Model model = new Model();
    model = model.extend(new Symbol("B11"), false);
    model = model.extend(new Symbol("B21"), true);
    model = model.extend(new Symbol("P11"), false);
    model = model.extend(new Symbol("P12"), false);
    model = model.extend(new Symbol("P21"), false);
    model = model.extend(new Symbol("P22"), false);
    model = model.extend(new Symbol("P31"), true);

    Sentence kbs = kb.asSentence();
    Assert.assertEquals(true, model.isTrue(kbs));
  }
View Full Code Here
29
30
31
32
33
34
35
36
37
38
39
40
    System.out.println("((A AND B) => L)");
    System.out.println("(A)");
    System.out.println("(B)");

    WalkSAT walkSAT = new WalkSAT();
    Model m = walkSAT.findModelFor(kb.asSentence().toString(), 1000, 0.5);
    if (m == null) {
      System.out.println("failure");
    } else {
      m.print();
    }
  }
View Full Code Here
28
29
30
31
32
33
34
    falseSentence = (Sentence) parser.parse("false");
    andSentence = (Sentence) parser.parse("(P  AND  Q)");
    orSentence = (Sentence) parser.parse("(P  OR  Q)");
    impliedSentence = (Sentence) parser.parse("(P  =>  Q)");
    biConditionalSentence = (Sentence) parser.parse("(P  <=>  Q)");
    m = new Model();
  }
View Full Code Here
TOP

Related Classes of aima.core.logic.propositional.algorithms.Model

  • aima.gui.demo.logic.WalkSatDemo
  • aima.test.core.experiment.logic.propositional.algorithms.WalkSATTest
  • aima.test.core.unit.logic.propositional.algorithms.DPLLTest
  • aima.test.core.unit.logic.propositional.algorithms.ModelTest
  • aima.test.core.unit.logic.propositional.algorithms.TTEntailsTest
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.