Gregory Wheeler
Department of Computer Science
Universidade Nova de Lisboa
grw@fct.unl.pt
course description:
Uncertainty is an unavoidable feature of our beliefs, evidence, and actions. To construct agents that deal with uncertainty intelligently, we must be able to represent salient features of each of several sources of uncertainty and construct logics for reasoning about those features. This course surveys several formalisms that may be used for these purposes.
primary course materials:
- Joseph Halpern. Reasoning about Uncertainty, MIT Press, 2003.
secondary course materials:
Course syllabus.