Sumários
Bayesian networks
13 dezembro 2011, 11:00 • Rodrigo Ventura
Structure of Bayesian networks. Computing the joint probability distribution. Exact inference by enumeration.
Review
9 dezembro 2011, 17:00 • Rodrigo Ventura
Exercises from past test and exams, in preparation for second test.
Uncertain knowledge and Reasoning
6 dezembro 2011, 11:00 • Rodrigo Ventura
Probabilistic framework. Notions of utility and decision theories. Maximum expected utility. Review of probability theory.
SATplan
29 novembro 2011, 11:00 • Rodrigo Ventura
Flexibility of POP. Continual planning. Introduction to SATplan. Reduction from STRIPS to a SAT problem. Operator splitting. Effect and frame axioms. Factoring.
Lab assignment (extra due to strike)
25 novembro 2011, 17:00 • Rodrigo Ventura
Lab assignment #3: SAT transition phase and WalkSAT.