主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
饶东宁,蒋志华,姜云飞.PDDL 的ER 建模以及开发基于存储过程的规划器.软件学报,2013,24(5):1061-1077
PDDL 的ER 建模以及开发基于存储过程的规划器
Building Entity Relationship Models for PDDL and Developing Planners Based on Stored Procedures
投稿时间:2011-04-05  修订日期:2012-05-18
DOI:10.3724/SP.J.1001.2013.04264
中文关键词:  人工智能  智能规划  规划系统  存储过程  关系数据库管理系统
英文关键词:artificial intelligence (AI)  automated planning  planning system  stored procedure  relational database management system (RDBMS)
基金项目:国家自然科学基金(61003179, 61100134); 广东省自然科学基金(S2011040001427)
作者单位E-mail
饶东宁 广东工业大学计算机学院, 广东 广州 510006  
蒋志华 暨南大学信息科学技术学院计算机科学系, 广东 广州 510632 tjiangzhh@jnu.edu.cn 
姜云飞 中山大学信息科学技术学院软件研究所, 广东 广州 510275  
摘要点击次数: 2370
全文下载次数: 3496
中文摘要:
      随着智能规划的发展,其所面对的问题规模越来越大,而且可以预见以后会更大.现有的研究大多用二级存储扩展空间,其终极形式应该是用数据库进行存储.此外,有很多同一领域的规划问题,其所包含的常量几乎一致,其中必然有可重用信息来帮助加速求解.要更好地利用这些可重用信息也需要数据库.考虑到以上两个问题,首次提出规划领域描述语言PDDL(planning domain description language)的ER 模型(entity relationship model),并基于此模型用存储过程来编写规划器SPP(stored procedure planner).SPP 是完全在数据库内部运行的最优规划器,存取效率高,可充分利用数据库的各种功能.在国际规划大赛IPC(Int’l planning competition)基准领域上的实验结果表明,在有限的机器配置下,SPP 可以求解传统最优规划器不能求解的问题.该工作迈出了在数据库中求解规划问题,从而彻底解决空间问题的第一步.
英文摘要:
      With the development of automated planning, the size of problems is getting bigger and bigger, and one can predict that it will become very large in the future. Some existing research work begins to use secondary memories to extend the search space, and it is believed databases are finally used. Besides, many problems that belong to the same domain often have common constants, so there might be a plenty of reusable information to speed up the solution process. To store this information permanently, databases are also needed. Inspired by the above two reasons, this paper first proposes ER (entity relationship) models for PDDL (planning domain description languages) and then develops a stored procedure based automated planner (stored procedure planner, SPP) for the first time. This planner is an optimal one which runs totally inside a database. It stores and accesses data efficiently and takes fully advantages of database features. Experiments on benchmark problems from the Int'l planning competition (IPC) show that this planner can solve problems which cannot be solved by some classical optimal planners in a limited machine configuration. The work in this paper takes the first step for solving planning problems totally in a database so that it is helpful to solve huge-size problems finally.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利