CSC421 Intro to AI - Unit 13 -
Inference First Order Logic
The greatest challenge to any thinker is
stating the problem in a way that will allow
a solution
Bertrand Russell
Unit 12: Slides
Workplan
- Read AIMA Chapter sections 8.3, 8.4
- Do or at least think about exercise 8.7
- Read AIMA Chapter sections 8.3, 8.4
- Do or at least think about exercises 8.7, 8.11
-
Thinking about graduate school
- Read AIMA Chapter 8.3, 8.4, 8.5
- Do or at least think about exercises 8.7, 8.11, 8.17, 8.18
EXTRAS
Suggested book:
The moon is a harsh mistress - R. Heinlein
Great sci-fi book starring Mike a reall cool almost omnipotent
computer.
AI movie:
Impostor
Nice sci-fi movie that didn't do so well. Based on a P. Dick story.
Music played before lecture:
Rumble in the jungle - Max Roach (Mboom)