Hierarchy Organization Model Based on the Logic of Tasks

摘要：

　　Hierarchy organization is suitable for multi-robot system application.Robot or collaborative robots group is considered as an agent,then the organization model consists of agents and the relations between them.This paper introduces the logic of tasks combined with description logic to construct logic system L.According to related works 4,we can prove L is decidable,complete and sound.Based on the logic system L,author presented a formal task-oriented hierarchy organization model that can deduce a plan with a strategy can complete task or not.

关键词： Multi-Robot System Hierarchy Organization Model Logic of Tasks Description Logic Logic System

作者: Cen YU WeiJia Zhou

作者单位: University of Chinese Academy of Sciences, Beijing 100049, CHN;Shenyang Institute of Automation Chin Shenyang Institute of Automation Chinese Academy of Sciences, State key Laboratory of Robotics, Nant

会议类型: 国际会议

会议名称: 2012 International Conference on Engineering Materials,Geotechnical Engineering and Environmental Engineering(EMGEEE2012)(2012工程材料、岩石工程和环境工程国际会议)

会议地点: 石家庄

会议语种:英文

页码: 644-649

在线出版日期: 2012-10-26（万方平台首次上网日期，不代表论文的发表时间）