只为小站
首页
域名查询
文件下载
登录
一阶
谓词逻辑归结
原理代码v2
改正了上一版的逻辑错误 输入样例: On(aa,bb) On(bb,cc) Green(aa) !Green(cc) (!On(x,y),!Green(x),Green(y))
2022-03-27 11:37:28
10KB
python
sysu
1
一阶
谓词逻辑归结
证明算法,sysu实验
On(aa,bb) On(bb,cc) Green(aa) !Green(cc) (!On(x,y),!Green(x),Green(y)) input1内容
2022-03-10 15:54:36
8KB
算法
python
1
人工智能
谓词逻辑归结
问题的推理系统
人工智能
谓词逻辑归结
问题的推理系统是很好的学习资料 ,可以帮助广大学子进一步学习人工智能的相关知识。
2022-02-27 10:20:48
1.88MB
谓词逻辑归结
1
谓词逻辑归结
推理系统
人工智能的实验题目。输入一组合适公式,以及一个目标子句,输出归结树。 我奋斗了几乎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) ;目标公式直接放最后一行即可,无需加~
2021-12-30 15:43:25
275KB
谓词逻辑
归结
推理
C++
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
ios无人直播 虚拟视频实用版 可以导入视频
中国地面气候资料日值数据集(V3.0)-201001201912.rar
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
vivado 破解 lisence(有效期到2037年) 下载
长江流域shp.zip
航迹融合算法MATLAB仿真程序
2022学术英语写作(东南大学) 章节测试+期末test答案
C4.5决策树算法的Python代码和数据样本
mingw-w64-install.exe
Android大作业——网上购物APP(一定是你想要的)
VideoDownloadHelper去除120分钟时间限制-高级版.zip
BP神经网络+PID控制simulink仿真
数据结构课后习题答案
transformer_pytorch_inCV.rar
计算机专业实习日记+实习周记+实习总结
最新下载
ML程序设计教程(原书第二版)中英文对照答案
ML程序设计教程 第二版 (扫描识别带书签)
UV-5R说明书.pdf
基于QT实现的植物大战僵尸游戏.7z
Qt版本的植物大战僵尸源码
TrebleCheck-v3.0.2-检测你的手机是否支持A/B分区
C++实现的植物大战僵尸Qt版源码.zip
led.rar_流水灯电路图
使用S-Function函数实现离散PID控制器,并建立simulink仿真模型
0到180度移相电路Multisim仿真
其他资源
自然辩证法
万有引力搜索算法
Arc SDE软件下载
Comsol4.2a电磁波传输实例
BSDS300 images and human
由andriod Studio开发的一款大学生兼职招聘App
TPS54160加共模电感实现+-15V双输出电源AD设计硬件原理PCB+封装库.zip
Android项目---闹铃备忘录
jsp小区物业管理系统
luainterface.rar
sticked-js:一个粘性库处理粘性堆栈并支持无依赖的scrollX(如jQuery)-源码
tesseract-ocr-w64-setup-v5.0.0-alpha.20201127.zip
map_app-源码
briaannachiu.github.io-源码
天狼进程隐藏工具1.2.7z
网管工程资料
华为认证GuassDB实验操作手册.pdf
电阻炉微型计算机温度控制系统的设计
masm 2015 for windows
马踏棋盘(源码).zip
基于Android的手机卫士开发与实现系统
DOTween Pro 1.0.075 最新版下载
Thinkpad风扇控制FanControlTool 图形界面显示
矢量版陕西省镇界、乡镇边界、乡镇行政区
Kepware6与smart200连接案例
FPGA 做的100M 频率计