Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter

点击翻译按钮获取中文摘要

Ziel des Vorhabens ist die Entwicklung einer theoretisch fundierten, ausdrucksstarken höheren Axiomatisierungssprache für intelligente Softwareagenten und autonome Roboter basierend auf der in den letzten drei Jahren mit großem Erfolg vorangetriebenen Theorie des Fluentkalküls...Die zu entwickelnde Axiomatisierungssprache ALAUN soll zum einen dem Programmierer eine Methodik zur Spezifikation der Auswirkungen der Elementaraktionen auf die jeweilige Umgebung des Agenten oder Roboters zur Verfügung stellen. Des Weiteren soll die Sprache Programme unterstützen, die in hohem Grade nichtdeterministisch sind und damit lediglich den erwähnten Handlungsrahmen vorgeben. Ein Softwareagent oder ein Roboter muß dann in der Lage sein, aufgrund der spezifizierten Theorie bezüglich der Effekte seiner Aktionen selbständig eine geeignete Ausführung des nichtdeterministischen Programms zu wählen. Dies erfordert eine umfassende Theorie des automatisierten logischen Schließens über Aktionen, wie sie der Fluentkalkül in eingeschränktem Maße bereits heute darstellt. die Erweiterung dieser Theorie sowie ihre Verwendung als Grundlage für Syntax, Semantik und Implementierung von ALAN ist das Ziel des Vorhabens.