具有模糊时态的广义可能性线性时序逻辑的模型检测

• 作者: 李永明 梁常建
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 模糊时态 可能性性质 线性时序逻辑 时间复杂度 阈值模型检测
• 年，卷（期）: 2017,（12）
• 所属期刊栏目: 学术论文
• 页码范围: 2971-2977
• 页数: 7页
• 分类号: TP301.2
• 字数: 8823字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.12.020

摘要

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL (Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPoLTL (Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了“不久”,“几乎总是”等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学数学与信息科学学院	165	505	12.0	16.0
2	梁常建	陕西师范大学数学与信息科学学院	15	12	3.0	3.0