Logikbasierte Wissensrepräsentation Teilprojekt: Aktionsformalismen + Koordination der Teilprojekte

基于逻辑的知识表示 子项目：动作形式主义 子项目的协调

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

Ziel des Vorhabens ist die vergleichende Analyse der Aktionsformalismen Situationskalkül und Fluentkalkül und die Kombination der Programmiersprachen GOLOG und FLUX für wissenbasierte Agenten und Roboter. Beide Kalküle sind durch ihre jeweilige Lösung des grundlegenden Frame-Problems charakterisiert, die jedoch zueinander komplementär sind: Die im Situationskalkül verwendeten Successor State -Axiome sind fluentenbasiert, da jedes solches Axiom für einen bestimmten Fluenten (d.h. atomare Eigenschaft des Zustandes) beschreibt, wie er sich durch Aktionen verändern kann. Im Unterschied dazu sind die State Update - Axiome im Fluentkalkül aktionsbasiert, da jedes solches Axiom für eine bestimmte Aktion beschreibt, welche Fluenten sie verändert. Gleichermaßen komplementär sind die den beiden Programmiersprachen zu Grunde liegenden Berechnungsmethoden: In GOLOG wird rückwärts gerichtet gerechnet (Regression), während FLUX vorwärts gerichtet ist (Progression). Um die Beziehung zwischen den Kalkülen und Programmiersprachen und die Vor- und Nachteile der zueinander komplementären Methoden zu analysieren, sollen Übersetzungen zwischen den beiden Aktionsformalismen entwickelt werden. Diese sollen in Algorithmen zur Übertragung von Domänenaxiomatisierungen in GOLOG nach FLUX und umgekehrt münden. Es sollen Ausdrucksmittel für die Formulierung von Handlungsstrategien aus den beiden Programmiersprachen in die jeweils andere übertragen werden, und es sollen systematische Komplexitätsuntersuchungen und empirische Studien zum Laufzeitverhalten der beiden Systeme im Vergleich durchgeführt werden. Darauf aufbauend sollen Ergebnisse aus den weiteren Integrationsprojekten der Forschergruppe von jeweils einem der beiden Kalküle und Sprachen auf den anderen übertragen werden. Das Projektziel besteht somit aus den folgenden vier Teilergebnissen:Übersetzung zwischen Situationskalkül- und Fluentkalkülaxiomatisierungen.Automatische Übersetzung zwischen GOLOG-Programmen und FLUX-Programmen. Klassifikation von Programmen danach, ob GOLOG oder FLUX die effizientere Verarbeitungsmethode darstellt. Übertragung von Integrationsergebnissen mit GOLOG nach FLUX und umgekehrt. Ziel des Koordinationsfonds ist es, die Zusammenarbeit innerhalb des gemeinsamen Forschungsvorhabens, an denen drei Standorte beteiligt sind, zu unterstützen. Es sollen jährliche gemeinsame Kolloquien veranstaltet werden, die dem intensiven Austausch dienen und in denen die Arbeiten auch einer kritischen Beurteilung mit der internationalen Spitzenforschung als Maßstab unterworfen werden sollen. Weiterhin sollen dem wissenschaftlichen Nachwuchs längere Gastaufenthalte an den assoziierten Projektpartnern ermöglicht werden.

齐尔·德·沃哈本斯是一名形式主义者，他对L和L的形式化行为进行了分析，并对机器人的编程和流量进行了分析。在此基础上，L提出了框架问题的特征，并指出了L所处的位置和继承人所处的位置。Aomare Eigenschaft des Zustanes)Beschreibt，Wie er sich dch Aktionen verändern kann.我不知道这个国度的状态更新--公理与公理是一致的，这是一种公理，也是最好的选择。Gleichermaüen Komplementär Sind die den beiden ProgrammierSprachen zu Grunde liegenden BerechnungsMethoden：in Golog wird rüCKWärts Gerichtet gerechnet(回归)，während flow Vorwärts gerichtet ist(渐进式)。这是一种形式上的分析，也是一种形式上的分析。Dese Sollen在Golog nach通量和umgehrt münden中的算法zurübergangung von Domänenaxiomatisierungen。这是一个非常重要的问题，因为这是一件非常重要的事情，因为这是一件非常重要的事情。从卡尔库勒到斯普拉钦，再到德国和德国的合作项目。这是一项专门的工程，由以下人员组成：自动编程人员和流量编程人员。这是一种非常有效的程序设计，也是最有效的方法。[晓雨-0920交稿]MIT Golog nach通量和Umgekehrt.齐尔德科协调喜欢的是，Zusammenarbeit in nerhalb des gmeinsamen Forschungsvorhabens，an denen drei Standorte tereiligt sind，zu unterstützen.在同一个Kolloquien veranstatet Wen，de DEM加强了Austausch dienen和在DEEN De Arbeiten Ather einer Kritischen Beurteilung MIT in International alen Spitzenforschung Als Ma？stab Unterworfen Well sollen。我们将感觉到一种新的技术，那就是L的加斯图芬塔尔和一个与之相关联的项目。