Basic Information
This Course Presents The Theory of Knowledge in Distributed Systems And Illustrates Its Usage in The Design and Analysis of Distributed Computer Programs and of Multi-player Games. The Topics Covered Include# Possible-worlds Semantics For Modal Logics, Modelling Of Distributed Systems Via Interpreted Systems, Modal Logics of Knowledge And Time, Single-agent Knowledge, Common Knowledge And Other States of Group Knowledge, The Use of Knowledge in Game Theory, and Applications of Knowledge Theory in The Design And Analysis of Distributed Protocols and Games. Learning Outcomes# By The End of The Course The Students Will# - Posses Effective Tools For The Design and Analysis of Distributed And Multi-agent Systems Using The Notion of Knowledge and Its Erivatives.
Faculty: Computer Science
|Undergraduate Studies
|Graduate Studies
Pre-required courses
(44268 - Int. to Data Structur and Algorithms and 234292 - Logic For Cs) or (44268 - Int. to Data Structur and Algorithms and 106156 - Mathematical Logic) or (44268 - Int. to Data Structur and Algorithms and 94204 - Distributed Data and Rational Agents) or (94204 - Distributed Data and Rational Agents and 234218 - Data Structures 1) or (94204 - Distributed Data and Rational Agents and 94226 - Introduction to Algorithms) or (94226 - Introduction to Algorithms and 106156 - Mathematical Logic) or (94226 - Introduction to Algorithms and 234292 - Logic For Cs) or (106156 - Mathematical Logic and 234218 - Data Structures 1) or (234218 - Data Structures 1 and 234292 - Logic For Cs)
Course with no extra credit
49026 - Knowledge and Games in Distributed Sys.