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