李建生
- 作品数：4 被引量：9H指数：1
- 供职机构：兰州理工大学理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 三值标准序列逻辑中的α-真度理论被引量：1
- 2007年
- 基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.
- 李骏孟新友李建生
- 关键词：真度相似度伪度量
- 知识推理的程度化方法(英文)
- 2008年
- 在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.
- 李骏王国俊李建生
- 关键词：知识推理KRIPKE结构
- n值Lukasiewicz命题逻辑系统中公式的绝对真度理论被引量：8
- 2008年
- 在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.
- 李骏李建生周艳
- 关键词：伪距离
- n值逻辑系统中命题的绝对真度及其随机化理论
- 无论是二值逻辑还是多值逻辑，都注重形式推理而不大关心数值计算．数理逻辑侧重严密的逻辑推理，而缺乏数值计算的灵活性和广泛的应用范围．通过把数值计算引入到数理逻辑中，就可以建立起符号化与数值计算之间的联系．
“指派...
- 李建生
- 关键词：多值逻辑系统数理逻辑
- 文献传递
