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