谓词逻辑归结推理系统

时间：2011-12-30 17:56:45
【文件属性】：

文件名称：谓词逻辑归结推理系统

文件大小：275KB

文件格式：RAR

更新时间：2011-12-30 17:56:45

谓词逻辑 归结 推理 C++

人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。 我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。 至于代码，想要的可以联系我。 这里给出一个测试用例吧： ;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。 ;求证：李明过着激动人心的生活。 (\x)(~Poor(x)∧Smart(x)→happy(x)) (\x)(Read(x)→Smart(x)) Read(Li)∧~Poor(Li) (\x)(happy(x)→Exciting(x)) Exciting(Li) ;目标公式直接放最后一行即可，无需加~

立即下载

【文件预览】：
Concluder.exe

网友评论

  • 提供源代码
  • 不错还行 就是没代码
  • 还是有一定参考价值的~
  • 希望能提供源码
  • 图形化界面，界面很简洁，能正常运行，可惜没有源代码
  • 没有源代码。。
  • 要是给了源码就更好了
  • 很棒，真希望能有源代码研究一下啊！
  • 运行的很好，希望提供源码
  • 界面简洁，推理清晰，如果作者能直接贡献源码就更好了。
  • 图形化界面，演示归结过程，适用于研究归结过程。
  • 运行得很好，但是希望能提供源码
  • 界面很简洁，推理清晰，如果作者能直接贡献源码就更好了。

相关文章