Courses of Study 2020-2021 
    
    Jan 18, 2021  
Courses of Study 2020-2021
Add to Favorites (opens a new window)

CS 6764 - [Reasoning about Knowledge]


     
Fall. Not offered: 2020-2021. Next offered: 2021-2022. 4 credits. Student option grading.

Mathematical maturity and acquaintance with propositional logic.

Staff.

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.



Add to Favorites (opens a new window)