没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
C/C++
人工智能 谓词逻辑
人工智能 谓词逻辑
人工智能
5星
· 超过95%的资源
需积分: 10
7 下载量
139 浏览量
2011-09-20
18:25:35
上传
评论
2
收藏
227KB
PDF
举报
温馨提示
立即下载
用于人工智能的学习,内容全面,人工智能 谓词逻辑
资源推荐
资源评论
广工人工智能谓词逻辑算法作业
浏览:7
结合课本习题3.23解答,通过编制一个程序执行,归结得到结果!
人工智能谓词逻辑归结问题的推理系统
浏览:118
4星 · 用户满意度95%
人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ,可以帮助广大学子进一步学习人工智能的相关知识。
基于谓词逻辑的 Prolog 程序设计(知网下的)
浏览:9
5星 · 资源好评率100%
prolog是面向逻辑、 面向问题,描述逻辑关系和抽象概念,处理对象是知识(确切地说是符号)的一种逻辑型人工智能程序设计语言。
谓词逻辑归结推理系统
浏览:19
3星 · 编辑精心推荐
人工智能的实验题目。输入一组合适公式,以及一个目标子句,输出归结树。 我奋斗了几乎5天总算弄出来了,放过bin出来show一下^_^。 至于代码,想要的可以联系我。 这里给出一个测试用例吧: ;假设:所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。 ;求证:李明过着激动人心的生活。 (\x)(~Poor(x)∧Smart(x)→happy(x)
谓词逻辑与推理
浏览:191
谓词逻辑推理,人工智能的基本理论,为人工智能系统的开发奠定了一定的理论基础
计算命题逻辑真值数据结构
浏览:132
一个数据结构的课程设计报告,数据结构的,用C语言写的,希望对你有用。。
人工智能课件:第三章 谓词逻辑与搜索原理.pdf
浏览:67
人工智能课件:第三章 谓词逻辑与搜索原理.pdf
基于谓词逻辑的归结原理实验
浏览:7
加深对归结原理进行定理证明过程的理解,掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节,进一步了解实 现机器自动定理证明的步骤。 采用C++
第二章 谓词逻辑与归结原理
浏览:182
人工智能课件,关于谓词逻辑与归结原理,在学习了离散数学的基础上,进一步深入的学习谓词逻辑,掌握人工智能的初步知识
人工智能-谓词逻辑 精品资料.pptx
浏览:133
人工智能-谓词逻辑
人工智能导论课件:第四章 谓词逻辑与归结原理.ppt
浏览:201
人工智能导论课件:第四章 谓词逻辑与归结原理.ppt
人工智能-谓词逻辑.pptx
浏览:156
人工智能-谓词逻辑.pptx
人工智能-谓词逻辑43.pptx
浏览:47
人工智能-谓词逻辑43.pptx
人工智能知识表示方法谓词逻辑70 精品资料.pptx
浏览:30
人工智能知识表示方法谓词逻辑
人工智能课程设计_谓词逻辑归结_天津大学人工智能基础课程设计_
浏览:127
5星 · 资源好评率100%
天津大学人工智能课程设计,实现了一个完整的谓词逻辑归结系统
人工智能知识表示方法谓词逻辑70.pptx
浏览:78
人工智能知识表示方法谓词逻辑70.pptx
人工智能:第3章 谓词逻辑与归结原理.ppt
浏览:56
人工智能:第3章 谓词逻辑与归结原理.ppt
逻辑谓词与Prolog
浏览:191
一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。
人工智能第2章(知识表示方法3-谓词逻辑)74.pptx
浏览:43
人工智能第2章(知识表示方法3-谓词逻辑)74.pptx
Qt上位机软件串口通讯,视频源码,免费下载
浏览:7
3星 · 编辑精心推荐
Qt上位机软件串口通讯,视频源码,免费下载,视频上我的b站主页找https://space.bilibili.com/401094174
代码随想录算法PDF.rar
浏览:176
3星 · 编辑精心推荐
代码随想录算法PDF.rar
张玉生《C语言程序设计》双色版 C语言程序设计理论教材习题参考答案.pdf
浏览:48
5星 · 资源好评率100%
张玉生《C语言程序设计》双色版 教材课后习题答案,仅供参考,大家一定要自己做一遍再校对答案,实验书的答案已经以文章的形式发布了。
cloud compare用户手册(中文+英文)
浏览:44
4星 · 用户满意度95%
cloud compare用户手册官方英文版本和中文翻译版本(WPS翻译的260页),我之前都没有找到靠谱的帮助文档,自己找了半天,花了50块钱翻译的。希望能给大家提供帮助。
CRC8/CRC16/CRC32常见几个标准的算法及C语言实现
浏览:69
5星 · 资源好评率100%
用表驱动法来实现CRC8、CRC16、CRC32的数据校验,程序简洁,通俗易懂
STM32F4 ADC采样FFT运算测试代码
浏览:136
5星 · 资源好评率100%
模拟信号经过ADC采样后变成数字信号,数字信号可以进行FFT运算,在频域中更容易分析信号的特征。此代码用STM32F407的ADC-DMA模式采集4096个点的数据,利用DSP库里的FFT算法进行快速傅里叶变换,经实测可以使用。
第十二届蓝桥杯大赛模拟赛(第三期).pdf
浏览:32
5星 · 资源好评率100%
蓝桥杯
Qt Qss三套样式文件 qss.zip
浏览:133
此文件为Qt Qss三套样式文件,下载后,在工程中引入使用即可。具体可参考博客: https://tangxing.blog.csdn.net/article/details/109160027
C++读取excel数据
浏览:108
4星 · 用户满意度95%
读取环境为Win10+VS2015,个人参考资料封装的excel读取模块用来读取Excel2007中的数据,文件为压缩文件,亲测可用。
点云粗配准算法
浏览:155
4星 · 用户满意度95%
写了几个点云配准的算法,主要包括PFH、FPFH、icp、NDT、3Dsc几种粗配准算法,并计算出误差。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
李耀林
2011-10-06
内容具体讲的是一阶谓词,想学的朋友可以看一下
wufukunwilliam
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
筷手引流工具.apk
Android studio音乐播放器
论文(最终)_20240430235101.pdf
基于python编写的Keras深度学习框架开发,利用卷积神经网络CNN,快速识别图片并进行分类
基于Python 的 BP神经网络实现不同直径圆的分类
旅游网站设计源码.zip
最全空间计量实证方法(空间杜宾模型和检验以及结果解释文档).txt
5uonly.apk
蓝桥杯Python组的历年真题
数字电路彩灯控制器的Multisim仿真设计 NE555+74芯片(仿真+报告)
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功