面向智能服务机器人任务规划的行动语言扩展
作者:
基金项目:

国家自然科学基金(60745002, 61105039, 61175057); 国家高技术研究发展计划(863)(2008AA01Z150)


Extending Action Languages for Intelligent Service Robot Task Planning
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [26]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    针对智能服务机器人的任务规划,引入复合行动对行动语言C+进行了扩展,并实现了其求解系统.在扩展的行动语言C+中,复合行动被定义成一定条件下一系列基本行动的连续执行.通过刻画扩展的行动描述和其对应的转移系统的关系,证明了扩展行动语言相对于原始行动语言的可靠性和完备性.在智能服务机器人的任务规划中,复合行动可以看成是一种对于机器人能力的“高层”抽象.这样的扩展使得对于机器人规划系统的建模更加直观,具有更大的灵活性,并且扩展有增量式的优点.实验结果表明,通过引入复合行动,对于比较复杂的机器人任务规划问题,可以很好地改进求解效率.

    Abstract:

    To improve the task planning module in intelligent service robots, an extension of the action language C+ is proposed and implemented by introducing composite actions as a sequential executions of other actions. The soundness and completeness of the extension is proved by relating the action description in the extended C+ to its corresponding transition system. In the domain of robotic task planning, a composite action can be treated as a “high-level” abstraction of the robot’s physical functions. Such an extension leads to a more intuitive and flexible representation of the robot’s task planning system, and the knowledge of composite actions can be added to the domain incrementally. The experimental results show that for large domains, the extension leads to a great improvement of the solving efficiency.

    参考文献
    [1] Huang YT, Chen WD, Sun YX. Safety design and realization of an assistive robotic manipulator based on collision detection.Robot, 2011,33(1):40-45 (in Chinese with English abstract). [doi: 10.3724/SP.J.1218.2011.00040]
    [2] Rusu RB, Cousins S. 3D is here: Point cloud library (PCL). In: Proc. of the 2011 IEEE Int’l Conf. on Robotics and Automation(ICRA 2011). Shanghai: IEEE, 2011. [doi: 10.1109/ICRA.2011.5980567]
    [3] Cai ZX, He HG, Chen H. Control Theory and Methods of Mobile Robots’ Navigation in Unknown Environments. Beijing: SciencePress, 2009 (in Chinese).
    [4] Chen XP, Ji JM, Jiang JH, Jin GQ, Wang F, Xie JK. Developing high-level cognitive functions for service robots. In: van der HoekW, Kaminka GA, Lesperance Y, Luck M, Sen S, eds. Proc. of the 9th Int’l Conf. on Autonomous Agents and Multi-Agent Systems(AAMAS 2010). Toronto: IFAAMAS, 2010. 989-996. [doi: 10.1145/1838206.1838339]
    [5] Erdem E, Haspalanmutgil K, Palaz C, Patoglu V, Uras T. Combining high-level causal reasoning with low-level geometricreasoning and motion planning for robotic manipulation. In: Proc. of the IEEE Int’l Conf. on Robotics and Automation (ICRA2011). Shanghai: IEEE, 2011. 4575-4581. [doi: 10.1109/ICRA.2011.5980160]
    [6] Ji JM, Chen XP, Jiang JH, Jin GQ, Wang F. A service robot architecture supporting individualized coordination. Journal of NanjingUniversity (Natural Sciences), 2010,(2):131-139 (in Chinese with English abstract).
    [7] Quigley M, Gerkey B, Conley K, Faust J, Foote T, Leibs J, Berger E, Wheeler R, Ng A. ROS: An open-source robot operatingsystem. In: Proc. of the Open-Source Software Workshop of the IEEE Int’l Conf. on Robotics and Automation. Kobe, 2009.http://www.willowgarage.com/papers/ros-open-source-robot-operating-system
    [8] Wu B, He YY. Reasearch and realization of universal control software of service robot. Computer Measurement & Control, 2010,18(5):1186-1188 (in Chinese with English abstract).
    [9] Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Kowalski R, Bowen K, eds. Proc. of the Int’l LogicProgramming Conf. and Symp. MIT Press, 1988. 1070-1080.
    [10] Giunchiglia E, Lee JH, Lifschitz V, McCain N, Turner H. Nonmonotonic causal theories. Artificial Intelligence, 2004,153(1-2):49-104. [doi: 10.1016/j.artint.2002.12.001]
    [11] Aker E, Erdogan A, Erdem E, Patoglu V. Causal reasoning for planning and coordination of multiple housekeeping robots. In:Delgrande JP, Faber W, eds. Proc. of the 11th Int’l Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011).Vancouver: Springer-Verlag, 2011. 311-316. [doi: 10.1007/978-3-642-20895-9_36]
    [12] Casolary M, Lee JH. Representing the language of the causal calculator in answer set programming. In: Gallagher JP, Gelfond M,eds. Proc. of the Technical Communications of the 27th Int’l Conf. on Logic Programming (ICLP 2011). Lexington: SchlossDagstuhl—Leibniz-Zentrum fuer Informatik, 2011. 51-61. [doi: 10.4230/LIPIcs.ICLP.2011.51]
    [13] Korf RE. Planning as search: A quantitative approach. Artificial Intelligence, 1987,33(1):65-88. [doi: 10.1016/0004-3702(87)90051-8]
    [14] Erol K, Hendler J, Nau DS. HTN planning: Complexity and expressivity. In: Hayes-Roth B, Korf RE, eds. Proc. of the 12thNational Conf. on Artificial Intelligence. Seattle: AAAI Press, 1994. 1123-1128.
    [15] Sacerdoti ED. Planning in a hierarchy of abstraction space. In: Nilsson NJ, ed. Proc. of the 3rd Int’l Joint Conf. on ArtificialIntelligence (IJCAI’73). Stanford: William Kaufmann, 1973. 412-422.
    [16] Fikers RE, Nilsson NJ. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence,1971,2(3/4):189-208. [doi: 10.1016/0004-3702(71)90010-5]
    [17] Ghallab M, Howe A, Knoblock C, Mcdermott D, Ram A, Veloso M, Weld D, Wilkins D. PDDL—The planning domain definitionlanguages. Technical Report, CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, 1998.
    [18] Mccarthy J, Heyes PJ. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 1969,4:463-502. http://www-formal.stanford.edu/jmc/mcchay69/mcchay69.html
    [19] Levesque HJ, Reiter R, Lesperance Y, Lin FZ, Scherl RB. Golog: A logic programming language for dynamic domains. Journal ofLogic Program, 1997,31(1-3):59-83. [doi: 10.1016/S0743-1066(96)00121-5]
    [20] Mcilraith S, Fadel R. Planning with complex actions. In: Benferhat S, Guinchiglia E, eds. Proc. of the 9th Int’l Wrokshop on Non-Monotonic Reasoning (NMR 2002). Roulouse, 2002. 356-364. http://www.informatik.uni-trier.de/~ley/db/conf/nmr/nmr2002.html#McIlraithF02
    [21] Mccarthy J. Elaboration tolerance. In: Miller R, Shanahan M, eds. Proc. of 4th Symp. on Logical Formalizations of CommonsenseReasoning (Commonsense’98). Menlo Park: AAAI Press, 1998. http://www-formal.stanford.edu/jmc/elaboration/
    [22] Son TC, Baral C, Tran N, Mcilraith S. Domain-Depend knowledge in answer set planning. ACM Trans. on Computational Logic,2006,7(4):613-657. [doi: 10.1145/1183278.1183279]
    [23] Inclezan D, Gelfond M. Representing biological processes in modular action language ALM. In: Proc. of the 2011 AAAI SpringSymp. on Formalizations of Commonsense Reasoning. AAAI Press, 2011. 49-55. http://www.informatik.uni-trier.de/~ley/db/conf/aaaiss/aaaiss2011-6.html#InclezanG11
    [24] Erdogan ST, Lifschitz V. Actions as special cases. In: Doherty P, Mylopoulos J, Welty CA, eds. Proc. of the 10th Int’l Conf. onPrinciples of Knowledge Representation and Reasoning (KR 2006). Lake District of the United Kingdom: AAAI Press, 2006.377-388.
    [25] Gebser M, Kaufmann B, Neumann A, Schaub T. clasp: A conflict-driven answer set solver. In: Baral C, Brewka G, Schlipf JS, eds.Proc. of the 9th Int’l Conf. of Logic Programming and Nonmonotonic Reasoning (LPNMR 2007). Tempe: Springer-Verlag, 2007.260-265. [doi: 10.1007/978-3-540-72200-7_23]
    [26] Lifschitz V, Ren WW. A modular action description language. In: Proc. of the 21st National Conf. on Artificial Intelligence and the18th Innovative Applications of Artificial Intelligence Conf. Boston: AAAI Press, 2006. 853-859. http://www.informatik.unitrier.de/~ley/db/conf/aaai/aaai2006.html#LifschitzR06
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

靳国强,陈小平.面向智能服务机器人任务规划的行动语言扩展.软件学报,2013,24(7):1614-1625

复制
分享
文章指标
  • 点击次数:3243
  • 下载次数: 6325
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2012-05-12
  • 最后修改日期:2012-07-26
  • 在线发布日期: 2013-07-02
文章二维码
您是第19791708位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号