Package aima.core.logic.propositional.algorithms

Examples of aima.core.logic.propositional.algorithms.KnowledgeBase.tell()

144
145
146
147
148
149
150
151
152
153
154
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
    Assert.assertTrue(kb.askWithDpll("(P00)"));
    Assert.assertFalse(kb.askWithDpll("(NOT P00)"));
  }

  @Test
View Full Code Here
159
160
161
162
163
164
165
166
167
168
169
  }

  @Test
  public void testDPLLSucceedsWithChadCarffsBugReport2() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
  @Test
  public void testDPLLSucceedsWithChadCarffsBugReport2() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
View Full Code Here
161
162
163
164
165
166
167
168
169
170
171
  @Test
  public void testDPLLSucceedsWithChadCarffsBugReport2() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
  public void testDPLLSucceedsWithChadCarffsBugReport2() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
    Assert.assertTrue(kb.askWithDpll("(P00)"));
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
    Assert.assertTrue(kb.askWithDpll("(P00)"));
    Assert.assertFalse(kb.askWithDpll("(NOT P00)"));
View Full Code Here
164
165
166
167
168
169
170
171
172
173
174
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
    Assert.assertTrue(kb.askWithDpll("(P00)"));
    Assert.assertFalse(kb.askWithDpll("(NOT P00)"));
  }
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
    Assert.assertTrue(kb.askWithDpll("(P00)"));
    Assert.assertFalse(kb.askWithDpll("(NOT P00)"));
  }
View Full Code Here
166
167
168
169
170
171
172
173
174
175
176
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
    kb.tell("(B10)");
    kb.tell("(B01)");
    Assert.assertTrue(kb.askWithDpll("(P00)"));
    Assert.assertFalse(kb.askWithDpll("(NOT P00)"));
  }

  @Test
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
  }

  @Test
  public void testDoesNotKnow() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("A");

    Assert.assertFalse(kb.askWithDpll("B"));
    Assert.assertFalse(kb.askWithDpll("(NOT B)"));
  }
}
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.