【文件属性】：
文件名称：计算机人工智能 归结原理 为此逻辑 子句集
文件大小：1.88MB
文件格式：RAR
更新时间：2013-11-10 18:08:38
C++
计算机人工智能 归结原理 为此逻辑 子句集
计算机人工智能 归结原理 为此逻辑 子句集
已经调试运行，并附有例子说明。
【文件预览】：
谓词逻辑归结原理演示
----子句集的求取()
--------源码()
--------应用程序及其使用说明()
----linear_new()
--------linear()
----mgu()
--------mgu()
网友评论
- 完全不能运行
- 这个程序挺好的，只不过有个bug。化为合取式那一步中，反向扫描和正向扫描只进行了一遍，如果是(A and B)or C or D的话就有问题了。并且反向扫描也是有问题的，A、B、C有时会扫描错误。（亲测有错，不是输入的问题）
- 求子句集的程序，归结部分还没有做完吧
- 程序很好，拿下了
- 被误导了，我以为这个程序是用来演示归结原理的，下载之后才发现，原来是求子聚集的。 不过，就“求子句集”的功能而言，这绝对是一个好程序，囊括了所有的连接符，还有量词，功能全面，界面简约。