Task Description Logic Based on Temporal Constrain Net
Yu Cen, Wei Jia Zhou · Applied Mechanics and Materials · 2014
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.