CS 6766: Reasoning About Uncertainty

Cross-Listing: Not cross-listed.

Examines formalizing reasoning about and representing uncertainty, using formal logical approaches as a basis. Topics: logics of probability, combining knowledge and probability, probability and adversaries, conditional logics of normality, Bayesian networks, qualitative approaches to uncertainty, going from statistical information to degrees of belief. Connections to game theory.

Offered: Fall only

Prerequisites: mathematical maturity and an acquaintance with propositional logic. Offered in odd-numbered years.

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs677/2005fa
• http://www.cs.cornell.edu/courses/cs677/1999fa
  • Joseph Halpern