基于语言真值直觉模糊真度矩阵的多属性决策方法

针对含有模糊语言信息的决策问题,基于语言真值直觉模糊格蕴涵代数理论,提出了语言真值直觉模糊真度矩阵,给出了将语言真值直觉模糊判断矩阵转换为语言真值直觉模糊真度矩阵的方法,利用语言OWA算子对语言真值直觉模糊真度矩阵进行聚合、排序进而得出最优方案.将该方法应用于选择最佳创业项目为例,说明该方法的合理性和有效性.     

逻辑系统G3中命题的D-条件真度与近似推理

基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算“∨”,“∧”,“→”关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。     

n值乘积命题逻辑系统的真度研究

对n值Goguen命题逻辑系统进行公理化扩张记为Goguen～,△.在该系统中添加了新的连接词～,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质.     

连续值命题逻辑系统中公式的概率真度

取赋值格为[0,1],引入赋值密度函数,定义了命题公式的概率真度,并讨论几种赋值密度函数的形态,得到一些概率真度推理规则.     

三值乘积逻辑系统中绝对真度的理论研究

在三值乘积逻辑系统π3中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念.利用绝对真度定义了公式间的绝对相似度和伪距离,并讨论了绝对相似度和伪距离的性质以及绝对真度与绝对相似度,伪距离的关系.     

逻辑系统Ln中命题的真度理论

利用势为n的均匀概率空间的无穷乘积, 在n值广义Lukasiewicz命题逻辑系统中引入命题的真度概念, 证明了全体公式的真度值之集在上是稠密的, 并给出了公式真度的表达通式及真度推理规则; 利用真度定义了公式间的相似度, 进而导出了全体公式集上的一种伪距离, 为n值命题逻辑的近似推理理论提供了一种可能的框架.     

谓词逻辑中公理化真度的若干评注

根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算，讨论了该真度下伪距离的性质，并应用赋值法论证了真度为1的公式与广义定理及定理的关系，分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.     

Lukasiewicz命题逻辑中公式的Г-真度理论和极限定理

对“Lukasiewicz他值命题逻辑中公式的真度理论和极限定理”进行了再研究．（1）在Lukasiewicz n值命题逻辑中，给出了真度的赋值表示形式，该形式从赋值角度直接反映了公式的真度表示公式为重言式的隶属度的实质；（2）在Lukasiewicz n值命题逻辑中，利用真度的赋值表示形式提出了公式关于局部有限理论Г的Г-真度概念，给出了公式的Г-真度的几种等价形式及性质；（3）得到了Lukasiewicz n 值命题逻辑中关于Г-真度理论的极限定理；（4）给出了Lukasiewicz连续值命题逻辑中公式的Г-真度定义的合理形式，以及Lukasiewicz命题逻辑中真度的对称性定理；（5）在Lukasiewicz n值命题逻辑中，利用极限方法和Г-真度的赋值形式对公式关于无限理论Г的Г-真度问题进行了讨论．     

标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.     

ヒukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础.