Lectures Held on a Regular Basis

Please click here to find the lectures that are held on a regular basis. This information can be used to create a study plan. However, this information is tentative, i.e. always check the lectures of the current and next semester to keep the study plan up to date.

Lectures of the Current Semester

Module details on 'Multi-Agent Systems - Multi-Agent Systems'

CategoryTheoretical Foundations
LecturerProf. Dr. Dix, Jürgen (Clausthal)
Module Exam ID1030
Weekly Composition2L+2E
Required Hours of Work (presence / self-study)125 (42 / 83)
Semesterperiodically, according to student demand and staff specialisms
Teaching MethodsBeamer presentation, whiteboard, homework
Module DescriptionThe 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. Contents: • Introduction. Agents and formal descriptions • Basic Architectures. Reactive agents, BDI-architectures, agent-oriented programming, layered architectures • Decision Making I. Non-cooperative game theory • Decision Making II. Voting, auctions, and market mechanisms • Nets and Coalitions. Contract nets, coalition formation, Payoff division • Mechanism Design. Gibbard-Satterthwaite theorem, algorithmic MD, truthful, Bayes-Nash equilibrium • Modal Logic. S5 logics, Kripke semantics, S5 axioms, normative reasoning • Action/Time as Modalities. Linear and branching-time logics, dynamic logic, ATL, BDI, verification of systems
Module OutcomesOn completion of this module, the student should be able to - explain and compare basic agent based architectures. - understand decision making techniques based on game theory, voting, and auctions. - know about task allocation and coalition formation methods. - understand the principles of propositional logic, modal logics, and extensions of it and how they can be used for multi-agent systems.
Recommended Literature- Y. Shoham, and K. Leyton-Brown. Multi Agent Systems. MIT Press, 2007. - G. Weiss. Multi-agent Systems, 1999. - M. Wooldridge. An introduction to Multi Agent Systems. John Wiley & Sons, 2002. - M. Wooldridge. Reasoning about Rational Agents. MIT Press, 2000. - Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004.
PrerequisitesThe module presumes a prior understanding of formal languages and theoretical foundations as, for example, acquired through an introductory module on theoretical computer science at undergraduate level.
ExamWritten or oral exam, graded (Written (120) / oral (25 min))

Available Course Modes

In the following document you can get an overview about the available course modes that are offered in the ITIS Master's program: Course Modes