CS 6764: Reasoning About Knowledge

Cross-Listing: Not cross-listed.

Knowledge plays a crucial role in distributed systems, game theory, and artificial intelligence. Material examines formalizing reasoning about knowledge and the extent to which knowledge is applicable to those areas. Issues: common knowledge, knowledge-based programs, applying knowledge to analyzing distributed systems, attainable states of knowledge, modeling resource-bounded reasoning, and connections to game theory.

Offered: Fall only

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

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs676/2007fa
  • Joseph Halpern
• http://www.cs.cornell.edu/courses/cs676/2003fa
  • Joseph Halpern
• http://www.cs.cornell.edu/courses/cs676/2000fa
  • Joseph Halpern