Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计
作者:张家录;吴霞
作者单位:湘南学院数学系,湖南郴州423000
加工时间:2014-05-15
信息来源:《电子学报》
关键词:Lukasiewiczn值逻辑系统;真度;不可靠度;真值状态;伪距离;近似推理
摘 要:在Lukasiewicz n值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewicz n值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.