Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter

• Applicant: Professor Dr. Michael Thielscher
• Subject Area: Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing
• Term: from 2001 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5272240

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.

• DFG Programme: Research Grants