期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于顺序多尺度的智能规划问题模型及其求解方法

Model and Solution of Multi-scale Based Intelligent Planning with Ordinal Metrics
下载PDF
导出
摘要 针对规划定义域语言不支持对多尺度规划问题的建模,提出一种顺序多尺度的规划问题模型,设计了新的规划定义语言,并通过构造一个基于贪婪最好优先搜索法的基本方法求解顺序多尺度规划问题,证明了顺序多尺度规划模型的可解性. Aiming at the state-of-the-art planning domain definition language unsupporting multiple metrics,we presented a planning problem model with ordinal metric and designed a new language.A basic solving method based on greedy best-first search was proposed to show the solvability of our proposed planning problem.
作者 刘晓峰 李欣 曾志勇
机构地区 吉林省教育学院综合部 东北师范大学计算机科学与信息技术学院
出处 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2013年第4期671-675,共5页 Journal of Jilin University:Science Edition
基金 国家自然科学基金(批准号:11226275)
关键词 智能规划 问题建模 顺序多尺度 AI planning problem modeling ordinal metrics
分类号 TP301.6 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献10

  • 1McDermott D. PDDL: The Planning Domain Definition Language: Version 1.2 [R]. New Haven: Yale Center for Computational Vision and Control, 1998.
  • 2Fox M, Long D. PDDL2. 1: An Extension to PDDL for Expressing Temporal Planning Domains [J]. J Artif Intell Res, 2003, 20(1): 61-124.
  • 3Gerevini A, Long D. Plan Constraints and Preferences in PDDL3 [R]. Brescia, Italy: Department of Electronics for Automation, University of Brescia, 2005.
  • 4Keyder K, Geffner H. Soft Goals Can Be Compiled Way [J]. J Artif Intell Res, 2009, 36(1): 547-556.
  • 5Hoffmann J. The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables [J]. J ArtiflntellRes, 2003, 20(1): 291-341.
  • 6Helmert M. The Fast Downward Planning System[J].J Artif Intell Res, 2006, 26(1) : 191-246.
  • 7殷明浩,周俊萍,孙吉贵,谷文祥.求解QBF问题的启发式调查传播算法[J].软件学报,2011,22(7):1538-1550. 被引量：11
  • 8李莹,孙吉贵,吴瑕,朱兴军.基于IMOM和IBOHM启发式策略的扩展规则算法[J].软件学报,2009,20(6):1521-1527. 被引量：11
  • 9杨超,吕帅,刘磊,魏唯,张波,吴俊.智能规划中的动作互斥编码方式研究[J].计算机工程,2011,37(9):213-215. 被引量：1
  • 10魏唯,欧阳丹彤,吕帅,冯宇轩.动态不确定环境下多目标路径规划方法[J].计算机学报,2011,34(5):836-846. 被引量：26

二级参考文献50

  • 1朱庆保.动态复杂环境下的机器人路径规划蚂蚁预测算法[J].计算机学报,2005,28(11):1898-1906. 被引量：50
  • 2吴向军,姜云飞,凌应标.基于STRIPS的领域知识提取策略[J].软件学报,2007,18(3):490-504. 被引量：20
  • 3吴向军,姜云飞,凌应标.STRIPS规划领域中动作效果关系的研究[J].软件学报,2007,18(6):1328-1349. 被引量：14
  • 4Fenkam P, Jazayeri M, Reif G. On methodogies for constructing correct event-based applications. In: Carzaniga A, Fenkam P, eds. Proc. of the 3rd Int'l Workshop on Distributed Event-Based Systems. Oakland: IEEE Computer Press, 2004. 38-43.
  • 5Kubica J, Rieffel EG. Collaborating with a genetic programming system to generate modular robotic code. In: Jangdon WB, et al. eds. Proc. of the Genetic and Evolutionary Computation Conf. New York: Morgan Kaufmann, 2002. 804-811.
  • 6Robinson JA. A machine oriented logic based on the resolution principle. Journal of the ACM, 1965,12(1):23-41.
  • 7Moser M, Ibens O, Ietz R, Steinbach J, Goller C, Schumann J, Mayr K. SETHEO and E-SETHEO-the CADE-13 systems. Journal of Automated Reasoning, 1997,18(2):237-246.
  • 8Dyckhoff R, Pinto L. Cut-Elimination and a permutation-free sequent calculus for intuitionistic logic. Studia Logica, 1998,60(12): 107-118.
  • 9Polakow J, Pfenning F. Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. Electronic Notes in Theoretical Computer Science, 2004,20(18): 1-18.
  • 10Lin H, Sun JG, Zhang YM. Theorem proving based on extension rule. Journal of Automated Reasoning, 2003,31 (1): 11-21.

共引文献45

吉林大学学报（理学版）
2013年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部