首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于线性时态逻辑的动作行为表示方法
引用本文:庞国峰,沈旭昆.基于线性时态逻辑的动作行为表示方法[J].系统仿真学报,2001(Z2).
作者姓名:庞国峰  沈旭昆
作者单位:北京航空航天大学计算机系 北京100083 (庞国峰),北京航空航天大学计算机系 北京100083(沈旭昆)
摘    要:计算机生成兵力(CGF)系统在虚拟战场环境中提供一组能自治地控制自身行为的智能化虚拟实体,并要求这些实体与虚拟环境中人控制的其它虚拟实体在行为上不能区分。因此,如何实现这些计算机生成的智能实体的行为并提高其智能水平,成为CGF系统开发的难点和瓶颈。行为表示是行为实现的基础,对CGF实体行为的生成及其效率与真实性都有直接影响。本文借鉴情景演算中的动作理论,研究CGF实体的行为表示,借助线性时态逻辑表示CGF实体的行为及其之间的关系,提出了基于线性时态逻辑的动作行为表示方法,为建立CGF实体的行为描述语言提供了理论基础。

关 键 词:虚拟战场环境  计算机生成兵力  情景演算  线性时态逻辑  行为表示

The Action Behavior Representation Method Based on Linear Temporal Logic
PANG Guo-feng,SHEN Xu-kun.The Action Behavior Representation Method Based on Linear Temporal Logic[J].Journal of System Simulation,2001(Z2).
Authors:PANG Guo-feng  SHEN Xu-kun
Abstract:
Keywords:virtual battlefield environment  CGF (Computer Generated Forces)  scene calculation  linear temporal logic  behavior representation
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号