Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen und ihre Anwendung zur Beschreibung von Services im Semantischen Web

结合动作形式主义和描述逻辑来开发推理复杂结构化环境中的动作的方法及其在语义网中描述服务的应用

• 批准号: 5449891
• 负责人: Professor Dr.-Ing. Franz Baader
• 金额: --
• 依托单位: Professur für Automatentheorie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5449891?language=en
• 关键词: Kombination; von; Aktionsformalismen; und; Beschreibungslogiken

Intelligente Systeme, die in ein Umfeld eingebunden sind und mit diesem interagieren, müssen fortlaufend entscheiden, welche Aktionen zu einem gegebenen Zeitpunkt möglich und sinnvoll sind. Um solche Handlungsentscheidungen fällen zu können, müssen die Systeme ihre Umgebung geeignet repräsentieren, und sie müssen über die Auswirkungen ihrer Aktionen auf ihre Umgebung schlussfolgern können. Ziel der Kombination von Aktionsformalismen und Beschreibungslogik ist es, effiziente Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen zu entwickeln. Dazu sollen Aktionsformalismen untersucht werden, die aus dem Fluentkalkül dadurch entstehen, dass ihre Basislogik von Prädikatenlogik erster Stufe auf eine geeignete Beschreibungslogik eingeschränkt wird. Aus Sicht der Aktionsformalismen soll durch diese Einschränkung zum einen das Erstellen von Aktions- und Umgebungsbeschreibungen durch Verwendung von Beschreibungslogikeditoren wie OilEd erleichtert werden. Zum anderen ist zu hoffen, dass dadurch - im Unterschied zum vollen Fluentkalkül - relevante Schlussfolgerungsprobleme (wie die Konsistenz einer Umgebungsbeschreibung, die Anwendbarkeit einer Aktion in einem bestimmten Zustand, die Möglichkeit des Übergangs von einem Zustand in einen anderen, etc.) entscheidbar werden. Diese Beschreibungen und Berechnungsmethoden sollen in Sprachen zur Programmierung komplexer Handlungsstrategien (insbesondere FLUX) integriert werden. Aus Sicht der Beschreibungslogik erhält man eine Erweiterung, die es erlaubt, dynamische Umgebungen zu beschreiben. Im Gegensatz zu ad-hoc-Erweiterungen von Beschreibungslogiken um dynamische Aspekte kann dadurch auf die Resultate der langjährigen Forschung zu Aktionsformalismen (z.B. die Lösung des Frame-Problems) zurückgegriffen werden. Als motivierendes Beispiel, das z.B. bei der Entscheidung, welches die geeignete Beschreibungslogik ist, herangezogen werden kann, soll das Problem der Beschreibung der Semantik von Services im Semantischen Web verwendet werden.

智能系统，死在一个Umfeld eingebunden sind和mit diesem interagieren，müssen fortlaufend entscheiden，welche Aktionen zu einem gegebenen Zeitpunkt möglich and sinnvoll sind。Um solche Handlungsentscheidungen fällen zu können，müssen die Systeme ihre Umgebung geeignet repräsentieren，und sie müssen über die Auswirkungen ihrer Aktionen auf ihre Umgebung schlussfolgern können。形式化和规范化相结合是一种有效的方法，可以使复杂的形式化和规范化相结合，使结构化和规范化相结合。只有形式化的解释才能被韦尔登理解，从流体力学的角度来看，它的基本原理是由一个简单的基本原理组成的。这种形式化的行动必须通过这种形式化的行动来确定，并通过石油韦尔登等石油公司对石油公司的控制来确定石油公司的行动。Zum anderen ist zu hoffen，dass dadschied- im Unterschied zum vollen Fluentkalkül - relevante Schlussfolgerungsprobleme（wie die Konsistenz einer Umgebungsbeschreibung，die Anwendbarkeit einer Aktion in einem bestimmten Zustand，die Möglichkeit des Übergangs von einen Zustand in einen anderen，etc.）进入韦尔登。这种描述和描述方法在复杂的处理策略（包括通量）的编程中是完整的韦尔登。从这一点上讲，Beschreibungslogik是一个很好的例子，它是一个非常好的例子。在对动力学问题的专门研究中，形式化的语言研究结果（z.B.框架问题的学习）使之成为韦尔登。我们的目标是Beispiel，das z.B.在理解上，如果存在基本的语义描述，那么韦尔登可以解释为解决语义Web服务的语义描述问题韦尔登。