摘要:交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性。然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析。
关键词:交互时态逻辑 计算树逻辑 并发博弈结构 模型检测 模糊逻辑
单位:泰州学院计算机科学与技术学院; 江苏泰州225300; 桂林电子科技大学广西可信软件重点实验室; 广西桂林541004; 淮北师范大学计算机科学与技术学院; 安徽淮北235000
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关范文
模糊数学论文