askWithDpll() public method

public askWithDpll ( String queryString ) : bool
queryString String
return bool
KnowledgeBase Class Documentation
Example #1
0
        public void testDoesNotKnow()
        {
            KnowledgeBase kb = new KnowledgeBase();
            kb.tell("A");

            Assert.IsFalse(kb.askWithDpll("B"));
            Assert.IsFalse(kb.askWithDpll("(NOT B)"));
        }
Example #2
0
 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.IsTrue(kb.askWithDpll("(P00)"));
     Assert.IsFalse(kb.askWithDpll("(NOT P00)"));
 }