People

Prof. Dr. Jürgen Dix
Dipl.-Inf. Nils Bulling

Overview of the course

The module gives a broad overview of theoretical aspects important for multi-agent systems where the focus is on decision making techniques and logical approaches. The decision making part is comprised of game theoretical approaches, voting mechanisms and auctions. It is shown how these tools can be used to analyze the behavior of agents and as a means to make rational decisions and agreements. The theory of mechanism design is also presented along with its main results and techniques. The part on logics begins with a brief recall of propositional logic and gives an overview of the main ingredients of modal logic. Then, more advanced logics used for temporal systems and multi-agent systems are presented. In the last section it is shown how first-order logic and temporal logic can be used to program agents.

Important

• First Lecture: tba
• Registration: Please subscribe in the StudIP system.