CSC421 Intro to AI - Unit 13 -
Inference First Order Logic
Don't get involved in partial
problems, but always take flight to where there
is a free view over the whole single great problem, even if this view
is still
not a clear one.
Ludwig Wittgenstein
Unit 13: Slides
Workplan
- Read AIMA Chapter sections 9.1, 9.2
- Do or at least think about exercise 9.3
- Read AIMA Chapter sections 9.1,9.2
- Do or at least think about exercises 9.2, 9.3, 9.4
-
Thinking about graduate school
- Read AIMA Chapter 9.1,9.2,9.6
- Do or at least think about exercises 9.2, 9.3, 9.4, 9.5
EXTRAS
Suggested book:
Godel, Escher Bach - An eternal golden briad - D. Hofstadter
A beautifully written book weaving philosophy, logic, AI, computer
science, biology, emergent systems, music and many other topics
and drawing non-obvious connections between them.
AI movie:
Stealth
Recent movie where an elite pilot team is joined by an AI plane.
Nice special effects.
Music played before lecture:
Mambo Birdland - Tito Puente (Mambo Birdland Live)