期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于流演算的动态规划程序设计语言 被引量：1

Dynamic planning programming language based on fluent calculus
下载PDF
导出
摘要 提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planningprogramminglanguage basedon fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行,改进了基于情景演算的动态规划算子。采用了一种新颖的离/在线执行方式,能够及时处理外部动作;并给出了DPPLFC语言的组成,程序语义及其实现。最后,通过电梯实例验证了DPPLFC语言的可行性和高效性。 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.
作者 刘一松 李明月 朱芒
机构地区 江苏大学计算机科学与通信工程学院 镇江市排水管理处
出处 《计算机应用研究》 CSCD 北大核心 2010年第7期2591-2593,2597,共4页 Application Research of Computers
基金 江苏省社会发展计划资助项目(BS2001046) 江苏省高校自然科学研究计划资助项目(03kjd520075)
关键词 流演算 流演算执行器 动态规划算子 离/在线执行 程序设计语言 fluent calculus FLUX dynamic planning operator off-on line execution programming language
分类号 TP181 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献9

  • 1吴向军,姜云飞,凌应标.STRIPS规划领域中动作效果关系的研究[J].软件学报,2007,18(6):1328-1349. 被引量：14
  • 2LEVESQUE H J,REITER R,LESPERANCE Y,et al.GOLOG:a logic programming language for dynamic domains[J].Journal of Logic Programming,1997,31(1-3):59-83.
  • 3GIACOMO G D,LESPERANCE Y,LEVESQUE H J.ConGolog:a concurrent programming language based on the situation calculus[J].Artificial Intelligence,2000,121(1-2):109-169.
  • 4GIACOMO G D,LEVESQUE H.An incremental interpreter for high-level programs with sensing[C] //Proc of Logical Foundation for Cognitive Agents:Contributions in Honor of Ray Reiter.Berlin:Springer,1999:86-102.
  • 5THIELSCHER M.Reasoning robots:the art and science of programming robotic agents[M].Netherlands:Springer,2005.
  • 6THIELSCHER M.FLUX:a logic programming method for reasoning agent[C] // Proc of Theory and Practice of Logic Programming.New York:Cambridge University Press,2005:533-565.
  • 7LIU Yi-song,ZHONG Shan,ZHAN Yong-zhao.Reasoning about action for behavioral animation of intelligent virtual agents[J].The International Journal of Virtual Reality,2008,7(3):37-42.
  • 8刘一松,文占朝.基于流演算的智能虚拟人模型研究与实现[J].计算机应用研究,2009,26(8):2968-2970. 被引量：3
  • 9LESPERANCE Y,NG H K.Integrating planning into reactive high-level robot programs[C] //Proc of the 2nd International Cognitive Robotics Workshop.2000:49-54.

二级参考文献27

  • 1Nilsson NJ.Artificial Intelligence:A New Synthesis.Morgan Kaufmann Publishers,1999.363-404.
  • 2Bonet B,Geffner H.Planning as heuristic search.Artificial Intelligence,2001,129:5-33.
  • 3Refanidis I,Vlahavas I.The GRT planning system:Backward heuristic construction in forward state-space planning.Artificial Intelligence Research,2001,15:115-161.
  • 4Refanidis I,Vlahavas I.GRT:A domain independent heuristic for strips worlds based on greedy regression tables.In:Proc.of the 5th European Conf.on Planning (ECP'99).Durham:Springer-Verlag,1999.347-359.
  • 5Hoffmann J.FF:The fast-forward planning system.AI Magazine,2001,22(3):57-62.
  • 6Hoffmann J,Nebel B.The FF planning system:Fast plan generation through heuristic search.Artificial Intelligence Research,2001,14:253-302.
  • 7Refanidis I,Vlahavas I.Multiobjective heuristic state-space planning.Artificial Intelligence,2003,145(1-2):1-32.
  • 8Sierra-Santibanez J.Heuristic planning:A declarative approach based on strategies for action selection.Artificial Intelligence,2004,153:307-337.
  • 9Nau DS,Smith SJJ,Erol K.Control strategies in HTN planning:Theory versus practice.In:Proc.of the AAAI'98/IAAI'98.1998.1127-1133.
  • 10Tsuneto R,Hendler J,Nau D.Analyzing external conditions to improve the efficiency of HTN planning.In:Proc.of the AAAI'98.1998.913-920.http://citeseer.ist.psu.edu/650056.html

共引文献14

同被引文献9

  • 1吴向军,姜云飞,凌应标.STRIPS规划领域中动作效果关系的研究[J].软件学报,2007,18(6):1328-1349. 被引量：14
  • 2LEVESQUE H J, REITER R, LESPERANCE Y, et al. Golog: a logic programming language for dynamic domains [ J ]. Journal of Logic Programming, 1997,31 ( 1 - 3 ) : 59- 83.
  • 3GIACOMO G D, LESPERANCE Y, LEVESQUE H J. ConGolog, a concurrent programming language based on the situation calculus[ J]. Artificial Intelligence ,2000,121 ( 1-2 ) : 109-169.
  • 4GIACOMO G D, LEVESQUE H. An incremental interpreter for highlevel programs with sensing [ M ]// Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter. Berlin :Springer, 1999 : 86-102.
  • 5THIELSCHER M. FLUX: a logic programming method for reasoning agent [ J ]. Theory and Practice of Logic Programming, 2005,5 (4-5) :533-565.
  • 6LIU Yi-song, ZHONG San, ZHAN Yong-zhao. Reasoning about action for behavioral animation of intelligent virtual agents [ J ]. The International Journal of Virtual Reality,2008,7(3) :37-42.
  • 7LESPERANCE Y, NG H. Integrating planning into reactive high-level robot programs[ C ]//Proc of the 2nd International Cognitive Robotics Workshop. 2000: 49-54.
  • 8SUTYON R S, BARTO A G. Reinforcement learning: an introduction [ M ]. Cambridge : MIT Press, 1998.
  • 9刘一松,文占朝.基于流演算的智能虚拟人模型研究与实现[J].计算机应用研究,2009,26(8):2968-2970. 被引量：3

引证文献1

计算机应用研究
2010年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部