Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen
Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen
批准号:
5449895
负责人:
Professor Gerhard Lakemeyer, Ph.D.
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2005
资助国家:
德国
项目状态:
已结题
起止时间:
2004-12-31 至 2009-12-31
中文摘要
在未来的时间里,我们将在未来的时间里,在未来的时间里,我们将在未来的时间里,在未来的时间里,我们将在未来的时间里,在未来的时间里,我们将在未来的时间里,在未来的时间里,我们将在未来的时间里,在未来的时间里,我们将在未来的时间里,在未来的时间里,我们将在未来的时间里。过敏症是一种神经过敏的疾病,它是由神经过敏引起的。在同一领域内,协同效应是指协同效应与协同效应之间的相互作用。在德国,“计划技术一体化计划”和“计划技术一体化计划”是一项“计划技术一体化计划”,是一项“系统一体化计划”。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]。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Hybris Coordination Project
-
批准号:273038238
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2015
-
负责人:Professor Gerhard Lakemeyer, Ph.D.
-
依托单位:
Central Services
-
批准号:214252383
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2012
-
负责人:Professor Gerhard Lakemeyer, Ph.D.
-
依托单位:
Planungstechniken und Aktionssprachen
-
批准号:56502123
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Gerhard Lakemeyer, Ph.D.
-
依托单位:
HeRBiE: Binaurales Hören für mobile Roboter
-
批准号:5441355
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Gerhard Lakemeyer, Ph.D.
-
依托单位:
A real time, deliberative component for cooperative multi-robot systems in highly dynamic environments
-
批准号:5318238
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Gerhard Lakemeyer, Ph.D.
-
依托单位: