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.

该程序基于程序的程序。该程序基于不仅仅是正式化的地球仪。该程序基于不仅仅是正式化的地球仪。该程序基于不仅仅是正式化的地球仪。该程序基于不仅仅是正式化的地球仪。该程序基于基于地球仪的地球仪，该地球基于基于地球的地球仪基于地球的地球仪。 Fluentenbasiert，Da Jedes SolchesaxiomfürEinenbestimmten flyenten（D.H. Atomare Eigenschaft des Zustandes）beschreibt，Wie er Sich durch durch durch aktionenverändernKann。即时通讯的Dazu Sind Die状态更新-Axiome ImFluentkalkülAktionsBasiert，Da Jedes solches solchesaxiomfüreine bestimmte aktion beschreibt，welche fluenten sieverändert。 gleichermaßenKoundementärsind die de beiden programmierspra​​chen zu berechnungs方法论：在Golog Wilderness（回归）中，Berichtet是Gerichtet IST（进度）。 Berichtet是一种分析分析区域中使用的方法的方法，而Analysieren区域的Berichtet方法是一种被分析的方法。该程序是在Golog Flux手中创建的。该计划是在该计划中创建的，包括在Handlungsstrategy中的计划，以及自今年年底以来已经通过的计划，并且该计划也在居住在Golog Flux手中。达拉夫（Darauf）世界上最好的是第一个与Kalküle和Sprachen的集成在一起的人。世界上最好的是最好的。世界上最好的是Teilergebnissen：übersetzungZwischensatuationskalkül-undfluentkalkülaxiomatisierungen。自动化的ZWISCHEN GISCHEN GIOG-PROGRAMEN UND FLUX-PROGRAGIN。 Klassification Von ProgramMen Danach，Ob Golog Oder Flux die effizientere verarbeitungsmethode darstellt。 übertragungvon Integrationserergebnissen mit golog nach Flux undumgekehrt。 Ziel des Koordinationsfonds est，Die Zusammenarbeit Innerhalb des Gemeinsamen forschungsvorhabens，denen drei StandeTe beteiligt Sind，ZuUnterstütützen。 EsSollenJährlichegemeinsame kolloquien veranstaltet Werden，Die dem Invivived我们致力于提供广泛的服务，这将导致未来的国际势力。我们致力于世界的繁荣。我们致力于世界的繁荣，我们致力于世界的繁荣。