人工智能 命题逻辑归结反演

【文件属性】：

文件名称：人工智能 命题逻辑归结反演

文件大小：251KB

文件格式：ZIP

更新时间：2014-04-26 14:50:54

人工智能 逻辑 归结

人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树 附源代码与实验报告，仅供参考

【文件预览】：
命题逻辑归结反演
----resolution.cpp(10KB)
----sample.txt(60B)
----resolution.exe(898KB)
----resolution.doc(85KB)