摘 要:提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planning programming language based on fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行,改进了基于情景演算的动态规划算子。采用了一种新颖的离/在线执行方式,能够及时处理外部动作;并给出了DPPLFC语言的组成,程序语义及其实现。最后,通过电梯实例验证了DPPLFC语言的可行性和高效性。
关键词:流演算; 流演算执行器; 动态规划算子; 离/在线执行; 程序设计语言
Dynamic planning programming language based on fluent calculus
LIU Yi-song1, LI Ming-yue1, ZHU Mang2
(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.......