11 Artificial Intelligence CS 165A Thursday, October 25, 2007  Knowledge and reasoning (Ch 7) Propositional logic ppt download

Por um escritor misterioso

Descrição

33 Notes HW#2 posted, due Tuesday –5x5 Tic Tac Toe game –Can work in teams of two, but different partner than in HW#1 –Can use your (or your team’s) code from HW#1 as starting point –You’ll need to use a heuristic to evaluate positions and go down N ply in your search so that the program returns an answer in a “short” amount of time  About 10 seconds maximum. ___________ |X|O|X|X|X| | |O|O|X| | | | |O|X| | | | | |O| | | | | | |O| ¯¯¯¯¯¯¯¯¯¯¯ 3 in a row : 1 point 4 in a row : 3 points 5 in a row : 5 points X : 2 points O : 3 points
27 Inference in Propositional Logic Three ways to answer: Is Mary the grandparent of Ann –One way:  Find sentence P ( Mary is the grandparent of Ann ) in KB –Another way:  Put sentence  P in the KB, and use inference rules to prove a contradiction (false) –Yet another way:  Find sentence Q ( Mary is parent of Frank ), sentence R ( Frank is the parent of Ann ), and sentence Q  R  S, where S is the proposition Mary is grandparent of Ann  Then apply modus ponens: Q  R  S, Q  R to conclude S ( Mary is the grandparent of Ann ) If Mary is the parent of Frank and Frank is the parent of Ann, then Mary is the grandparent of Ann