CSC421 Intro to AI - Unit 14 -
Inference First Order Logic
Winston Churchill:: If you
don't study history, you are doomed to repeat it.
Tim Menzies:: If you don't study logic programming, you are doomed to
reinvent
it.
Unit 14: Slides
Workplan
- Read AIMA Chapter sections 9.3, 9.4
- Do or at least think about exercise 9.9
- Read AIMA Chapter sections 9.3, 9.4, 9.5
- Do or at least think about exercises 9.9, 9.10, 9.14
-
Thinking about graduate school
- Read AIMA Chapter 9.3, 9.4, 9.5, 9.6
- Do or at least think about exercises 9.9, 9.10, 9.14, 9.15
EXTRAS
Suggested book:
Alan Turing - The Enigma - Andrew Hodges
A biography of one of the pioneers of computers and AI.
AI movie:
Music played before lecture:
Barbary Coast - Weather Report (Black Market)