Logic and Computation foundational course:
Logics of Rational Agency.
Teacher
- Eric Pacuit ()
Course material: lori-notes.pdf
Abstract:
Thinking about rational agents interacting over time is at the
center of many research communities represented at ESSLLI. This
course will introduce the main research themes and conceptual
issues surrounding rational agency. The primary objective is to
understand the complex phenomena that arise when rational
agents interact and how to incorporate these phenomena into
formal models. Studying rational agents involves many different
aspects including (but not limited to) action, knowledge,
belief, desires, and revision. This course covers all these
ingredients toward the goal of understanding how these things
work together. Specific topics that will be introduced during
the course include 1. logics of knowledge and belief,
2. information dynamics and belief revision, 3. logics of
preference and preference change, 4. logics of motivational
mental attitudes, and 5. logics of individual and collective
action and 6. group phenomena and issues of social choice. In
fact, not all parts of this story have been developed within
one single discipline. The course will also bring together
several research programs: from philosophy, computer science,
logic, and game theory, and try to see their various
contributions in one coherent manner.
http://ai.stanford.edu/~epacuit/classes/esslli/log-ratagency.html