经典命题逻辑中的近似推理与强近似推理

摘要：

　　基于命题逻辑公式之间相似度的概念，在经典命题逻辑系统中提出了两种近似推理模式，得到了它们的一些基本性质。讨论了这两种椎理模式与经典推理模式之间的关系。此外，当理论(P)有限时，本文分别拾出(P)在α程度上近似推出公式A和理论Σ的充要条件。最后，我们拾出公式A与有限理论(P)的结论亲D(P)之间距离的计算公式。

关键词： 命题逻辑 近似推理 强近似推理

作者: 罗清君 王国俊

作者单位: 陕西师范大学数学与信息科学学院,陕西西安710062;西安财经学院统计学院,陕西西安710100 陕西师范大学数学与信息科学学院,陕西西安710062

会议类型: 国内会议

会议名称: 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议

会议地点: 福州

会议语种:中文

页码: 20-24,1-1

在线出版日期: 2012-11-02（万方平台首次上网日期，不代表论文的发表时间）