[1]宋泾舸,查建中,陆一平.智能规划研究综述——一个面向应用的视角[J].智能系统学报,2007,2(2):18-25.
SONG Jing-ge,CHA Jian-zhong,LU Yi-ping.Survey on AI planning research— an applicationoriented perspective[J].CAAI Transactions on Intelligent Systems,2007,2(2):18-25.
点击复制
SONG Jing-ge,CHA Jian-zhong,LU Yi-ping.Survey on AI planning research— an applicationoriented perspective[J].CAAI Transactions on Intelligent Systems,2007,2(2):18-25.
智能规划研究综述——一个面向应用的视角
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
2
期数:
2007年第2期
页码:
18-25
栏目:
综述
出版日期:
2007-04-25
- Title:
- Survey on AI planning research— an applicationoriented perspective
- 文章编号:
- 1673-4785(2007)02-0018-08
- Keywords:
- AI planning; types of planning; application research; industrial area; intelligence engineering
- 分类号:
- TP18
- 文献标志码:
- A
- 摘要:
- 智能规划是智能系统研究的重要领域.在分析了智能规划中典型问题类型特征的基础上，从应用的视角对智能规划研究的前沿问题以及近年来的主要理论与方法进行了评述. 结合若干工业领域的应用实例，讨论了工程应用中的规划问题特征及研究现状，并在此基础上结合智能工程理论对智能规划的应用研究方向进行了展望.
- Abstract:
- Intelligent planning is an important area in AI research. Based on cha racteristics of typical AI planning problems, some areas of applicationoriente d planning theories and techniques are surveyed. Significant industrial planning problems are enumerated and their characteristics are discussed. Combining AI pl anning with Intelligence Engineering principles, potential directions for future research are explored.
- 参考文献/References:
-
［1］WELD D. Recent advances in AI planning［J］. AI Magazine, 1999,20(2 ): 93-123.
［2］WILKINS D, DESJARDINS M. A call for knowledgebased planning［J］. AI Maga zine, 2001, 22(1): 99-115.
［3］BLYTHE J. An overview of planning under uncertainty ［J］. AI Magazine, 1 999,20(2): 37-54.
［4］ZIMMERMAN T, KAMBHAMPATI S. Learningassisted automated planning ［J］. A I Magazine, 2003,24(2): 73-96.
［5］FIKES R, NILSSON N. Strips: a new approach to the application of theorem p roving to problem solving ［J］. Artificial Intelligence, 1971, 2(3,4): 189-208.
［6］MCDERMOTT D. PDDLthe planning domain definition language ［EB/OL］. www. cs.yale.edu./homes/dvm, 1998-05-10.
［7］FOX M, LONG D. PDDL2.1: an extension to PDDL for expressing temporal pla nn ing domains ［J］. Journal of AI Research, 2003, 20: 61-124.
［8］TATE A. Generating project networks ［A］. In Proceedings of IJCAI-77［C］ . Boston, Mass, USA, 1977
［9］SACERDOTI E. A Structure for Plans and Behavior ［M］. New York: Elsevier, 1977.
［10］EROL K, HENDLER J, NAU D. Semantics for hierarchical tasknetwork plannin g［R］. CS TR3239, UMIACS TR-94-31, ISR-TR-95-9,University of Maryland, 1994.
［11］EROL K, HENDLER J, NAU D. HTN planning: complexity and expressivity ［A］ . In Proceedings of AAAI94 ［C］. Seattle, USA, 1994.
［12］NAU D, AU T, ILGHAMI O, et al. SHOP2: an HTN planning system［J］. JAIR， 2003，20:379-404.
［13］SIMPSON R, MCCLUSKEY T, LIU D, et al. Knowledge representation in plannin g: a PDDL to OCLh translation ［A］. ISMIS’2000 ［C］. Charlotte, USA, 2000.
［14］TATE A, DRABBLE B, DALTON J. Oplan: a knowledge based planner and its application to logistics ［A］. Advanced Planning Technology［C］. Morgan Kauf mann, 1996.
［15］WILKINS D. Using the SIPE2 planning system: a manual for version 6.0 ［M ］. SRI International Artificial Intelligence Center. Menlo Pork. California.199 9.
［16］CHIEN S, RABIDEAU G. ASPENautomated planning and scheduling for space m ission operations ［A］. SpaceOps2000 ［C］. Toulouse, France, 2000.
［17］CESTA A, ODDI A. A representation language for domain knowledge in planni ng architectures ［A］. In Proceedings of KAW96 ［C］. Alberta, Canada, 1996.
［18］BLUM A, FURST M. Fast planning through planning graph analysis ［A］. In Proceedings of IJCAI95 ［C］. Quebec, Canada, 1995.
［19］HOFFMANN J. FF: the fastforward planning system ［J］. AI Magazine, 200 1，22(3): 57-62.
［20］KAUTZ H, SELMAN B. Pushing the envelope: planning, propositional logic, a nd stochastic search ［A］. In Proceedings of AAAI96 ［C］. Portland, USA, 199 6.
［21］BERTOLI P, CIMATTI A, SLANEY J, et al. Solving power supply restoration p roblems with planning via symbolic model checking ［A］. In Proceedings of ECAI0 2 ［C］. Lyon, France, 2002.
［22］JENSEN R, VELOSO M. OBDDbased deterministic planning using the UMOP pla nning framework ［A］. In Proceedings of AIPS00 Workshop on ModelTheoretic A pproaches to Planning ［C］. Breckenridge, USA, 2000.
［23］EDELKAMP S, HELMERT M. Mips model checking integrated planning system ［J］. AI Magazine, 2001, 22(3): 67-72.
［24］FOX M, LONG D. STAN4: A hybrid planning strategy based on subproblem abst raction［J］. AI Magazine, 2001, 22(3): 81-84.
［25］WAH B, CHEN YX. Partitioning of temporal planning problems in mixed space using the theory of extended saddle points ［A］. In Proceedings of ICTAI2003 ［C］. Sacramento, USA, 2003.
［26］HUNE T, LARSEN K, PETTEERSSON P. Guided synthesis of control programs usi ng UPPAAL for VHS case study 5 ［R］. VHS deliverable in workpackage CS.1999-01- 01.
［27］FENHNKER A. Scheduling a steel plant with timed automata ［A］. In Proceed ings of the Sixth International Conference on RealTime Computing Systems and A pplications ［C］. Hong Kong, China, 1999.
［28］MURATA T, NELSON P. A predicatetransition net model for multiple agent planning ［J］. Information Sciences, 1991(57-58):361-384
［29］MIELLER Y, FABIANI P. Planning with petri nets ［A］. In Proceedings of R JCIA2000 ［C］. Lyon, France, 2000.
［30］KRISTENSEN L, MITCHELL B, ZHANG L, et al.. Modeling and initial analysis of operational planning processes using coloured petri nets ［A］. In Proceeding s of Formal Methods in Software Engineering and Defence Systems ［C］. Adelaide, Australia, 2002.
［31］BRAFMAN R, HOFFMANN J. Conformant planning via heuristic forward search: a new approach ［A］. In Proceedings of ICAPS04 ［C］. Whistler, Canada, 2004.
［32］MCCLUSKEY T, CRESSWELL S. Importing ontology information into planning do main models ［A］. In Proceedings of ICAPS05 Workshop on the Role of Ontology in Planning and Scheduling［C］. Monterey, USA, 2005.
［33］VELOSO M, CARBONELL J, PEREZ A, et al. Integrating planning and learning: the PRODIGY architecture ［J］. Journal of Theoretical and Experimental AI, 19 95, 7(1): 81-120.
［34］YANG Q, WU K, JIANG Y. Learning action models from plan examples with inc omplete knowledge ［A］.In Proceedings of ICAPS2005 ［C］. Monterey, USA ,200 5.
［35］THIEBAUX S, CORDIER M, et al. Supply restoration in power distribution sy stemsa case study in integrating modelbased diagnosis and repair planning ［ A］. In Proceedings of UAI ［C］. Portland, USA, 1996.
［36］BONET B, THIEBAUX S. GPT meets PSR ［A］. In Proceedings of ICAPS03 ［C ］. Trento, Italy, 2003.
［37］JENSEN R. Efficient BDDbased planning for nondeterministic, faultto lerant, and adversarial domains［D］.Pittsburgh:Carnegie Mellon University,2003 .
［38］MILIDI R, LIPORACE F, LUCENA C. Pipesworld: pipeline transportation of p etroleum derivatives ［A］. In Proceedings of ICAPS03 Workshop on the Competit ion ［C］. Trento, Italy, 2003.
［39］AIAI. www.aiai.ed.ac.uk/～oplan/documents/index.html.2007-01-15.
［40］SRI. http://www.ai.sri.com/～sipe/.2000-05-24.
［41］JPL. wwwaig.jpl.nasa.gov/public/planning/aspen/.2006-06-22.
［42］VITTORINI V, IACONO M, MAZZOCCA N, et al. The OsMoSys approach to multi formalism modeling of systems ［J］. Software and System Modeling, 2004, 3(1): 6 8-81.
［43］查建中. 智能工程［M］. 北京:机械工业出版社, 1992.
［44］周 济，查建中，肖人彬. 智能设计［M］. 北京:高等教育出版社, 1998.
- 相似文献/References:
-
[1]闫书亚,殷明浩,谷文祥,等.概率规划的研究与发展[J].智能系统学报,2008,3(1):9.
YAN Shu-ya,YIN Ming-hao,GU Wen-xiang,et al.Research and advances in probabilistic planning[J].CAAI Transactions on Intelligent Systems,2008,3():9.
备注/Memo
收稿日期：2006-09-01.
基金项目：国家自然科学基金资助项目（50335040）
作者简介：
宋泾舸,男,1969年生,讲师,博士研究生,主要研究方向为智能规划、工业系统建模、智能工程等. E-mail: jgsong@bjtu.edu.cn.
查建中,男,1947生，教授,博士生导师, 主要研究方向为智能制造与设计、智能工程.联合国教科文组织产学合作教席首席教授,机械工程学会理事,机械设计学会常务理事,承担国家科学基金和攻关项目20多项, 获奖3项.发表学术文章200多篇,出版专著2部.E-mail: jzcha@center.njtu.edu.
陆一平,男,1965生,副教授,博士,主要研究方向优化设计、智能工程、CAD/CAM等, 发表论文 30余篇. E-mail: yplu@bjtu.edu.cn
更新日期/Last Update:
2009-05-06