Reasoning about Rational Agents

3 credits

Selected topics in reasoning about rational agents. The focus is on various advanced topics in knowledge representation and reasoning and multi-agent systems including but not limited to formalization of actions, knowledge, other mental states and their dynamics in various logics, rational agent programming languages, root cause analysis, abstraction mechanisms etc.