基于归结原理的推理系统
本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。
文件下载
资源详情
[{"title":"（ 51 个子文件 271KB ） 基于归结原理的推理系统","children":[{"title":"基于归结原理的推理系统","children":[{"title":"21.TXT <span style='color:#111;'> 632B </span>","children":null,"spread":false},{"title":"23.txt <span style='color:#111;'> 202B </span>","children":null,"spread":false},{"title":"Thelma_Steve.txt <span style='color:#111;'> 247B </span>","children":null,"spread":false},{"title":"dolphin.txt <span style='color:#111;'> 57B </span>","children":null,"spread":false},{"title":"13.txt <span style='color:#111;'> 438B </span>","children":null,"spread":false},{"title":"02.txt <span style='color:#111;'> 39B </span>","children":null,"spread":false},{"title":"club.txt <span style='color:#111;'> 717B </span>","children":null,"spread":false},{"title":"22.txt <span style='color:#111;'> 191B </span>","children":null,"spread":false},{"title":"26.txt <span style='color:#111;'> 345B </span>","children":null,"spread":false},{"title":"06.txt <span style='color:#111;'> 95B </span>","children":null,"spread":false},{"title":"Pete_Steve.txt <span style='color:#111;'> 191B </span>","children":null,"spread":false},{"title":"Thief.txt <span style='color:#111;'> 345B </span>","children":null,"spread":false},{"title":"zhaoqiansenli.TXT <span style='color:#111;'> 632B </span>","children":null,"spread":false},{"title":"unify.HLP <span style='color:#111;'> 4.63KB </span>","children":null,"spread":false},{"title":"muder_case_answer.txt <span style='color:#111;'> 620B </span>","children":null,"spread":false},{"title":"integer.txt <span style='color:#111;'> 380B </span>","children":null,"spread":false},{"title":"01.txt <span style='color:#111;'> 39B </span>","children":null,"spread":false},{"title":"Barber.TXT <span style='color:#111;'> 213B </span>","children":null,"spread":false},{"title":"subsume.HLP <span style='color:#111;'> 4.81KB </span>","children":null,"spread":false},{"title":"resolution.GID <span style='color:#111;'> 8.43KB </span>","children":null,"spread":false},{"title":"equals.txt <span style='color:#111;'> 194B </span>","children":null,"spread":false},{"title":"resolution.HLP <span style='color:#111;'> 8.58KB </span>","children":null,"spread":false},{"title":"dog_cat.txt <span style='color:#111;'> 247B </span>","children":null,"spread":false},{"title":"19.TXT <span style='color:#111;'> 213B </span>","children":null,"spread":false},{"title":"muder_case-1.txt <span style='color:#111;'> 564B </span>","children":null,"spread":false},{"title":"04.txt <span style='color:#111;'> 66B </span>","children":null,"spread":false},{"title":"16.txt <span style='color:#111;'> 47B </span>","children":null,"spread":false},{"title":"14.txt <span style='color:#111;'> 512B </span>","children":null,"spread":false},{"title":"25.txt <span style='color:#111;'> 216B </span>","children":null,"spread":false},{"title":"Innocent.txt <span style='color:#111;'> 439B </span>","children":null,"spread":false},{"title":"contradication.txt <span style='color:#111;'> 75B </span>","children":null,"spread":false},{"title":"killer_2.txt <span style='color:#111;'> 620B </span>","children":null,"spread":false},{"title":"father_mother.txt <span style='color:#111;'> 217B </span>","children":null,"spread":false},{"title":"11-2.txt <span style='color:#111;'> 601B </span>","children":null,"spread":false},{"title":"killer-1.txt <span style='color:#111;'> 564B </span>","children":null,"spread":false},{"title":"natural_number.txt <span style='color:#111;'> 389B </span>","children":null,"spread":false},{"title":"20.TXT <span style='color:#111;'> 307B </span>","children":null,"spread":false},{"title":"Resolution.exe <span style='color:#111;'> 733.50KB </span>","children":null,"spread":false},{"title":"03.txt <span style='color:#111;'> 31B </span>","children":null,"spread":false},{"title":"24.txt <span style='color:#111;'> 194B </span>","children":null,"spread":false},{"title":"10.txt <span style='color:#111;'> 208B </span>","children":null,"spread":false},{"title":"husband_wife.txt <span style='color:#111;'> 247B </span>","children":null,"spread":false},{"title":"05.txt <span style='color:#111;'> 57B </span>","children":null,"spread":false},{"title":"Marcus_Caesar.txt <span style='color:#111;'> 512B </span>","children":null,"spread":false},{"title":"17.txt <span style='color:#111;'> 45B </span>","children":null,"spread":false},{"title":"99.txt <span style='color:#111;'> 75B </span>","children":null,"spread":false},{"title":"john_peanat.txt <span style='color:#111;'> 360B </span>","children":null,"spread":false},{"title":"Father_brother.TXT <span style='color:#111;'> 307B </span>","children":null,"spread":false},{"title":"Equal.HLP <span style='color:#111;'> 5.70KB </span>","children":null,"spread":false},{"title":"09.txt <span style='color:#111;'> 360B </span>","children":null,"spread":false},{"title":"equal.txt <span style='color:#111;'> 202B </span>","children":null,"spread":false}],"spread":false}],"spread":true}]
评论信息
其他资源
- Neuracle EEG RecorderV2和配套的eeglab14_1_2b工具箱
- 台电x80 pro双系统原版BIOS
- npcr.m （NPCR及UACI）
- 基于MAX038的单片机控制的信号发生器的设计
- 白帽子讲Web安全高清完整PDF版
- java实现LSB图片隐写与提取
- grbl1.1f20170801-stm32f103c8t6
- 压缩感知 斯坦福大学ppt
- Android 购物车选择商品加减和价格合计
- 串口调试助手（CM精装版 V3.7.2）
- MMC逆变器仿真模型
- 倍福PLC通信第三方伺服电机
- 不规则地形上Loran-C ASFP预测的抛物线方程法
- 藏匿机器人-源码
- 纯js房地产等额本息等额本金计算器
- 苗木花卉管理信息系统
- RPG游戏制作工具
- 西南交通大学自动控制原理实验报告附图
- 最简单方便的ROS,DDNS动态域名脚本
- WebMagic（Java）爬虫实现，实现数据爬取，并导出到excel文件
- 基于bp神经网络的风速预测
- IT项目管理课后答案
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明