谓词逻辑归结推理系统
人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。
我奋斗了几乎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) ;目标公式直接放最后一行即可，无需加~
文件下载
评论信息
-
-
-
qq_33403790 :不错还行 就是没代码2017-10-31 -
-
qq_16250931 :还是有一定参考价值的~2015-12-17
-
-
peng_xing :希望能提供源码2015-11-04
-
-
jw512499268 :图形化界面，界面很简洁，能正常运行，可惜没有源代码2014-12-13
-
-
u012933335 :没有源代码。。2014-01-15
-
其他资源
- 高速目标距离走动校正 keystone 插值算法
- Android移动开发 自测试卷（附标准答案） PDF版
- glibc-2.14.1所有的rpm包
- 知识付费uniapp源码，匠言知识付费源码支持H5、公众号、小程序、APP、PC版
- android项目app，旅游服务
- 《智能优化算法及其MATLAB实例（第二版）》——仿真源码
- IKM在线测试 JAVA 带参考答案
- 商品销售管理系统源码和附加数据库
- 南方测绘静态GPS处理软件说明书
- excel数据透视表练习数据
- ionic 商城 代码
- LuaForWindows安装.zip
- ESP8266+OLED屏实现天气预报+温度显示+NTP时间同步6屏带中文显示V8.2
- 新能源汽车介绍.pptx
- Sage9.1帮助文档.zip
- Pop3收发邮件源代码+实例(20140425)
- 【Android+OkHttp3+Jsoup】 模拟登录教务系统 抓取课表和成绩（Eclipse版）
- Software Requirements , 3rd Edition
- node_modules
- 平差课程设计
- framework的赛马实验综合报告
- 基于Hog的快速人体检测
- cmpp短信网关sp和ISMG端(附图,源码,可执行程序)
- WinRunner 8 破解
- Logintool2090.exe 强力格式化工具 AP V1.5.1_Autorun.rar
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明