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, 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.