def test_simple_sentence6(self): kb = KnowledgeBase() kb.tell_str("NOT A") tte = TTEntails() result = tte.tt_entails(kb, "A") self.assertFalse(result)
def test_unknown_symbol(self): kb = KnowledgeBase() kb.tell_str("(A => B) AND B") tte = TTEntails() result = tte.tt_entails(kb, "X") self.assertFalse(result)
def test_simple_sentence3(self): kb = KnowledgeBase() kb.tell_str("(A => B) AND A") tte = TTEntails() result = tte.tt_entails(kb, "B") self.assertTrue(result)
def test_aima_example(self): kb = KnowledgeBase() kb.tell_str("(NOT P11)") kb.tell_str("(B11 <=> (P12 OR P21))") kb.tell_str("(B21 <=> ((P11 OR P22) OR P31))") kb.tell_str("(NOT B11)") kb.tell_str("(B21)") tte = TTEntails() self.assertTrue(tte.tt_entails(kb, "NOT P12")) self.assertFalse((tte.tt_entails(kb, "P22")))