Logical analysis and formal verification of open and interactive multi-agent systems


Interaktive Systeme sind Informationsverarbeitende Systeme, die zwei oder mehr relativ autonome Agenten involvieren, welche miteinander interagieren müssen, um ihre Ziele zu erreichen (z.B. in Rechnernetzen, Produktionsstraßen, Handelsbörsen usw.). Als wichtigstes Beispiel sind hier offene Systeme zu nennen, die dazu konstruiert werden, mit einer Umgebung zusammenzuarbeiten, welche im Voraus nicht oder nur teilweise bekannt ist oder sogar teilweise konträre Ziele verfolgt. Obwohl solche Systeme von enormer praktischer Relevanz sind, ist ihr Entwurf und der Nachweis der korrekten Funktionalität meist recht aufwändig, da die verfügbaren wissenschaftlichen Methoden nicht genügend ausgereift sind. In diesem Projekt geht es darum, formale logische Methoden und Werkzeugrahmen zu entwickeln, mit denen Wissen, Kommunikation, Ziele, Handlungen sowie Strategien von Agenten und Koalitionen in interaktiven Multiagentensystemen formalisiert werden können, und um die formale Spezifikation und Verifikation von Eigenschaften solcher Systeme. Diese grundlagenorientierten Forschungsarbeiten bilden die Basis neuer Programmierparadigmen für die nächste Generation ubiquitärer, intelligenter Geräte.


Principal Investigators
Schlingloff, Holger Prof. Dr. (Details) (Software Engineering)

Duration of Project
Start date: 06/2009
End date: 04/2012

Last updated on 2020-13-03 at 23:05