基于谓词逻辑的归结原理实验

【文件属性】：
文件名称：基于谓词逻辑的归结原理实验
文件大小：10KB
文件格式：ZIP
更新时间：2022-06-10 10:53:38
人工智能 归结原理 基于谓词逻辑 加深对归结原理进行定理证明过程的理解，掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节，进一步了解实 现机器自动定理证明的步骤。 采用C++

【文件预览】：
main.cpp
result1.txt
resolution.in
transform.h
substance.h