第3期 张万鹏，等：一种利用工作流模型的分层任务网络规划领域建模方法 ·247… 此基础上，扩展了用于获取HTN知识的工作流模 [5]GONZALEZ-FERRER A,FERNANDEZ-OLIVARES J, 式，对引入循环模式后带来的不可判定性以及不完 CASTILLO L.JABBAH:a Java application framework for 备性作了初步分析.最后，通过在几个典型规划问题 the translation between business process models and HTN 上的对比实验，验证了采用工作流模型进行规划领 [C]//The 3rd International Competition on Knowledge Engineering for Planning and Scheduling ICKEPS 域建模的有效性， 2009).Thessaloniki,Greece,2009:28-37. 另外此类方法还有以下几个值得改进和进一步 [6]Workflow Management Coalition.Process definition inter- 研究的问题. face-XML process definition language[EB/OL].[2010- 1)虽然笔者分析了工作流流程元模型和HTN 11-15].http://www.wfmc.org/xpdl.html. 规划领域模型的相似性，进而用实验验证了采用工 [7]Van DER AALST W M P,TER HOFSTEDE A H M,KIE- 作流模型进行HTN规划领域建模的有效性，但是没 PUSZEWSKI B,et al.Workflow patters[J].Distributed 有对工作流流程元模型和HTN规划领域模型的语 and Parallel Databases,2003,14(1):5-51. 义一致性进行分析和证明.语义一致性的证明涉及 [8]RUSSELL S,NORVING P.Artificial intelligence:a mod- 到二者的模型语义(model-theoretic semantics)和操 ern approach [M].Upper Saddle River,USA:Pearson 作语义(operational semantics),这是笔者进一步研 Education,2003:427-428. [9]SHUKLA D,SCHMIDT B.Essential Windows workflow 究的一个重要方问 foundation[M].Boston,USA:Pearson Education,2006: 2)在实验中，由于采用的经典规划器不能求解 261-292. 并行行动规划问题，所以在实例中没有完全涵盖所 [10]HOFFMANN J,NEBEL B.The FF planning system:fast 列出的工作流模式，不包含并行模式，这是在进一步 plan generation through heuristic search[J].Joumal of 的研究中需要改进的一个问题. Artificial Intelligence Research,2001,14:253-302. 3)本文采用了WF-Designer流程设计器作为领 [11]ALFORD R,KUTER U,NAU D.Translating HTNs to 域建模工具，主要目的是为了验证方法的可行性和 PDDL:a small amount of domain knowledge can go a long 有效性，还未能实现从流程模型到HTN领域模型的 way[C]//Interational Joint Conferences on Artificial In- 全自动化转换.目前笔者正在设计实现自定义的 telligence (IJCAI).Pasadena,USA,2009:1629-1634. HTN规划领域建模工具，以生成规划器能够直接应 作者简介： 张万鹏，男，1981年生，博士研究 用的领域模型 生，主要研究方向为智能规划.发表学 参考文献： 术论文近10篇。 [1]GHALLAB M,NAU D,TRAVERSO P.Automated pan- ning:theory and pactice[M].San Francisco,USA:Mor- gan Kaufmann,2004:229-259. [2]KEARNEY P,BORRAJO D,CESTA A,et al.PLANET work- 王楠，男，1981年生，博士研究生， flow management R&D roadmap EB/OL].(2003-09-30) 主要研究方向为智能优化.发表学术论 [2010-11-15].http://scalab.uc3m.es/~dborrajo/planet/ 文10余篇。 wm-tcu/WM-TCU-Roadmap-v4-Complete-Document.pdf. [3]R-MORENO M D,BORRAJO D,CESTA A,et al.Integra- ting planning and scheduling in workflow domains[J].Ex pert Systems with Applications,2007,33(2):389-406. 4]GONZALEZ-FERRER A,FDEZ-OLIVARES J,CASTILLO 陈璟，男，1972年生，副教授，博士， L,et al.Towards the use of XPDL as planning and schedu- 主要研究方向为人工智能与飞行器规 ling modeling tool:the workflow patterns approach[C// 划.发表学术论文20余篇. Proceedings of the 11th Ibero-American Cnference on AI: Advances in Artificial Intelligence.Berlin,Germany: Springer,2008:52-61