数字游戏中的协同——描述任务逻辑方法  

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

作　　者：张巍[1] 曾亮[1] 张会[2] 李思昆[1] 

机构地区：[1]国防科学技术大学计算机学院软件所,长沙410073 [2]海军潜艇学院军事运筹教研室,山东青岛266071

出　　处：《计算机研究与发展》2012年第7期1507-1513,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60873120);国家"九七三"重点基础研究发展计划基金项目(2009CB723803)

摘　　要：传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务.Most traditional dynamic interactions, and do digital games are little concerned about the description of high-level not support describing collaboration relations and planning of multidevel of groups. Furthermore, few of them are based on a complete formal theory. The description logic of tasks combines the knownlege representation structure of the description logic and the task semantics of the logic of tasks. A formal definition of the collaboration and collaborative planning in digital games is provided, which defines the completeness of the task. Meanwhile, a decision theorem of the completeness of the planning under joint strategies is also given by the method. Experimental results demonstrate that task interaction semantics in high-level relationship of the virtual group is described accurately, and decidable deduction service for the completeness of the collaborative planning is provided as well.

关 键 词：数字游戏 协同 群体 描述任务逻辑 非玩家角色 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]