Planungstechniken und Aktionssprachen

规划技巧和行动语言

• 批准号: 56502123
• 负责人: Professor Gerhard Lakemeyer, Ph.D.
• 金额: --
• 依托单位: Arbeitsgruppe Grundlagen der Künstlichen Intelligenz
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/56502123?language=en
• 关键词: Planungstechniken; und; Aktionssprachen

Ein wesentliches Ziel des Projekts ist die Integration neuester Entwicklungen und Ergebnisse aus den Gebieten der Aktionssprachen und Planungstechniken, um Systeme zu erhalten, die sowohl ausdrucksstark als auch effizient sind. Die Schwerpunkte der Arbeiten der ersten Antragsphase lagen in der Entwicklung einer Situationskalkülsemantik für wesentliche Fragmente der Plansprache PDDL und der Untersuchung der wechselseitigen Kompilierbarkeit der beiden Formalismen. Daraus haben sich neue Fragestellungen ergeben, die in der folgenden Förderphase angegangen werden sollen. Ein Thema wird die Einbeziehung unvollständigen Wissens sowohl im Bereich des Planens als auch der Aktionssprache GOLOG sein, wobei in beiden Fällen das vor einigen Jahren eingeführte Konzept der proper knowledge bases, das effizientes Schließen über unvollständigem Wissen unterstützt, zu Grunde gelegt wird. Des Weiteren soll untersucht werden, inwieweit sich ganze GOLOG-Programme in Planungsprobleme übersetzen lassen. Die Idee dabei ist an Stelle der nicht auf Effizienz ausgelegten Golog-Interpreter hochoptimierte Planer einzusetzen, um die Performanz der Programmauswertung, die einer Plangenerierung entspricht, zu steigern. Außerdem haben die bisherigen Arbeiten gezeigt, dass GOLOG sich insbesondere eignet domänenabhängiges Wissen zu kodieren. In der neuen Antragsphase soll deshalb eine Einbettung existierender domänenabhängiger Planer in GOLOG vorgenommen werden. Schließlich sollen die neu entwickelten Planer und Einbettungen in GOLOG praktisch evaluiert werden, unter anderem durch Einsatz auf mobilen Robotern.

在西方国家，项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合、项目与项目的整合。[2]〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕Daraus habeen（德国）有一个新的Fragestellungen ergeben（德国），die in der folgenden（德国）Förderphase。Ein Thema wind die Einbeziehung unvollständigen Wissens sowohl im Bereich des Planens als auch der Aktionssprache GOLOG sein, wobei in been Fällen das vor einigen Jahren eingefhrte Konzept der proper knowledge bases, das effizientes Schließen ber unvollständigem Wissen unterst<e:1> tzt, zu Grunde gelegt wind。weteren soll untersucht werden，在weteren， weteren组织了gog -规划方案-问题解决方案。(1)“deideabei ist”和“stellelder - interpreter”、“hochoptimier - Planer”、“hochoptimier - Planer”、“hochoptimier - Planer”、“hochoptimier”、“hochoptimier”、“hochoptimier”、“hochsteigern”。Außerdem haben die bisherigen Arbeiten gezeigen, ass GOLOG sich insbesonere eignet domänenabhängiges Wissen zu kodieren。在新反相期中，应存在Einbettung的Einbettung，并在GOLOG vorgenome werden中存在domänenabhängiger Planer。schließ ßlich sollen die new entwickelten Planer and inbettungen in GOLOG praktisch evaluiert werden, underem durch Einsatz auf mobilen Robotern。