Collaboration in Digital Games: an Approach to the Description Logic of Tasks

Zhang Wei,Zeng Liang,Zhang Hui,Li Sikun
2012-01-01
Journal of Computer Research and Development
Abstract: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
What problem does this paper attempt to address?