搜索资源列表
jiejiheti
- 计算机怎样解几何题 - 谈谈计算机自动推理
prolog
- prolog,人工智能推理程序,运行环境prolog
ExpertSystem
- OTC网上智能咨询系统推理模型的设计研究
WangHao
- 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve
模拟过河问题
- 小时候,我看到过这样的一道智力题: 一个农夫带着一只狼,一只羊和一些菜过河。河边只有一条船,由于船太小,只能装下农夫和他的一样东西。在无人看管的情况下,狼要吃羊,羊要吃菜,请问农夫如何才能使三样东西平安过河。经过不难的推理,相信读者都能轻而易举的解出这道题。但是,我们是否能用计算机解这一道题呢?答案是肯定的。本文就让读者去领略一下计算机快速解决问题。-was a kid, I saw the intelligence that one : a farmer with a wolf, a goat
lover1
- 一个感情推理软件,通过星座血型测试性格.-an emotional reasoning software, through blood tests Constellation character.
模糊推理程序
- 为缩短编码长度,提高优化速度,采用简单的3*5=15条模糊规则-to shorten the length coding, improve speed optimization, a simple 3 * 5 = 15 fuzzy rules
专家系统
- 动物专家系统,用c语言实现,输入初始条件后可以推理出是哪种动物。
基于贝叶斯网络的半监督聚类集成模型
- 已有的聚类集算法基本上都是非监督聚类集成算法,这样不能利用已知信息,使得聚类集成的准确性、鲁棒性和稳定性降低.把半监督学习和聚类集成结合起来,设计半监督聚类集成模型来克服这些缺点.主要工作包括:第一,设计了基于贝叶斯网络的半监督聚类集成(semi-supervised cluster ensemble,简称SCE)模型,并对模型用变分法进行了推理求解;第二,在此基础上,给出了EM(expectation maximization)框架下的具体算法;第三,从UCI(University of Ca
人工智能第三章,图搜索 课件
- 人工智能课件,第三章,含 知识表示与推理,状态空间图,搜索树,与或树
protege入门教程
- protege的入门教程,包括如何建立本体和推理
耦合模理论的论文
- 关于耦合模理论在光纤光栅中的应用,以及耦合模理论的推理,改进 以及与传输矩阵的联合使用的相关论文。
实现了候选消除算法
- 实现了候选消除算法,他是人工智能中的一种重要算法。通过建立G,S空间来对数据进行推理。本程序附带有测试数据和程序说明。,Candidate to achieve the elimination of algorithms, artificial intelligence, he is an important algorithm. Through the establishment of G, S space to the data reasoning. This procedure comes
PE-File-format.rar
- 一个操作系统的可执行文件格式,从许多角度来看,都是操作系统内建行为的一面镜子。 虽然可执行档格式通常并不是一个程序员认为迫切需要学习的东西,但操作系统的许多 有用的知识却可以在这个过程中获得。动态联结、加载器行为、以及内存管理,是特 别容易在这个学习过程中推理而得的三个主题。,An operating system of the executable file format, from a number of point of view, are built into the operat
expertsys.rar
- 专家系统程序:推理机,这里是一个通用专家系统程序,可以用于各种各样的专家系统。,Expert System Program:inference,This is a general system of expert which can be used various systems of expert.
GAandCBR.rar
- 遗传算法和案例推理的C#代码,大家参考一下。,GA and Case-based Reasoning
jena.rar
- 一个jena的应用程序,其中用到了简单的推理功能。,1 jena application, which uses a simple reasoning capabilities.
eliability
- 基于随机集证据推理的构件软件体系可靠性模型Random collection of evidence-based reasoning model for component-based software system reliability-Random collection of evidence-based reasoning model for component-based software system reliability