Package aima.core.logic.propositional.algorithms

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

107
108
109
110
111
112
113
114
115
116
117
  public void testMultipleClauseResolution() {
    // test (and fix) suggested by Huy Dinh. Thanks Huy!
    PLResolution plr = new PLResolution();
    KnowledgeBase kb = new KnowledgeBase();
    String fact = "((B11 <=> (P12 OR P21)) AND (NOT B11))";
    kb.tell(fact);
    plr.plResolution(kb, "(B)");
  }

  // public void testPLResolutionWithChadCarfBugReportData() {
  // commented out coz this needs a major fix wait for a rewrite
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
  }

  @Test
  public void testTTEntailsSucceedsWithChadCarffsBugReport() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
    kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
    kb.tell("(NOT B21)");
    kb.tell("(NOT B12)");
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
  @Test
  public void testTTEntailsSucceedsWithChadCarffsBugReport() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    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)");
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
  @Test
  public void testTTEntailsSucceedsWithChadCarffsBugReport() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    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)");
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
  public void testTTEntailsSucceedsWithChadCarffsBugReport() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    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)");
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    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.askWithTTEntails("(P00)"));
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
    kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    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.askWithTTEntails("(P00)"));
    Assert.assertFalse(kb.askWithTTEntails("(NOT P00)"));
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
    kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
    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.askWithTTEntails("(P00)"));
    Assert.assertFalse(kb.askWithTTEntails("(NOT P00)"));
  }
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
    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.askWithTTEntails("(P00)"));
    Assert.assertFalse(kb.askWithTTEntails("(NOT P00)"));
  }
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
  }

  @Test
  public void testDoesNotKnow() {
    KnowledgeBase kb = new KnowledgeBase();
    kb.tell("A");
    Assert.assertFalse(kb.askWithTTEntails("B"));
    Assert.assertFalse(kb.askWithTTEntails("(NOT B)"));
  }

  // public void testTTEntailsSucceedsWithCStackOverFlowBugReport() {
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.