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

摘要：

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

关键词： 线性时态逻辑 迁移系统 满足度 离散时间马尔可夫链 逻辑度量空间

作者: 时慧娴 王国俊

作者单位: 陕西师范大学数学研究所,陕西西安710052

会议类型: 国内会议

会议名称: 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议

会议地点: 福州

会议语种:中文

页码: 30-35,1-1

在线出版日期: 2012-11-02（万方平台首次上网日期，不代表论文的发表时间）