| 修正的Kleene系统中的一种降级算法及其性质 |
| |
| 引用本文： | 阎满富,吴洪溥.修正的Kleene系统中的一种降级算法及其性质[J].工程数学学报,2004,21(4):537-542. |
| |
| 作者姓名： | 阎满富 吴洪溥 |
| |
| 作者单位： | 中国农业大学经济管理学院,北京,100083;陕西师范大学数学信息科学学院,西安,710062 |
| |
| 基金项目： | 陕西师范大学重点科研基金 |
| |
| 摘 要： | 通过对模糊命题演算的形式演绎系统L^*及修正的Kleene逻辑系统^-W,W,Wκ的研究，给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用，最后在广义矛盾式理论中讨论了，广义语义HS规则和广义语义MP规则，为进一步对修证的Kleene逻辑系统的研究提供一个有益的工具。
|
| 关 键 词： | 模糊逻辑 修正的Kleene系统 广义矛盾式 降级算法 广义语义C-MP规则 广义语义C-HS规则 |
| 文章编号： | 1005-3085(2004)04-0537-06 |
| 修稿时间： | 2002年7月3日 |
The Properties of a Downgrade Algorithm in the Revised Kleene Logic System |
| |
| YAN Man-fu,WU Hong-bo College of Economy and Management,China Agriculture University,Beijing Institute of Mathematics,Shanxi Normal University,Xi'an.The Properties of a Downgrade Algorithm in the Revised Kleene Logic System[J].Chinese Journal of Engineering Mathematics,2004,21(4):537-542. |
| |
| Authors: | YAN Man-fu WU Hong-bo College of Economy and Management China Agriculture University Beijing Institute of Mathematics Shanxi Normal University Xi'an |
| |
| Affiliation: | YAN Man-fu,WU Hong-bo College of Economy and Management,China Agriculture University,Beijing 100083 Institute of Mathematics,Shanxi Normal University,Xi'an 710062 |
| |
| Abstract: | By the study of the formal deductive system L~* for fuzzy propositional calculus and the
revised Kleene logic system, a downgrade algorithm among generalized contradictions have been given,
and its properties have been discussed. In the end, generalized semantic MP rule and generalized se-
mantic HS rule in the theory of generalized contradiction have been investigated. This work deliveries
some helps for research on the revised Kleene system. |
| |
| Keywords: | fuzzy logic revised Kleene system generalized contradiction diwngrade algorithm generalized semantic C-MP rule genralized semantic C-HS rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
