| 经典命题逻辑中的近似推理与强近似推理 |
| |
| 引用本文： | 罗清君,王国俊.经典命题逻辑中的近似推理与强近似推理[J].模糊系统与数学,2012,26(4):20-24. |
| |
| 作者姓名： | 罗清君 王国俊 |
| |
| 作者单位： | 1. 陕西师范大学数学与信息科学学院,陕西西安710062;西安财经学院统计学院,陕西西安 710100
2. 陕西师范大学数学与信息科学学院,陕西西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目，陕西教育厅自然科学基金资助项目 |
| |
| 摘 要： | 基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。
|
| 关 键 词： | 命题逻辑 近似推理 强近似推理 |
Approximate and Strong Entailments in Classical Propositional Logic System |
| |
| LUO Qing-jun
,
WANG Guo-jun.Approximate and Strong Entailments in Classical Propositional Logic System[J].Fuzzy Systems and Mathematics,2012,26(4):20-24. |
| |
| Authors: | LUO Qing-jun WANG Guo-jun |
| |
| Institution: | 1(1.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China;2.College of Statistics,Xi’an University of Finance and Economics,Xi’an 710100,China) |
| |
| Abstract: | In this paper,based on the concept of similarity degree between propositional logic formulas,two kinds of entailments in classical propositional logic system are proposed and some basic properties of these entailments are studied. The relationships between these entailments and classical approximate reasoning models are discussed.Moreover,we obtain the sufficient and necessary conditions that the theory Γ can conclude the formula A or the theory Σ with the degree α.In the end,the method of computing the distance between a formula and the conclusion set of a finite theory is obtained. |
| |
| Keywords: | Propositional Logic Approximate Entailment Strong Approximate Entailment |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
