基于线性时态逻辑的动作行为表示方法
计算机生成兵力(CGF)系统在虚拟战场环境中提供一组能自治地控制自身行为的智能化虚拟实体,并要求这些实体与虚拟环境中人控制的其它虚拟实体在行为上不能区分.因此,如何实现这些计算机生成的智能实体的行为并提高其智能水平,成为CGF系统开发的观点和瓶颈.行为表示是行为是行为实现的基础,对CGF实体行为的生成及其效率与真实性都有直接影响.本文借鉴情景演算中的动作理论,研究CGF实体的行为表示,借助线性时态逻辑表示CGF实体的行为及其之间的关系,提出了基于线性时态逻辑的动作行为表示方法,为建立CGF实体的行为描述语言提供了理论基础.
虚拟战场环境 计算机生成兵力 情景演算 线性时态逻辑 行为表示
庞国峰 沈旭昆
北京航空航天大学计算机系(北京)
国内会议
北京
中文
399-402
2001-11-01(万方平台首次上网日期,不代表论文的发表时间)