Unification, Resolution for theorem proving. So you've represented your knowledge. You are smug about the crystal clear formalization of what it all means. Probability is very very important in almost all areas of intelligent systems research. You'll meet it many times in the course, so if you want a refresher on the basics, come to this session.
Probability is the way to go if there's uncertainty to be represented.
I guarantee that Bayes Rule will be used at least 100 times in this lecture. Inference in Belief Networks. In this class we will hear tales from the front lines. An evening session for students who have not previously had an intimate relationship with Breadth First Search, Depth First Search, and other Uninformed Search Algorithms on discrete finite graphs. The guts of A-star search.