论文部分内容阅读
计算机生成兵力(CGF)系统在虚拟战场环境中提供一组能自治地控制自身行为的智能化虚拟实体,并要求这些实体与虚拟环境中人控制的其它虚拟实体在行为上不能区分。因此,如何实现这些计算机生成的智能实体的行为并提高其智能水平,成为CGF系统开发的难点和瓶颈。行为表示是行为实现的基础,对CGF实体行为的生成及其效率与真实性都有直接影响。本文借鉴情景演算中的动作理论,研究CGF实体的行为表示,借助线性时态逻辑表示CGF实体的行为及其之间的关系,提出了基于线性时态逻辑的动作行为表示方法,为建立CGF实体的行为描述语