期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
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
2
作者
袁红娟
马艳芳
潘海玉
《计算机工程与科学》
CSCD
北大核心
2017年第12期2290-2296,共7页
交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入...
交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性。然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析。
展开更多
关键词
交互时态逻辑
计算树逻辑
并发
博弈
结构
模型检测
模糊
逻辑
在线阅读
下载PDF
职称材料
模糊交互时态逻辑的一些标记
被引量：
1
3
作者
朱晔
袁红娟
+1 位作者
钱俊彦
潘海玉
《计算机科学与探索》
CSCD
北大核心
2018年第12期2033-2040,共8页
模糊并发博弈结构是一种可以对具有模糊不确定信息的开放系统进行建模和分析的工具,基于该模型的模糊交互时态逻辑的模型检测问题初步得到解决。首先通过将模糊交互时态逻辑的模型检测问题转化为有限个经典的交互时态逻辑的模型检测问题...
模糊并发博弈结构是一种可以对具有模糊不确定信息的开放系统进行建模和分析的工具,基于该模型的模糊交互时态逻辑的模型检测问题初步得到解决。首先通过将模糊交互时态逻辑的模型检测问题转化为有限个经典的交互时态逻辑的模型检测问题,从而可以利用经典的交互时态逻辑的模型检测算法来解决模糊交互时态逻辑的模型检测;研究了模糊交互时态逻辑语义的连续性问题,即模糊并发博弈结构发生微小变化时,模糊交互时态逻辑的语义是否也相应地发生微小的变化。
展开更多
关键词
交互时态逻辑
计算树逻辑
并发
博弈
结构
模型检测
模糊
逻辑
在线阅读
下载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
职称材料
题名
模糊交互时态逻辑的模型检测
被引量：
2
2
作者
袁红娟
马艳芳
潘海玉
机构
泰州学院计算机科学与技术学院
桂林电子科技大学广西可信软件重点实验室
淮北师范大学计算机科学与技术学院
出处
《计算机工程与科学》
CSCD
北大核心
2017年第12期2290-2296,共7页
基金
国家自然科学基金(61672023
61673352)
+3 种基金
安徽省自然科学基金(1708085MF159)
江苏高校"青蓝工程"
广西可信软件重点实验室研究课题(kx201609)
泰州市科技支撑社会发展计划(TS2015040)
文摘
交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性。然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析。
关键词
交互时态逻辑
计算树逻辑
并发
博弈
结构
模型检测
模糊
逻辑
Keywords
alternating-time temporal logic
computation tree logic
concurrent game structure
model checking
fuzzy logic
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
模糊交互时态逻辑的一些标记
被引量：
1
3
作者
朱晔
袁红娟
钱俊彦
潘海玉
机构
泰州学院计算机科学与技术学院
桂林电子科技大学广西可信软件重点实验室
出处
《计算机科学与探索》
CSCD
北大核心
2018年第12期2033-2040,共8页
基金
国家自然科学基金Nos.61672023
61562015
+7 种基金
61673352
广西自然科学重点基金Nos.2015GXNSFDA139038
2018GXNSFDA138003
广西可信软件重点实验室基金No.kx201609
广西高等学校高水平创新团队及卓越学者计划基金
桂林电子科技大学创新团队基金
江苏高校"青蓝工程"
泰州市科技计划项目No.TS201634~~
文摘
模糊并发博弈结构是一种可以对具有模糊不确定信息的开放系统进行建模和分析的工具,基于该模型的模糊交互时态逻辑的模型检测问题初步得到解决。首先通过将模糊交互时态逻辑的模型检测问题转化为有限个经典的交互时态逻辑的模型检测问题,从而可以利用经典的交互时态逻辑的模型检测算法来解决模糊交互时态逻辑的模型检测;研究了模糊交互时态逻辑语义的连续性问题,即模糊并发博弈结构发生微小变化时,模糊交互时态逻辑的语义是否也相应地发生微小的变化。
关键词
交互时态逻辑
计算树逻辑
并发
博弈
结构
模型检测
模糊
逻辑
Keywords
alternating-time temporal logic
computation tree logic
concurrent game structure
model checking
fuzzy logic
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模糊交互时态逻辑及其语义结构
王秀丽
宁正元
胡山立
赖贤伟
《广西师范大学学报（自然科学版）》
CAS
北大核心
2008
2
在线阅读
下载PDF
职称材料
2
模糊交互时态逻辑的模型检测
袁红娟
马艳芳
潘海玉
《计算机工程与科学》
CSCD
北大核心
2017
2
在线阅读
下载PDF
职称材料
3
模糊交互时态逻辑的一些标记
朱晔
袁红娟
钱俊彦
潘海玉
《计算机科学与探索》
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
