def test_4(self): homework3.queries, homework3.KB_sentences = [], [] homework3.getInputs(homework3.queries, homework3.KB_sentences, 'tests/input12.txt') a = homework3.resolve('Animal(Tuna)', set()) a = homework3.resolve('AnimalLover(Jack)', set()) a = homework3.resolve('~Kills(Jack,Tuna)', set()) self.assertNotEqual(False, homework3.resolve('Kills(Curiosity,Tuna)', set()))
def test_2(self): homework3.queries, homework3.KB_sentences = [], [] homework3.getInputs(homework3.queries, homework3.KB_sentences, 'tests/input2.txt') a = homework3.apply_unifiers('Ancestor(x,z)', {'x': 'Liz', 'z': 'Joe'}) self.assertNotEqual(False, homework3.resolve('Ancestor(Liz,Billy)', set())) self.assertEqual(False, homework3.resolve('Ancestor(Liz,Joe)', set()))
def test_input(self): homework3.queries, homework3.KB_sentences = [], [] homework3.getInputs(homework3.queries, homework3.KB_sentences, 'input.txt') #a = homework3.findDNFInWhichQueryExists('C(PHD,PHD)', ~A(x,y) | ~B(z,w) | C(x,w)) a = homework3.resolve('A(PHD,x)', set()) a = homework3.resolve('B(x,PHD)', set()) a = homework3.resolve('C(PHD,PHD)', set()) pass
def test_5(self): homework3.queries, homework3.KB_sentences = [], [] homework3.getInputs(homework3.queries, homework3.KB_sentences, 'tests/input13.txt') self.assertNotEqual(False, homework3.resolve('L(Tony,Snow)', set()))
def test_1(self): homework3.queries, homework3.KB_sentences = [], [] homework3.getInputs(homework3.queries, homework3.KB_sentences, 'tests/input1.txt') a = homework3.resolveIfLiteralPresent('B(John,y)') a = homework3.resolveIfLiteralPresent('D(Joe,y)') a = homework3.resolve('B(John,x)', set()) a = homework3.resolve('C(John,Joe)', set()) a = homework3.resolve('A(John)', set()) a = homework3.resolve('D(x,Alice)', set()) a = homework3.resolve('~H(Alice)', set()) self.assertEqual(False, homework3.resolve('F(Joe)', set())) self.assertNotEqual(False, homework3.resolve('H(John)', set())) self.assertNotEqual(False, homework3.resolve('~H(Alice)', set())) self.assertEqual(False, homework3.resolve('~H(John)', set())) self.assertEqual(False, homework3.resolve('G(Joe)', set())) self.assertNotEqual(False, homework3.resolve('G(Tom)', set()))
def test_3(self): homework3.queries, homework3.KB_sentences = [], [] homework3.getInputs(homework3.queries, homework3.KB_sentences, 'tests/input3.txt') self.assertNotEqual(False, homework3.resolve('Criminal(West)', set())) pass