II - Multi-agent systems

Many complex problems in our information society demand different kinds of expertise, for example in Air Traffic Control or the ambulance control room. For such domains it is useful to design systems in which a number of autonomous computer systems, or agents, cooperate: multi-agent systems. Multi-agent systems form a strongly growing field of research in AI, providing a new method to analyze, design and implement complex software systems. In our institute, the emphasis lies on formal modeling of key aspects of multi-agent systems. These formal models play an important role in specifying and verifying multi-agent systems. The research in this subprogramme is related to the national graduate schools SIKS and LOGICA.

back