CS 6764

Course information provided by the Courses of Study 2014-2015.

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 include common knowledge, knowledge-based programs, applying knowledge to analyzing distributed systems, attainable states of knowledge, modeling resource-bounded reasoning, and connections to game theory.

When Offered Spring.

Prerequisites/Corequisites Prerequisites: mathematical maturity and acquaintance with propositional logic.

View Enrollment Information

Enrollment Information
Syllabi: none

  • 4 Credits Stdnt Opt

  • 16831CS 6764  LEC 001