布尔算子Fuzzy逻辑中的锁归结原理<sup>*</sup>

邓安生; 刘叙华

引用本文:	邓安生,刘叙华.布尔算子Fuzzy逻辑中的锁归结原理^*.软件学报,1996,7(zk):205-209

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 4153次下载 4754次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
布尔算子Fuzzy逻辑中的锁归结原理^*
邓安生¹, 刘叙华¹
吉林大学计算机科学系吉林130023

摘要:

本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Fuzzy逻辑中，并且证明了布尔算子Fuazzy逻辑中的锁归结方法和一种特殊的广义锁归结方法是广义完备的．

关键词: 布尔算子Fuzzy逻辑，恒假水平，二值解释，锁归结，广义锁归结．

DOI：

分类号:

基金项目:本文研究得到国家自然科学基金、国家863高科技和国家“攀登计划”项目资助.

LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC

Deng Ansheng,Liu Xuhua

Abstract:

This paper spreads the lock resolution and the generalized lock resolution in the first-order logic to the BOFL(Boolean operator Fuzzy logic)．It is shown that the lock resolution and a special generalized lock resolution in BOFL are complete in the broad sense．

Key words: Boolean operator Fuzzy logic,false—level,two—value interpretation,lock resolution,generalized lock resolution.