布尔算子模糊逻辑中的广义半锁归结原理

• 作者: 关伟洲 邓安生
• 来源期刊: 东北师大学报（自然科学版）
• 学科: 工学
• 关键词: 布尔算子模糊逻辑 广义锁子句 广义半锁归结
• 年，卷（期）: 2000,（3）
• 所属期刊栏目: 国家自然科学基金资助项目布尔算子模糊逻辑及其自动推理研究
• 页码范围: 104-107
• 页数: 4页
• 分类号: TP301
• 字数: 2608字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1832.2000.03.023

摘要

大量冗余子句的产生是导致归结方法低效率的根本原因.锁策略通过对子句集中的原子进行配锁,限制某些子句间的归结以减少无用子句的产生,从而能够提高归结方法的效率.在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的.如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	关伟洲	东北师范大学计算机科学系	12	89	5.0	9.0
2	邓安生	东北师范大学计算机科学系	8	87	4.0	8.0