人工智能谓词逻辑归结问题的推理系统

【文件属性】：
文件名称：人工智能谓词逻辑归结问题的推理系统
文件大小：1.88MB
文件格式：RAR
更新时间：2017-12-16 05:07:12
谓词逻辑归结 人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ，可以帮助广大学子进一步学习人工智能的相关知识。

【文件预览】：
谓词逻辑归结原理演示
----mgu()
----子句集的求取()
--------源码()
----linear_new()
--------linear()