您的位置： 专家智库 > >

时慧娴

作品数：9 被引量：22H指数：4
供职机构：陕西师范大学数学与信息科学学院更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 8篇理学
  • 1篇自动化与计算...

主题

  • 5篇满足度
  • 4篇时态逻辑
  • 3篇度量空间
  • 3篇真度
  • 3篇逻辑度量空间
  • 2篇线性时态逻辑
  • 2篇逻辑系统
  • 2篇模态逻辑
  • 2篇局部化
  • 1篇动态模型
  • 1篇时态
  • 1篇时序逻辑
  • 1篇重言式
  • 1篇线性时序逻辑
  • 1篇逻辑公式
  • 1篇计量逻辑学
  • 1篇广义重言式
  • 1篇多值
  • 1篇范式
  • 1篇MTL

机构

  • 9篇陕西师范大学
  • 2篇华东师范大学
  • 1篇江西财经大学
  • 1篇西安财经学院

作者

  • 9篇时慧娴
  • 7篇王国俊
  • 1篇李永明
  • 1篇罗清君
  • 1篇王庆平
  • 1篇王伟

传媒

  • 2篇陕西师范大学...
  • 1篇模糊系统与数...
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇山东大学学报...
  • 1篇中国科学：信...
  • 1篇中国系统工程...

年份

  • 1篇2015
  • 2篇2013
  • 3篇2012
  • 2篇2011
  • 1篇2009
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
模态逻辑的计量化研究及其在模型检验中的应用
本文的目的在于建立模态逻辑的计量化理论,并将其基本方法用于解决模型检验的计量化问题以及简化模型检验的过程. 计量逻辑学的提出旨在将基于概率、积分等工具的数值计算方法引入到以形式推理为特色的数理逻辑中,使原本符号化的推理具...
时慧娴
关键词：计量逻辑学模态逻辑时态逻辑满足度
文献传递
n值逻辑系统L_n~*中广义重言式的计量化研究被引量：6
2009年
基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.
王国俊时慧娴
关键词：广义重言式
逻辑系统MTL_▽及其完备性被引量：2
2011年
在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL▽代数的概念,并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。
时慧娴王国俊
多值模态逻辑的计量化方法被引量：10
2012年
在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.
时慧娴王国俊
关键词：时态逻辑
线性时序逻辑基于DTMC的计量化方法
2015年
考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中"D满足φ"这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。
时慧娴李永明
关键词：线性时序逻辑满足度逻辑度量空间
格值模态命题逻辑及其完备性被引量：4
2011年
文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.
王国俊时慧娴
迁移系统关于一类时态逻辑公式的满足度被引量：1
2013年
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.
王国俊王庆平时慧娴罗清君王伟
关键词：满足度
基于有限迁移系统的线性时态逻辑的计量化方法被引量：4
2012年
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。
时慧娴王国俊
关键词：线性时态逻辑满足度逻辑度量空间
基于有限迁移系统的线性时态逻辑的计量化方法
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度，定义迁移系统TS对于LTL公式(ω)的满足度，并指出该概念是“TS满足(ω)”这一概念的计量化推广。在满足度理论的基础上，引入LTL公式之间的相似度，并诱导全体...
时慧娴王国俊
关键词：线性时态逻辑满足度逻辑度量空间
文献传递
全选 清除 导出
共1页<1>
聚类工具0