布尔算子Fuzzy逻辑公式的λ-恒假性 |
| |
引用本文: | 邓安生,张军.布尔算子Fuzzy逻辑公式的λ-恒假性[J].东北师大学报(自然科学版),1995(2). |
| |
作者姓名: | 邓安生 张军 |
| |
作者单位: | 东北师范大学计算机科学系 |
| |
摘 要: | 在布尔算子Fuzzy逻辑中证明了任意公式G是λ-恒假的,当且仅当G所对应的子句集S是λ-恒假的。进而有子句集S是λ-恒假的,当且仅当S在其所有Herbrand解释下是λ-恒假的,从而保证了在布尔算子Fuzzy逻辑中施行归结的正确性.
|
关 键 词: | 布尔算子Fuzzy逻辑,λ-恒假,Herbrand解释,归结 |
本文献已被 CNKI 等数据库收录! |
|