一种基于流演算动态规划程序设计语言.docVIP

一种基于流演算的动态规划程序设计语言 　　摘 要:提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planning programming language based on fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行,改进了基于情景演算的动态规划算子。采用了一种新颖的离/在线执行方式,能够及时处理外部动作;并给出了DPPLFC语言的组成,程序语义及其实现。最后,通过电梯实例验证了DPPLFC语言的可行性和高效性。 　　关键词:流演算; 流演算执行器; 动态规划算子; 离/在线执行; 程序设计语言 　　中图分类号:TP181文献标志码:A 　　文章编号:1001-3695(2010)07-2591-03 　　doi:10.3969/j.issn.1001-3695.2010.07.053 　　 　　Dynamic planning programming language based on fluent calculus 　　 　　LIU Yi-song??1, LI Ming-yue??1, ZHU Mang??2 　　 　　(1. School of Computer Science Telecommunication Engineering, Jiangsu University, Zhenjiang Jiangsu 212013, China; 2. Management Dept. of Drainage, Zhenjiang Jiangsu 212013, China ) 　　 　　Abstract:This paper proposed a dynamic planning programming language based on fluent calculus, which was called DPPLFC. It could describe complex action such as sequence, concurrence, nondeterministic branch by defining action expression and solved the problem that the users wrote applications inconveniently. Then gave a dynamic planning operator of DPPLFC. It implemented off-line execution again according to differences of the on-line execution state and previous corresponding off-line execution state and improved dynamic planning operator based on situation calculus. DPPLFC described a new off-on line execution and deals with exogenous actions immediately. Presented the composition and semantics and implementation of DPPLFC. An elevator example indicates that the feasibility and effectiveness of DPPLFC. 　　Key words:fluent calculus; FLUX; dynamic planning operator; off-on line execution; programming language 　　 　　 0 引言 　　智能规划[1]是人工智能研究的一个重要领域,具有突出的理论和应用价值。其所要解决的问题是:在给定的已知条件(初始状态)下,如何通过产生式规则(领域动作)获得所需要的结论(目标状态)。 　　Golog[2]、ConGolog[3]、IndiGolog[4]均是基于情景演算的可以用于智能规划的语言。Golog、ConGolog 采用离线执行方式;IndiGolog通过动态规划算子将离线执行方式改进为在线执行方式,但均采用情景演算的回归推理机制,执行效率较低;且IndiGolog的动态规划算子无法完整地描述动态环境下的再次离线规划机制。 　　流演算[5]源于经典情