首页> 中文会议>第一届全国虚拟现实与可视化学术会议 >基于线性时态逻辑的动作行为表示方法

基于线性时态逻辑的动作行为表示方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第一届全国虚拟现实与可视化学术会议》|2001年|399-402|共4页
会议地点北京
作者
庞国峰; 沈旭昆;
展开▼
作者单位

中国自动化学会;

中国系统仿真学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类计算机仿真;
关键词
虚拟战场环境; 计算机生成兵力; 情景演算; 线性时态逻辑; 行为表示;
入库时间 2022-08-17 10:20:34

相似文献

中文文献
外文文献
专利

1. 基于线性时态逻辑的动作行为表示方法 [J] . 庞国峰 ,沈旭昆 . 系统仿真学报 . 2001,第S2期
2. 基于强相关逻辑的不精确应急时态知识表示 [J] . 张贤坤 ,刘栋 ,高珊 . 计算机工程与应用 . 2012,第015期
3. 基于粗糙描述逻辑的不精确时态知识表示研究 [J] . 张贤坤 ,刘栋 ,李乐明 . 计算机工程与设计 . 2012,第008期
4. 基于时态逻辑的知识表示研究 [J] . 李龙澍 ,凌成 . 安徽大学学报（自然科学版） . 2002,第002期
5. 基于时态边缘算子的时间序列分段线性表示 [J] . 肖辉 ,马海兵 ,龚薇 . 计算机工程与应用 . 2008,第019期
6. 基于有限迁移系统的线性时态逻辑的计量化方法 [C] . 时慧娴 ,王国俊 . 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议 . 2012
7. 基于描述逻辑的时态知识表示与推理研究 [A] . 何庆 . 2007

基于线性时态逻辑的动作行为表示方法

摘要

著录项

相似文献

相关主题

期刊订阅