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

(44114 - Discrete Mathematics Ee and 94204 - Distributed Data and Rational Agents and 234218 - Data Structures 1) or (44114 - Discrete Mathematics Ee and 44268 - Int. to Data Structur and Algorithms and 94204 - Distributed Data and Rational Agents) or (44268 - Int. to Data Structur and Algorithms and 234292 - Logic For Cs and 234293 - Logic and Set Theory For Cs) or (44268 - Int. to Data Structur and Algorithms and 106156 - Mathematical Logic) or (94204 - Distributed Data and Rational Agents and 94226 - Introduction to Algorithms) or (94226 - Introduction to Algorithms and 234218 - Data Structures 1 and 234292 - Logic For Cs) or (94226 - Introduction to Algorithms and 106156 - Mathematical Logic) or (106156 - Mathematical Logic and 234218 - Data Structures 1) or (234218 - Data Structures 1 and 234292 - Logic For Cs and 234293 - Logic and Set Theory For Cs)


Course with no extra credit

49026 - Knowledge and Games in Distributed Sys.


Semestrial Information