期刊文献+

经典命题逻辑中的近似推理与强近似推理 被引量:1

Approximate and Strong Entailments in Classical Propositional Logic System
原文传递
导出
摘要 基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。 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.
出处 《模糊系统与数学》 CSCD 北大核心 2012年第4期20-24,共5页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(10771129 11171200) 陕西教育厅自然科学基金资助项目(09JK439)
关键词 命题逻辑 近似推理 强近似推理 Propositional Logic Approximate Entailment Strong Approximate Entailment
  • 相关文献

参考文献9

二级参考文献44

共引文献283

同被引文献8

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部