命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告
上传时间： 2015-10-30
上传用户：love1314
一个简单的推理系统,可以对简单表达式进行规约判断
上传时间： 2015-10-31
上传用户：shus521
利用空间表示的rcc8模型进行空间推理， 解决csp问题，可以自动产生csp问题，然后解决，利用了不同的算法并且做了比较，有仿真试验。
上传时间： 2015-11-15
上传用户：refent
利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则，和空间关系表示
上传时间： 2015-11-15
上传用户：edisonfather
基于GPRS的GPS车辆定位系统及其证据推理地图匹配算法
上传时间： 2013-12-27
上传用户：yimoney
这是外国一个开源推理机，可以用做对本体的一致性等进行推理！
上传时间： 2013-12-18
上传用户：gxmm
书名：《MATLAB及在电子信息课程中的应用》第一版。作者：陈怀琛等 MATLAB语言具备高效、可视化及推理能力强等特点，在目前工程界是流行最广 的科学计算语言。本书由语言篇和应用篇两部分组成，语言篇介绍MATLAB语言的基本语法， 便于自学，又可作为教学教材。应用篇讲述MATLAB近百个实例程序，涉及的课程范围有 电路、信号与系统、数字信号处理、控制系统等。这些实例使用了MATLAB中多方面的语 句，可使读者能迅速掌握MATLAB编程的技巧，提高完成工程课程的效率。 本书可作为学习MATLAB语言的入门教材；也可供理工科大学师生及工程技术人员参考。
上传时间： 2014-06-05
上传用户：q123321
DS证据推理的原始Dempster组合公式计算函数，详细使用见该文件内的帮助说明
上传时间： 2015-12-24
上传用户：zhouli
DSmT证据推理的组合公式计算函数，详细使用见该文件内的帮助说明
上传时间： 2015-12-24
上传用户：rocwangdp
DS证据推理的置信函数（bel）的计算函数，详细使用见该文件内的帮助说明
上传时间： 2015-12-24
上传用户：LIKE
