基于有限迁移系统的线性时态逻辑的计量化方法

• 作者: 时慧娴 王国俊
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 线性时态逻辑 迁移系统 满足度 离散时间马尔可夫链 逻辑度量空间
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 模糊集理论
• 页码范围: 30-35
• 分类号: O141
• 字数: 5092字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2012.05.005

摘要

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式(ψ)的满足度,并指出该概念是“TS满足(ψ)”这一概念的计量化推广.在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0
2	时慧娴	陕西师范大学数学研究所	7	21	3.0	4.0