没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
基于矩阵运算的基于归结原理的自动推理算法
基于矩阵运算的基于归结原理的自动推理算法
基于矩阵运算的基于归结原理的自动推理算法
需积分: 10
6 下载量
156 浏览量
2012-05-20
23:47:31
上传
评论
收藏
881KB
PDF
举报
温馨提示
立即下载
基于矩阵运算的基于归结原理的自动推理算法,人工智能程序设计
资源推荐
资源评论
基于归结原理的推理系统
浏览：199
本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。
大数据-算法-格值命题逻辑系统LPX中基于归结原理的自动推理方法的研究.pdf
浏览：32
大数据-算法
人工智能 基于归结原理的推理系统.rar
浏览：38
5星 · 资源好评率100%
人工智能 基于归结原理的推理系统.rar 人工智能 基于归结原理的推理系统.rar
归结原理及其在逻辑推理上应用
浏览：155
3星 · 编辑精心推荐
这是人工智能方面的一个应用，用归结原理进行逻辑公理的证明！
大数据-算法-基于格值逻辑的准锁语义归结自动推理研究.pdf
浏览：141
大数据-算法-基于格值逻辑的准锁语义归结自动推理研究.pdf
大数据-算法-基于格值逻辑的语言真值广义锁归结自动推理研究.pdf
浏览：22
大数据-算法-基于格值逻辑的语言真值广义锁归结自动推理研究.pdf
基于Rete算法的几何自动推理系统 (2006年)
浏览：142
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。推理引擎的主要工作是做推理规则和几何信息的匹配计算。推理过程中产生的大量冗余匹配严重地影响了推理效率。为了提高推理引擎的推理效率，作者首次将Rete模式匹配算法整合到推理引擎中，构造了一种高效的几何自动推理引擎，称为几何自动推理网。几何自动推理网通过消除推理过程中的冗余匹配达到了提高系统推理效率的目的。使用IAsp语言编写了几何自动推理网
一种基于桶树的自动推理问题求解算法
浏览：166
一种基于桶树的自动推理问题求解算法
基于矩阵变换的模糊Petri网推理算法分析及应用
浏览：5
提出了一种通过矩阵变换的方法将图形化Petri网的规则变迁转换成矩阵运算,提高了计算效率,减少了系统资源占用。分析了模糊Petri网的形式表达,通过Petri网的变迁激活规则表达异常行为间的逻辑关系,以柴油发电机冷却系统为例,建立了基于模糊Petri网的故障关系模型,通过计算证明了该方法的有效性。
基于谓词逻辑的归结原理实验
浏览：70
加深对归结原理进行定理证明过程的理解，掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节，进一步了解实 现机器自动定理证明的步骤。 采用C++
离散数学——归结原理
浏览：118
归结原理是一种推理规则。从谓词公式转化为子句集的过程中看出，在子句集中子句之间是合取关系，其中只要有一个子句不可满足，则子句集就不可满足。若一个子句集中包含空子句，则这个子句集一定是不可满足的。归结...
人工智能谓词逻辑归结问题的推理系统
浏览：79
4星 · 用户满意度95%
人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ，可以帮助广大学子进一步学习人工智能的相关知识。
人工智能作业 鲁滨逊归结原理
浏览：90
4星 · 用户满意度95%
人工智能作业 鲁滨逊归结原理 java 语言完成
人工智能 归结算法
浏览：112
人工智能 归结算法 cpp 代码 人工智能 归结算法 cpp 代码
人工智能归结原理
浏览：114
4星 · 用户满意度95%
人工智能作业----归结原理
谓词逻辑归结推理系统
浏览：152
3星 · 编辑精心推荐
人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。 我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。 至于代码，想要的可以联系我。 这里给出一个测试用例吧： ;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。 ;求证：李明过着激动人心的生活。 (\x)(~Poor(x)∧Smart(x)→happy(x)
广工人工智能归结原理实验
浏览：80
广工人工智能归结原理实验，为了让同学们更好的了解归结性原理，请大家参考
人工智能原理教案02章 归结推理方法2归结推理方法.pptx
浏览：90
人工智能原理教案02章 归结推理方法2归结推理方法.pptx
第二章 谓词逻辑与归结原理
浏览：197
人工智能课件，关于谓词逻辑与归结原理，在学习了离散数学的基础上，进一步深入的学习谓词逻辑，掌握人工智能的初步知识
实现基于谓词逻辑的归结原理.pdf
浏览：146
实现基于谓词逻辑的归结原理.pdf
人工智能 归结原理 完整 源码 和文档
浏览：128
4星 · 用户满意度95%
归结原理 完整 源码 和文档
格值命题逻辑系统LP(X)的语义归结方法
浏览：14
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：186
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：148
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：55
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：80
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
NPPJSONViewer.zip
浏览：77
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览：198
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览：156
5星 · 资源好评率100%
XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
qingxinzhul
粉丝: 0
资源:
6
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
基于python实现k近邻算法实现手写数字识别系统
LabVIEW动态调用子VI并插入主VI前面板-编程实例
工作计划管理系统xls表
CLion的详细介绍.zip
缺失值处理(判断-加载-可视化) 数据集
broadcom-sta-dkms.zip
base.apk.1.1.1
rabbitmq专栏 001 rabbitmq减库存demo direct
基于stm32的环境监测系统
躲避球球 kmfdjblkdsk
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
