第2期 宋泾舸，等：智能规划研究综述—一个面向应用的视角 ·25 [23]EDEL KAMP S,HELMERT M.Mips-model checking model-based diagnosis and repair planning [A].In Pro- integrated planning system [J ]AI Magazine,2001,22 ceedings of UAI [C].Portland,USA,1996. (3):67-72. [36]BONET B,THIEBAUX S.GPT meets PSR [A].In [24]FOX M,LONG D.STAN4:A hybrid planning strate- Proceedings of ICAPS-03 [C].Trento,Italy,2003. gy based on subproblem abstraction[J].AI Magazine, [37]J ENSEN R.Efficient BDD-based planning for nomrde- 2001,22(3):81-84. terministic,fault-tolerant,and adversarial domains[D]. [25]WAH B,CHEN YX.Partitioning of temporal planning Pittsburgh:Carnegie Mellon University,2003 problems in mixed space using the theory of extended [38]MILIDIA R,LIPORACE F,LUCENA C.Pipesworld: saddle points [A].In Proceedings of ICTA12003 [C]. pipeline transportation of petroleum derivatives [A ]In Sacramento,USA,2003. Proceedings of ICAPS-03 Workshop on the Competition [26]HUNE T,LARSEN K,PETTEERSSON P.Guided [C].Trento,Italy,2003. synthesis of control programs using UPPAAL for VHS [39]AIAI.www.aiai.ed.ac.uk/~oplan/documents/index. case study 5[R].VHS deliverable in workpackage CS. html.2007-01-15. 1999-01.01. [40 ]SRI.http:/www.ai.sri.com/~sipe/.2000-05-24. [27]FEN HNKER A.Scheduling a steel plant with timed [41]J PL.www-aig.jpl.nasa.gov/public/planning/aspen/. automata [A].In Proceedings of the Sixth International 2006.06-22. Conference on Real-Time Computing Systems and Appli- [42]VITTORINI V,IACONO M,MAZZOCCA N,et al. cations [C].Hong Kong,China,1999. The OsMoSys approach to multrformalism modeling of [28]MURATA T,NEL SON P.A predicate-transition net systems [J].Software and System Modeling,2004,3 model for multiple agent planning [J ]Information Sci- (1):68-81. ences,1991(57.58):361-384. [43]查建中.智能工程[M].北京：机械工业出版社，1992. [29]MIELL ER Y,FABIANI P.Planning with petri nets [44]周济，查建中，肖人彬.智能设计[M].北京：高等教 [A].In Proceedings of RJCIA-2000 [C].Lyon,France, 有出版社，1998. 2000. 作者简介： [30]KRISTENSEN L,MITCHELL B,ZHAN GL,et al. Modeling and initial analysis of operational planning 宋泾舸，男，1969年生，讲师，博士 processes using coloured petri nets [A].In Proceedings 研究生，主要研究方向为智能规划、工 of Formal Methods in Software Engineering and Defence 业系统建模智能工程等。 Systems [C].Adelaide,Australia,2002. Email jgsong @bjtu.edu.cn. [31 ]BRAFMAN R,HOFFMANN J.Conformant planning via heuristic forward search:a new approach [A ]In 查建中，男，1947生，教授，博士生 Proceedings of ICAPS-04 [C].Whistler,Canada,2004. 导师，主要研究方向为智能制造与设 [32]MCCLUSKEY T,CRESSWELL S.Importing ontology 计、智能工程.联合国教科文组织产学 information into planning domain models [A].In Pro- 合作教席首席教授，机械工程学会理 ceedings of ICAPS-05 Workshop on the Role of Ontology 事，机械设计学会常务理事，承担国家 in Planning and Scheduling[C].Monterey,USA,2005. 科学基金和攻关项目20多项，获奖3 [33]VELOSO M,CARBON ELL J,PEREZ A,et al.In 项.发表学术文章200多篇，出版专著 tegrating planning and learning:the PRODIGY architec- 2部. ture [J ]Journal of Theoretical and Experimental AI, E mail jzcha @center.njtu.edu.cn. 1995,7(1):81-120. [34]YANG Q,WU K,JIANG Y.Learning action models 陆一平，男，1965生，副教授，博 from plan examples with incomplete knowledge [A].In 士，主要研究方向优化设计、智能工程、 Proceedings of ICAPS-2005 [C].Monterey,USA, CAD/CAM等，发表论文30余篇 2005. Email:yplu @bjtu.edu.cn. [35]THIEBAUX S,CORDIER M,et al.Supply restoration in power distribution systems a case study in integrating 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved. http://www.cnki.net[23 ] EDEL KAMP S , HELMERT M. Mips 2 model checking integrated planning system[J ]. AI Magazine , 2001 , 22 (3) : 67 - 72. [24 ] FOX M , LON G D. STAN4 : A hybrid planning strate2 gy based on subproblem abstraction [J ]. AI Magazine , 2001 , 22 (3) : 81 - 84. [25 ]WA H 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 ] HUN E T , LARSEN K , PETTEERSSON P. Guided synthesis of control programs using U PPAAL for V HS case study 5 [ R]. V HS deliverable in workpackage CS. 1999 - 01 - 01. [27 ] FEN HN KER A. Scheduling a steel plant with timed automata [ A ]. In Proceedings of the Sixth International Conference on Real2Time Computing Systems and Appli2 cations [C]. Hong Kong , China , 1999. [28 ] MURA TA T , N ELSON P. A predicate2transition net model for multiple agent planning [J ]. Information Sci2 ences , 1991 (57 - 58) :361 - 384. [29 ] MIELL ER Y , FABIANI P. Planning with petri nets [A ]. In Proceedings of RJCIA22000 [C]. Lyon , France , 2000. [30 ] KRISTENSEN L , MITCHELL B , ZHAN G L , et al. . Modeling and initial analysis of operational planning processes using coloured petri nets [ A ]. In Proceedings 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 ICAPS204 [C]. Whistler , Canada , 2004. [ 32 ]MCCL USKEY T , CRESSWELL S. Importing ontology information into planning domain models [ A ]. In Pro2 ceedings of ICAPS205 Workshop on the Role of Ontology in Planning and Scheduling[C]. Monterey , USA , 2005. [33 ]V ELOSO M , CARBONELL J , PEREZ A , et al. In2 tegrating planning and learning : the PRODIGY architec2 ture [J ]. Journal of Theoretical and Experimental AI , 1995 , 7 (1) : 81 - 120. [34 ] YAN G Q , WU K , J IAN G Y. Learning action models from plan examples with incomplete knowledge [ A ]. In Proceedings of ICAPS22005 [ C ]. Monterey , USA , 2005. [35 ] THIEBAUX S , CORDIER M , et al. Supply restoration in power distribution systems2a case study in integrating model2based diagnosis and repair planning [ A ]. In Pro2 ceedings of UAI [C]. Portland , USA , 1996. [36 ]BON ET B , THIEBAUX S. GPT meets PSR [ A ]. In Proceedings of ICAPS203 [C]. Trento , Italy , 2003. [37 ]J ENSEN R. Efficient BDD2based planning for non2de2 terministic , fault2tolerant , and adversarial domains[D ]. Pittsburgh :Carnegie Mellon University ,2003. [ 38 ]MIL IDI! R , L IPORACE F , LUCENA C. Pipesworld : pipeline transportation of petroleum derivatives [ A ]. In Proceedings of ICAPS203 Workshop on the Competition [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 ]J PL . www2aig. jpl. nasa. gov/ public/ planning/ aspen/ . 2006 - 06 - 22. [42 ]VITTORINI V , IACONO M , MAZZOCCA N , et al. The OsMoSys approach to multi2formalism modeling of systems [J ]. Software and System Modeling , 2004 , 3 (1) : 68 - 81. [43 ]查建中. 智能工程[ M]. 北京 :机械工业出版社 , 1992. [44 ]周 济 ,查建中 ,肖人彬. 智能设计[ M ]. 北京 :高等教 育出版社 , 1998. 作者简介 : 宋泾舸 ,男 ,1969 年生 ,讲师 ,博士 研究生 ,主要研究方向为智能规划、工 业系统建模、智能工程等. E2mail : jgsong @bjtu. edu. cn. 查建中 ,男 ,1947 生 ,教授 ,博士生 导师 , 主要研究方向为智能制造与设 计、智能工程. 联合国教科文组织产学 合作教席首席教授 ,机械工程学会理 事 ,机械设计学会常务理事 ,承担国家 科学基金和攻关项目 20 多项 , 获奖 3 项. 发表学术文章 200 多篇 ,出版专著 2 部. E2mail : jzcha @center. njtu. edu. cn. 陆一平 ,男 , 1965 生 , 副教授 ,博 士 ,主要研究方向优化设计、智能工程、 CAD/ CAM 等 , 发表论文 30 余篇. E2mail : yplu @bjtu. edu. cn. 第 2 期 宋泾舸 ,等 :智能规划研究综述 ———一个面向应用的视角 ·25 ·