中央高校基本科研业务费专项资金(GK201004006)
- 作品数:2 被引量:11H指数:2
- 相关作者:王国俊时慧娴更多>>
- 相关机构:陕西师范大学更多>>
- 发文基金:中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 基于有限迁移系统的线性时态逻辑的计量化方法被引量:4
- 2012年
- 基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。
- 时慧娴王国俊
- 关键词:线性时态逻辑满足度逻辑度量空间
- 多值模态逻辑的计量化方法被引量:10
- 2012年
- 在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.
- 时慧娴王国俊
- 关键词:时态逻辑