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

【文件属性】：

文件名称：基于谓词逻辑的归结原理实验

文件大小：10KB

文件格式：ZIP

更新时间：2022-06-10 10:53:38

人工智能 归结原理 基于谓词逻辑

加深对归结原理进行定理证明过程的理解，掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节，进一步了解实 现机器自动定理证明的步骤。 采用C++

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