Task description logic based on temporal constrain net

Modern robots usually need to operate non-cooperative targets in unstructured environment. There are unpredictable events which can reduce the capacity of robots. Therefore, task descriptions for robots just indicate what to do, not how to do. This paper proposes a task description logic based on temporal constrain net to provide a formalized method for task description and deciding whether a plan meets the requirements of task description or not. © (2014) Trans Tech Publications, Switzerland