|
|||||
|
|
| Boole算子Fuzzy逻辑中的广义归结原理 | |
| 引用本文： | 邓安生.Boole算子Fuzzy逻辑中的广义归结原理[J].科学通报,1996,41(3):274-276. |
| 作者姓名： | 邓安生 |
| 作者单位： | 吉林大学计算机科学系!长春130023 |
| 基金项目： | 国家自然科学基金，国家“八六三”高科技，国家“攀登”计划资助项目 |
| 摘 要： | 王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归 |
| 关 键 词： | 模糊逻辑 布尔算子 恒假水平 广义归结 |
| 收稿时间： | 1995-01-24 |
| 修稿时间： | 1995-07-19 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |