Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen

基于逻辑的知识表示子项目：规划技术和动作语言

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

Die Forschung in den Gebieten der Handlungsplanung und der Aktionssprachen hat sich in den vergangenen 30 Jahren weitgehend unabhängig von einander entwickelt. Allerdings kann man seit geraumer Zeit eine gewisse Konvergenz fest stellen. Aus diesem Grund ist es aussichtsreich, Synergieeffekte durch gemeinsame Arbeit an den Problemen nutzbar zu machen. In diesem Projekt sollen die neuesten Entwicklungen auf dem Gebiet der Aktionssprachen und der Planungstechniken integriert werden, um ausdrucksstarke und effiziente Systeme zu erhalten. Um eine Vergleichbarkeit von Aktionssprachen wie GOLOG und FLUX auf der einen Seite und Plansprachen wie PDDL, die als Standard im Bereich des Planens angesehen wird, auf der anderen zu erreichen, soll zum einen eine gemeinsame semantische Basis im Situationskalkül geschaffen werden und zum anderen die Ausdrucksstärke mit Hilfe von Compilationstechniken untersucht werden. Insbesondere sollen Erweiterungen von GOLOG betrachtet werden, wie z.Bsp. temporales und paralleles GOLOG. Die dort auftretenden Planungsprobleme sollen mit Hilfe von Compilationstechniken und Planung durch heuristische Suche, wie etwa durch das FF System realisiert, angegangen werden. Im Gegenzug sollen Sprachkonstrukte aus der GOLOG-Familie in PDDL integriert werden und existierende Planer entsprechend erweitert werden. Die entwickelten Methoden sollen im Kontext autonomer Roboter exemplarisch evaluiert werden.

在未来的时间里，我们将在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，我们将在未来的时间里。过敏症是一种神经过敏的疾病，它是由神经过敏引起的。在同一领域内，协同效应是指协同效应与协同效应之间的相互作用。在德国，“计划技术一体化计划”和“计划技术一体化计划”是一项“计划技术一体化计划”，是一项“系统一体化计划”。Um eine Vergleichbarkeit von Aktionssprachen weigolog和FLUX auder der der Seite和Plansprachen weipddl， die als Standard in Bereich des Planens angesehen wid, auder der anderen zureichen, solum zum einine gemeinsame semantische Basis in situationskalkl l geschaffen werden and zum anderen die Ausdrucksstärke mit Hilfe von Compilationstechniken untersucht werden。[翻译]:insbesonere sollen Erweiterungen von GOLOG betrachtet werden， wie z.Bsp。时间和并行GOLOG。模具模具模具设计设计问题的解决方法主要有编译技术和规划启发式等，其中模具模具设计设计方法主要有FF系统实现化、模具模具设计等。在Gegenzug， sollen sprachkonstrstrke - family在PDDL集成系统和现有的Planer集成系统中的应用。基于上下文的机器人模型评价方法[j]。