The Description Logic of Tasks
Hui Zhang, Sikun Li · Research in Computing Science · 2005
The logic of tasks can be used in AI as an alternative logic of planning and action, its main appeal is that it is immune to the frame problem and the knowledge preconditions problem other plan logics confront. A drawback the present logic of tasks has is that it is nondecidable (semidecidable only). This paper extends the logic of tasks to enable the task description by adapting description structure into it. A formal system DTL, which is sound, complete and decidable, for agent abilities specification and accomplishablity of tasks judgment is proposed