CS 6764

Last Updated

  • Schedule of Classes - January 31, 2019 7:14PM EST
  • Course Catalog - January 31, 2019 7:15PM EST

CS 6764
Reasoning about Knowledge

Course information provided by the 2018-2019 Catalog.

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.


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

When Offered Fall.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 16898 CS 6764   LEC 001

  •  

  • Instruction Mode: In Person