| 基于有限迁移系统的线性时态逻辑的计量化方法 |
| |
| 引用本文： | 时慧娴,王国俊.基于有限迁移系统的线性时态逻辑的计量化方法[J].模糊系统与数学,2012,26(5):30-35. |
| |
| 作者姓名： | 时慧娴 王国俊 |
| |
| 作者单位： | 陕西师范大学数学研究所,陕西西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目，中央高校基本科研业务费专项资金资助项目 |
| |
| 摘 要： | 基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。
|
| 关 键 词： | 线性时态逻辑 迁移系统 满足度 离散时间马尔可夫链 逻辑度量空间 |
A Quantitative Approach for Linear Temporal Logic Based on Finite Transition Systems |
| |
| SHI Hui-xian
,
WANG Guo-jun.A Quantitative Approach for Linear Temporal Logic Based on Finite Transition Systems[J].Fuzzy Systems and Mathematics,2012,26(5):30-35. |
| |
| Authors: | SHI Hui-xian WANG Guo-jun |
| |
| Institution: | (Institute of Mathematics,Shaanxi Normal University,Xi’an 710062,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
