摘要
基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理,获得了用Γ中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。
Based on deduction theorems, completeness theorems and the theory of truth degrees of formulas, the present paper studys the properties of divergence degrees and approximate reasoning in some logic systems, i.e. , classical （two-valued） logic system Cz, Lukasiewicz fuzzy logic system Luk and R0- fuzzy logic system L. Some equalities for computing divergence degree of a theory Г by means of truth degrees of formulas contained in Г are proposed, and some useful inequalities for discussing approximate reasoning are obtained.
出处
《模糊系统与数学》
CSCD
北大核心
2008年第2期46-52,共7页
Fuzzy Systems and Mathematics
基金
福建省自然科学基金资助项目(2006J0221)
关键词
理论
演绎定理
发散度
近似推理
真度
Theory
Deduction Theorem
Divergence Degree
Approximate Reasoning
Truth Degree
