Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

• 作者: 吴霞 张家录
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: Lukasiewicz n值逻辑系统 真度 不可靠度 真值状态 伪距离 近似推理
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2085-2090
• 页数: 6页
• 分类号: O142
• 字数: 5931字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2012.10.030

摘要

在Lukasiewicz n值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewicz n值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张家录	湘南学院数学系	51	133	6.0	9.0
2	吴霞	湘南学院数学系	18	23	3.0	4.0