袁彦莉
- 作品数：5 被引量：3H指数：1
- 供职机构：聊城大学数学科学学院更多>>
- 发文基金：国家自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：理学自动化与计算机技术更多>>
- n值Gdel逻辑系统中的随机化研究被引量：2
- 2010年
- 利用赋值集的随机化方法,在n值Gdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.
- 袁彦莉张兴芳李成允
- Gdel逻辑系统中公式条件概率真度的研究
- 2009年
- 基于条件概率的思想,在Gdel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。
- 袁彦莉张兴芳
- 关键词：相似度伪距离
- L＊系统中的函数决定公式问题
- 2010年
- 基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
- 袁彦莉李成允张兴芳
- 关键词：真值函数真度
- 经典逻辑公理在模糊逻辑系统中的真度分析
- 2010年
- 对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。
- 牛广化陈怀进袁彦莉
- 关键词：经典逻辑公理真度
- G_n命题逻辑系统中绝对真度的理论研究被引量：1
- 2009年
- 基于绝对真度的概念,在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离,并证明了公式绝对真度的推理规则,为近似推理提供了理论基础.
- 袁彦莉张兴芳
- 关键词：伪距离
