欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L＊系统,G（o）del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F（S）上的一种伪距离.最后讨论了命题集F（S）上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系.
英文摘要：
The concept of relativeΓ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L＊ logic, Godel logic and product logic, has been proposed, and basic properties of it are obtained. TheΓ-similarity degree between formulas is defined by means of relativeΓ-tautology degrees, and a pseudo-metric between formulas is then introduced. Finally, an approximate reasoning theory is proposed, and inner relations of three patterns of approximate reasoning are also obtained.
同期刊论文项目
同项目期刊论文
期刊信息
位置：