欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：