直觉模糊逻辑的（α,β）-广义锁归结方法

• 作者: 刘迪 邹丽 郑宏亮
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 自动推理 直觉模糊逻辑 (α,β)-广义锁归结方法 完备性定理
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 1004-1009
• 页数: 6页
• 分类号: TP18
• 字数: 4269字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1409050

摘要

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程，基于直觉模糊命题逻辑归结原理的一般形式，提出了子句(αβ)-可满足和(αβ)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁，规定在做归结时各子句中被消去文字在该子句中的序号最小，由此建立了(αβ)-广义锁归结方法，并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤，并通过实例说明了该方法的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑宏亮	辽宁师范大学计算机与信息技术学院	25	128	7.0	10.0
2	刘迪	辽宁师范大学计算机与信息技术学院	13	20	3.0	3.0
3	邹丽	辽宁师范大学计算机与信息技术学院	41	117	6.0	8.0