利用细胞膜演算描述带子句学习的DPLL算法

• 作者: 任俊绮 刘磊 吕帅 李壮
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 人工智能 问题求解 形式化方法 自动推理 DPLL 子句学习 演算 细胞膜演算
• 年，卷（期）: 2019,（4）
• 页码范围: 799-804
• 页数: 6页
• 分类号: TP181
• 字数: 4773字
• 语种: 中文
• DOI: 10.11990/jheu.201709122

摘要

为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法.分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述.通过一个算例的求解过程验证了该形式化描述方法的可行性.依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
6	李壮	吉林大学计算机科学与技术学院	9	44	3.0	6.0
7	任俊绮	吉林大学计算机科学与技术学院	4	4	1.0	1.0