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
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
Propositional Logic: The Resolution Refutation Method
PDF) Denied Inclusion for prejudiced women, pp.139-149
11 Artificial Intelligence CS 165A Thursday, October 25, 2007 Knowledge and reasoning (Ch 7) Propositional logic ppt download
Logical Agents
11 Artificial Intelligence CS 165A Thursday, October 25, 2007 Knowledge and reasoning (Ch 7) Propositional logic ppt download
Propositional logic sent
196 Chapter 7. Logical Agents - PDF Free Download
11 Artificial Intelligence CS 165A Thursday, October 25, 2007 Knowledge and reasoning (Ch 7) Propositional logic ppt download
196 Chapter 7. Logical Agents - PDF Free Download
Logical Agents
de
por adulto (o preço varia de acordo com o tamanho do grupo)
