Course #2: Reasoning about knowlegde

Learning from book names the same by  Ronald Faigin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi.

Duration: Two Days,

Day 1: Chapters 1 to 6 and Day 2: Chapters 7 to 11

1. Introduction and Overview.
2. A Model for Knowledge.
3. Completeness and Complexity.
4. Knowledge in Multi-Agent Systems.
5. Protocols and Programs.
6. Common Knowledge and Agreement.
7. Knowledge-Based Programming.
8. Evolving Knowledge.
9. Logical Omniscience.
10. Knowledge and Computation.
11. Common Knowledge Revisited.

This course investigates reasoning about knowledge