Instructor: Yoav Shoham
Meeting Times: Mondays, 2:15PM - 4:05PM
First Class: Monday, March 29
Homework 3 is now available. It is due on May 26. This is also a reminder that the final paper is due on June 4 at noon. Feel free to talk to one of us about paper ideas.
Office Hours: By Arrangement
Office: Gates 140
Office Hours: By Arrangement
Office: Building 100, Room 102K
Note that the course is not intended as a general introduction to knowledge representation. A more descriptive course title would have been "Rationality and (Mostly Modal) Logic". Administratively, the course is 3 units and is the merging of two courses, CS 222 and Phil 358. (You can register for either, and the requirements are the same regardless.)
Recitation sessions will be on Wednesday from 2:15 to 3:05 in 260-004. The topic for each session will be announced in class on Monday.
|3/29||Introduction to the course, basic modal logic, epistemic logic S5.||
|4/5||Multiagent epitemic logic: common knowledge, distributed knowledge, etc.||
|4/12||Logics of Belief: KD45, and combinations of knowledge and belief.||
|4/19||Belief dynamics: belief revision, belief update, nonmonotonic logics, and probabilistic models||
|4/21||Iterated Belief Revision||
|4/26||Time, action, and agency||
|5/3||Dynamic Logic, Epistemic actions, Public Announcements, and Dynamic Epistemic Logic||
|5/17||Preferences and Game Theory.|
|5/24||Group ability and coalitional game theory||
|5/4||Reasoning about preferences||
|5/11||Epistemic dynamics: dynamic epistemic logic, epistemic temporal logic, belief change, preference change||
|5/25||No Classes (Memorial Day)|
|6/1||Logic and game theory
(Lecturer: Johan van Benthem)
Additional Reading MaterialBelow is a list of some additional reading material related to some of the topics we will discuss in this course. This is not a complete list of all relevant material, but a reasonably large sampling.
- We focus on Chapter 13 & 14 in this class, but there is other material relevant for this course in the book.
- Yoav Shoham and Kevin Leyton-Brown, Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations, Cambridge University Press, 2009.
- A modern introduction to modal logic.
- Patrick Balckburn and Johan van Benthem, A Semantic Introduction to Modal Logic in: Handbook of Modal Logic, P. Blackburn, J. van Bentem and F. Wolter editors, Elsevier, 2007 (pdf)
- Notes on basic modal logic from Phil 151.
- Eric Pacuit, Notes on Modal Logic (pdf)
- An essay bringing together many of the themes discussed in this course.
- Johan van Benthem, Information Dynamics, Rational Agency and Intelligent Interaciton Chapter 1 in Logical Dynamics of Information and Interaction, forthcoming
- A textbook focused on epistemic logic.
- R. Fagin, J. Halpern, Y. Moses and M. Vardi, Reasoning About Knowledge, MIT Press (1995)
- A recent textbook focused on many of the issues we discussed in this course.
- H. van Ditmarsch, W. van der Hoek and B. Kooi, Dynamic Epistemic Logic
- A paper which provides an relatively up-to-date survey of the literature on BDI models.
- W. van der Hoek and M. Wooldridge, Towards a logic of rational agency, Logic Journal of the IGPL, Vol. 11 No. 2, pp. 133-157 (pdf)
Attendance and participation in class will contribute toward the final grade. Attendance in recitation sessions is obligatory, to the extent that students will be held resonsible for (new) material covered. It will be announced in class on Mondays what the recitation that week will cover.
There will also be three homework assignments, distributed throughout the quarter. The homework collectively will be worth the same as the final paper in calculating the course grade.