模糊交互时态逻辑的一些标记

doi:10.3778/j.issn.1673-9418.1807034

计算机科学与探索 ›› 2018, Vol. 12 ›› Issue (12): 2033-2040.DOI: 10.3778/j.issn.1673-9418.1807034

• 理论与算法 • 上一篇

模糊交互时态逻辑的一些标记

朱晔，袁红娟，钱俊彦，潘海玉

1. 泰州学院计算机科学与技术学院，江苏泰州 225300

2. 桂林电子科技大学广西可信软件重点实验室，广西桂林 541004

出版日期:2018-12-01 发布日期:2018-12-07

Some Notes on Fuzzy Alternating-Time Temporal Logic

ZHU Ye, YUAN Hongjuan, QIAN Junyan, PAN Haiyu

1. College of Computer Science and Technology, Taizhou University, Taizhou, Jiangsu 225300, China
2. Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, Guangxi 541004, China

Online:2018-12-01 Published:2018-12-07

摘要/Abstract

摘要：

模糊并发博弈结构是一种可以对具有模糊不确定信息的开放系统进行建模和分析的工具，基于该模型的模糊交互时态逻辑的模型检测问题初步得到解决。首先通过将模糊交互时态逻辑的模型检测问题转化为有限个经典的交互时态逻辑的模型检测问题，从而可以利用经典的交互时态逻辑的模型检测算法来解决模糊交互时态逻辑的模型检测；研究了模糊交互时态逻辑语义的连续性问题，即模糊并发博弈结构发生微小变化时，模糊交互时态逻辑的语义是否也相应地发生微小的变化。

关键词: 交互时态逻辑, 计算树逻辑, 并发博弈结构, 模型检测, 模糊逻辑

Abstract:

Fuzzy concurrent game structures are a tool to model and analyze open systems with fuzzy uncertain information, and the model checking problem for fuzzy alternating-time temporal logic over these models has been explored yet. This paper first transforms model checking problem for fuzzy alternating-time temporal logic into several classical alternating-time temporal logic model checking problems, and then uses the algorithms for alternating-time temporal logic model checking problem to solve the problem. This paper also discusses the continuity property of semantics of fuzzy alternating-time temporal logic. In other words, when arbitrarily small changes happen over fuzzy concurrent game structures, small changes happen or not in truth values of fuzzy alternating-time temporal logic formulas.

Key words: alternating-time temporal logic, computation tree logic, concurrent game structure, model checking, fuzzy logic

朱晔，袁红娟，钱俊彦，潘海玉. 模糊交互时态逻辑的一些标记[J]. 计算机科学与探索, 2018, 12(12): 2033-2040.

ZHU Ye, YUAN Hongjuan, QIAN Junyan, PAN Haiyu. Some Notes on Fuzzy Alternating-Time Temporal Logic[J]. Journal of Frontiers of Computer Science and Technology, 2018, 12(12): 2033-2040.

[1]	陈晨，邓赵红，高艳丽，王士同. 多模糊核融合的单目标跟踪算法[J]. 计算机科学与探索, 2020, 14(5): 848-860.
[2]	陈晨，高艳丽，邓赵红，王士同. TSK模糊逻辑系统相关滤波器跟踪算法[J]. 计算机科学与探索, 2020, 14(2): 294-306.
[3]	魏杰林，袁申，李永明，梁常建. 具有DP的广义可能性模糊时态CTL模型检测[J]. 计算机科学与探索, 2019, 13(10): 1781-1792.
[4]	祝义，黄志球，周航. 采用函数式语言的BPEL模型形式化验证方法[J]. 计算机科学与探索, 2018, 12(2): 185-196.
[5]	鱼先锋，李超，李永明. 直觉模糊测度的计算树逻辑[J]. 计算机科学与探索, 2017, 11(9): 1523-1530.
[6]	李丹，李永明. 广义可能性计算树逻辑和计算树逻辑的关系[J]. 计算机科学与探索, 2017, 11(10): 1681-1688.
[7]	陶洋，赫前进. 异构融合网络中的垂直切换机制研究[J]. 计算机科学与探索, 2016, 10(4): 504-515.
[8]	鲍秋霜，张晋津. 直觉主义计算树逻辑中的安全性和活性[J]. 计算机科学与探索, 2016, 10(2): 163-172.
[9]	赵杰，李永明. 广义可能性计算树逻辑的两种范式[J]. 计算机科学与探索, 2016, 10(10): 1475-1481.
[10]	邹丽，刘迪，郑宏亮. 直觉模糊逻辑的(α,β)-广义锁归结方法[J]. 计算机科学与探索, 2015, 9(8): 1004-1009.
[11]	余鹏，魏欧，韩兰胜，牛耘. 模型检测网络传播干预策略[J]. 计算机科学与探索, 2014, 8(8): 906-918.
[12]	张胜礼. 带有不同否定的模糊命题逻辑的形式演绎系统[J]. 计算机科学与探索, 2014, 8(4): 494-505.
[13]	肖云萍+,邹庭荣 . 泛逻辑学中UB代数系统的fuzzy滤子[J]. 计算机科学与探索, 2008, 2(2): 212-216.
[14]	陈力琼1+ ,陈贤2 . 认证测试方法的改进及应用[J]. 计算机科学与探索, 2008, 2(1): 104-109.

模糊交互时态逻辑的一些标记

Some Notes on Fuzzy Alternating-Time Temporal Logic

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 14

编辑推荐

Metrics