期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模糊交互时态逻辑及其语义结构
被引量：
2
1
作者
王秀丽
宁正元
+1 位作者
胡山立
赖贤伟
《广西师范大学学报（自然科学版）》
CAS
北大核心
2008年第1期154-157,共4页
Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博...
Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL*),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL*的表达力比ATL*强。
展开更多
关键词
交互时态逻辑
并发
博弈
结构
已
映射
模糊
并发
博弈
结构
可能性分布
表达力
下载PDF
职称材料
题名
模糊交互时态逻辑及其语义结构
被引量：
2
1
作者
王秀丽
宁正元
胡山立
赖贤伟
机构
福建农林大学计算机与信息学院
福州大学数学与计算机科学学院
出处
《广西师范大学学报（自然科学版）》
CAS
北大核心
2008年第1期154-157,共4页
基金
国家自然科学基金资助项目(60373079,60573076)
福建省自然科学基金资助项目(2006J0299)
文摘
Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL*),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL*的表达力比ATL*强。
关键词
交互时态逻辑
并发
博弈
结构
已
映射
模糊
并发
博弈
结构
可能性分布
表达力
Keywords
alternating-time temporal logic
concurrent game structures
mapped fuzzy concurrent game structures
possibility distribution
expressivity
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模糊交互时态逻辑及其语义结构
王秀丽
宁正元
胡山立
赖贤伟
《广西师范大学学报（自然科学版）》
CAS
北大核心
2008
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
