G?del n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

Gdel n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

G(o)del n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G(o)del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

n值(L)kasiewicz命题逻辑中命题的α-真度理论

基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。     

命题公式的随机真度与推理规则

在[n]值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Lukasiewicz命题逻辑系统中成立。     

Łukasiewicz 命题逻辑中命题的Borel 概率真度理论和极限定理

通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型.     

(L)ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理

通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值Lukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型.     

Lukasiewicz区间值命题逻辑的a-真度理论

首先给出了区间值命题逻辑的基本概念,把概率测度和概率空间的概念拓展到区间值上,在此基础上定义了有限值区间逻辑测度,给出基于区间值概率空间的无穷乘积概念。在Lukasiewicz区间值命题逻辑中,引入命题的a-真度概念,证明了区间值真度推理规则,讨论了其性质。     

G?del n值命题逻辑系统的真度理论

首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。     

二值命题逻辑系统的T-真度理论（I）

在二值命题逻辑系统中引入了公式的T-真度概念,并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离,得到了公式到有限理论结论集的T-伪距离的T-真度表示式,为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。     

Theory of truth degrees of propositions in the logic system L_n~*

Approximate reasoning based on the idea of fuzzy sets was firstly proposed by Zadeh[1] in 1973, which differs from the one advocated in Artificial Intelligence. Indeed, Artificial Intelligence emphasizes symbolic manipulation and roots itself in logic, em…     

四种n值逻辑系统中命题的概率真度与相似度

逻辑度量研究是近似推理理论的一个重要组成部分。首先在四种常见n值逻辑系统中,利用概率测度的方法,引入了逻辑公式概率真度的概念及其表达式,讨论了其基本性质;然后在剩余格上定义了公式间的相似度,给出了四种n值逻辑系统中公式间相似度的统一表达式,研究了相似度的若干特征性质;最后引入了公式间的伪距离,为近似推理理论提供了依据。     

Theory of truth degrees of propositions in the logic system Ln*

By means of infinite product of uniformly distributed probability spaces of cardinal n the concept of truth degrees of propositions in the n-valued generalized Lukasiewicz propositional logic system L _n ^* is introduced in the present paper. It is proved that the set consisting of truth degrees of all formulas is dense in [0, 1], and a general expression of truth degrees of formulas as well as a deduction rule of truth degrees is then obtained. Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in n-valued generalized Lukasiewicz propositional logic is established.     

Theory of truth degrees of formulas in (L)ukasiewicz n-valued propositional logic and a limit theorem

The concept of truth degrees of formulas in (L)ukasiewicz n-valued proposi tional logic Ln is proposed. A limit theorem is obtained, which says that the truth function (T)n induced by truth degrees converges to the integrated truth function (T) when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued (L)ukasiewicz logic and the continuous valued (L)ukasiewicz logic. Moreover, the results obrained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.     

修正的n值Gdel逻辑系统的随机化

利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。     

n值命题逻辑中公式的随机真度

给出了Lukasiewicz n值命题逻辑中公式的随机真度的概念,研究了其性质,利用随机真度定义了公式间的随机相似度,进而导出全体公式集上的一种伪距离。     

n值命题逻辑中的P-随机真度及近似推理

利用赋值集的随机化方法,在n值命题逻辑中提出了n值逻辑P-测度和公式的P-随机真度的概念,证明了全体公式的P-随机真度之集在[0,1]中没有孤立点;利用P-随机真度定义了公式间的P-相似度和P-逻辑伪距离,为n值命题逻辑在一般情形下的近似推理理论提供了一种可能的框架。     

n值标准逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_GRn-相似度与伪距离的概念,并建立了D_GRn-逻辑度量空间,证明了此空间没有孤立点。