Logikbasierte Wissensrepräsentation Teilprojekt: Aktionsformalismen + Koordination der Teilprojekte

Ziel des Vorhabens is die vergleichende Analyse der Aktionsformalismen Situationskalkül und Fluentkalkül und die Combination der Programmiersprachen GOS-UX und FLUX für wissenbasierte programmer und Roboter. Beide Kalküle sind durch ihre jeweilige Lösung des grundeligden Frame-Problems charakterisiert，die jedoh 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）是由原子能产生的。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 beiden Programmiersprachen zu Grunde liegenden Berechnungsmethoden：In GOOGLE wird rückwärts gerichtet gerechnet（Regression），während FLUX vorwärts gerichtet ist（Progression）.在分析卡尔库伦和程序设计语言的基础上，通过分析各种复杂方法的价值和价值，我们可以理解形式主义的含义。Diese sollen in speakmen zur Übertragung von Domänenaxiomatisierungen in GORnach FLUX und umgekehrt münden.这是一个解决方案，用于在珠宝和韦尔登中制定最佳程序设计策略，并解决系统复杂性和经验性问题，以便在韦尔登中找到最佳系统。因此，我们需要解决的问题是，研究小组的其他一体化项目，包括一个在其他韦尔登上的卡尔库尔和斯拉克恩的珠宝。Das Projektagh besteht somit aus den folgenden维耶Teilergebnissen：Übersetzung zwischen Situationskalkül- und Fluentkalkülaxiomatisierungen.Automatische Übersetzung zwischen GOLOG-Programmen und FLUX-Programmen.对程序员进行分类，以获得有效的验证方法。Übertragung von Integrationsergebnissen mit GOVANACH FLUX und umgekehrt.协调基金会是共同研究的中心，其中有三个标准。这是一个共同的韦尔登问题，加强澳大利亚的经济和劳工，也是一个与国际研究机构合作的关键问题，这是一个韦尔登问题。Weiterhin sollen dem wissenschaftlichen Nachwuchs längere Gastaufenthalte an den assoziierten Projektpartnern ermöglicht韦尔登.

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.