Entwicklung einer Axiomatisierungssprache für autonome Agenten und Roboter

开发自主代理和机器人的公理化语言

• 批准号: 5272240
• 负责人: Professor Dr. Michael Thielscher
• 金额: --
• 依托单位: School of Computer Science and Engineering
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5272240?language=en
• 关键词: Entwicklung; einer; Axiomatisierungssprache; autonome; Agenten

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.

Ziel des Vorhabens ist die Entwicklung einer theortisch fundditen， ausdrucksstarken höheren Axiomatisierungssprache fbr智能软件代理和自主机器人baserend auder in den letzten drei Jahren mit großem Erfolg vorangetriebenen Theorie des fluentkalk<e:2> ls…2 .计算机科学：计算机科学：系统科学：程序科学：方法科学：系统科学：基本科学：系统科学：系统科学：机器科学：系统科学：机器科学：系统科学：系统科学。在hohem等级的夜间确定性研究中，研究人员发现了一种新的研究方法，并将其命名为erwähnten handlungshrahmen vorgeben。Ein Softwareagent der der robot musisdann in der age sein, augrund der speizizizerten Theorie bezglich der Effekte seiner Aktionen selbständig egeeignete ausf<s:1> hrung des nichtdeterministischen programs zu wählen。在德国，自动化逻辑理论在德国，自动化逻辑在德国，自动化逻辑在德国，自动化逻辑在德国，自动化逻辑在德国，自动化逻辑在德国，自动化逻辑在德国，自动化逻辑在德国，自动化逻辑在德国。[2]语法、语义和实现理论在语法、语义和实现上的应用。