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.

Ziel des Vorhabens 是对动作形式主义、情境和流畅性的分析以及程序语言和智能代理和机器人的流动的组合。 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。我无法理解状态更新 - Axiome 是流畅操作的基础，因此 Axiom für eine bestimmte Aktion beschreibt，welche Fluenten sie verändert。 Gleichermaßen komplementär sind die den beiden Programmierspra​​chen zu Grunde liegenden Berechnungsmethoden：在 GOLOG 中，wird rückwärts gerichtet gerechnet（回归），während FLUX vorwärts gerichtet ist（进步）。 UM die Beziehung zwischen den Kalkülen und Programmierspra​​chen und die Vor- und Nachteile der zueinander komplementären Methoden zu analysieren, sollen Übersetzungen zwischen den beiden formalismen entwickelt werden.这在 GOLOG nach FLUX 和 umgekehrt münden 中的 Algorithmen zur Übertragung von Domänenaxiomatisierungen 中有所解决。澳大利亚设计中心制定了珠宝首饰和珠宝设计中的编程策略，以及在整个系统中进行系统复杂化和经验研究 韦尔登。珠宝研究组的集成项目将在 Kalküle 和 Sprachen 中进行。 Das Projektziel besteht somit aus den folgenden vier Teilergebnissen:Übersetzung zwischen Situationskalkül- und Fluentkalkülaxiomatisierungen.Automatische Übersetzung zwischen GOLOG 程序和 FLUX 程序。程序分类，通过 GOLOG 或 FLUX 进行有效的验证方法。集成方案与 GOLOG nach FLUX 和 umgekehrt 相关。 Ziel des Coordinationsfonds ist es, die Zusammenarbeit insidehalb des gemeinsamen Forschungsvorhabens, an denen drei Standorte beteiligt sind, zu unterstützen.索伦是一个集体性的集体行动，集中在奥斯大战时期，并且是在国际社会中进行的一项重要的批判性研究。 Weiterhin sollen dem wissenschaftlichen längere Gastaufenthalte an assoziierten Projektpartnern ermöglicht werden.