|
|||||
|
|
| 布尔算子Fuzzy逻辑公式的λ－恒假性 | |
| 作者姓名： | 邓安生 张军 |
| 作者单位： | 东北师范大学计算机科学系 |
| 摘 要： | 在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性． |
| 关 键 词： | 布尔算子Fuzzy逻辑，λ－恒假，Herbrand解释，归结 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |