利用细胞膜演算描述带子句学习的DPLL算法 |
| |
引用本文: | 李壮,刘磊,吕帅,任俊绮.利用细胞膜演算描述带子句学习的DPLL算法[J].哈尔滨工程大学学报,2019,40(4). |
| |
作者姓名: | 李壮 刘磊 吕帅 任俊绮 |
| |
作者单位: | 吉林大学 计算机科学与技术学院,吉林 长春,130012;吉林大学 计算机科学与技术学院,吉林 长春 130012;吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春130012 |
| |
基金项目: | 国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;吉林省科技发展计划 |
| |
摘 要: | 为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。
|
关 键 词: | 人工智能 问题求解 形式化方法 自动推理 DPLL 子句学习 演算 细胞膜演算 |
本文献已被 CNKI 万方数据 等数据库收录! |
|