计算机人工智能 归结原理 为此逻辑 子句集

时间：2013-11-10 18:08:38
【文件属性】：

文件名称：计算机人工智能 归结原理 为此逻辑 子句集

文件大小：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有时会扫描错误。（亲测有错，不是输入的问题）
  • 求子句集的程序，归结部分还没有做完吧
  • 程序很好，拿下了
  • 被误导了，我以为这个程序是用来演示归结原理的，下载之后才发现，原来是求子聚集的。 不过，就“求子句集”的功能而言，这绝对是一个好程序，囊括了所有的连接符，还有量词，功能全面，界面简约。

相关文章