Deductive design, analysis and verification of multi-agent systems for RoboCup

Die Erstellung von Software für kooperierende Teams mobiler Roboter stellt hohe Anforderungen.因此，一个人必须对系统进行反应，以确保韦尔登的安全，并使合作更加有效地减少复杂性。多智能体系统集成、分析和验证的形式化方法。我们将开始一项新的工作，并将启动多代理系统，正式开始工作，并将继续工作。统一建模语言（UML）的开发、逻辑编程和中间件的高级解决方案是韦尔登的一部分。Damit ist in einem weiteren Schritt die Analyse und Verifikation von Multiagenten-Systemen durchführbar，indem Temporal- bzw. dynamische Logiken und Methoden aus dem Model Checking für den hier vorgesehenen Zweck（weiter）entwickelt韦尔登。这是一个非常强大的系统，移动机器人系统可以集成韦尔登。Dies soll konkret für die RoboCup-simulation sowie für echte Roboter vom Typ Sony Aibo Dog durchgeführt韦尔登.最后，这个项目是一个系统，它的开发和实施是一个多智能体系统协作的移动机器人，也是一个正式的分析和验证。

Die Erstellung von Software für kooperierende Teams mobiler Roboter stellt hohe Anforderungen. Zum einen muss eine Reaktion des Systems in Echtzeit garantiert werden und zum anderen erhöht die Kooperation mehrerer Agenten miteinander die Komplexität. Formale Methoden zu Entwurf, Analyse und Verifikation von Multiagenten-Systemen existieren bisher kaum. Wir wollen ein Verfahren entwickeln, welches es erlaubt, Multiagenten-Systeme formal zu entwerfen und diesen Entwurf auch ausführbar zu machen. Hierzu sollen Techniken aus der Deduktion und Logikprogrammierung und Mittel der Unified Modelling Language (UML) eingesetzt werden. Damit ist in einem weiteren Schritt die Analyse und Verifikation von Multiagenten-Systemen durchführbar, indem Temporal- bzw. dynamische Logiken und Methoden aus dem Model Checking für den hier vorgesehenen Zweck (weiter) entwickelt werden. Insgesamt ist so ein Systementwurf möglich, der in Systeme mobiler Roboter integriert werden kann. Dies soll konkret für die RoboCup-Simulation sowie für echte Roboter vom Typ Sony Aibo Dog durchgeführt werden. Am Ende dieses Projekts steht ein System, das neben dem Entwurf und der Implementierung eines Multiagenten-Systems kooperierender mobiler Roboter auch dessen formale Analyse und Verifikation erlaubt.