搜索资源列表
inference.tar
- gibbs,beyesian network,intelligent inference, Markov, BeliefPropagation. It is a very good surce code for intelligent reasoning research-gibbs, beyesian network, intelligent inference, Markov, BeliefPropagation. It is a very good surce code for int
conseq
- 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
BayesMFC
- 针对Bayes网络中有关因果推理的方法设计与实现-against the Bayesian network of causal reasoning Design and Implementation
family_prolog
- 一个最新的PROLOG程序,人工智能方面的家族推理的例子。-a PROLOG the latest procedures, the family artificial intelligence reasoning example.
mingtiguijie
- 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report
001tuili
- 一个简单的推理系统,可以对简单表达式进行规约判断-a simple reasoning system, a simple expression of the Statute for judgment
人工智能动物推理系统程序
- 人工智能动物推理系统程序-animal AI reasoning system procedures
rcc8-csp-solving
- 利用空间表示的rcc8模型进行空间推理, 解决csp问题,可以自动产生csp问题,然后解决,利用了不同的算法并且做了比较,有仿真试验。-said that the use of space rcc8 model spatial reasoning, problem solving csp. csp can be generated automatically, and then resolved, the use of different algorithms and made a comp
reasongprogramm
- 利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则,和空间关系表示 -use logic programming language prolog combination of the spatial relationships reasoning process. The theory is the use of binding rules, and spatial relations
sue1385
- 一个简单的语义检索框架,实现了简单的查询界面,提交查询请求,处理查询扩展,简单搜索,推理,可以进一步的扩展。最初没有结果是因为没有添加待检索数据,添加数据后即会有结果。-a simple semantic retrieval framework to achieve a simple query interface, the author inquiry request, to handle inquiries expansion simple search, reasoning, can be
FuzzyTemporal
- Fault management is used to detect, isolate, and repair problems in communication networks. Alarms are considered an external manifestation of faults occurring inside the managed network. These faults may affect the network’s hardware and sof
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.
贝叶斯网络的因果推理关系
- 人工智能实验§贝叶斯网络的因果推理关系§ 熟悉掌握Bayes定理,学习贝叶斯网络的因果推理-artificial intelligence experiments Bayesian network causal reasoning relations mastery Bayes Theorem, learning Bayesian network causal reasoning
实现了候选消除算法
- 实现了候选消除算法,他是人工智能中的一种重要算法。通过建立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
pellet-2.3.0一种基于Tableau算法的描述逻辑推理机
- Pellet是一种基于Tableau算法的描述逻辑推理机,由美国马里兰大学(College Park分校)的MindSwap实验室开发。此为最近的更新-Pellet is an OWL 2 reasoner. Pellet provides standard and cutting-edge reasoning services for OWL ontologies. For applications that need to represent and reason about
PE-File-format.rar
- 一个操作系统的可执行文件格式,从许多角度来看,都是操作系统内建行为的一面镜子。 虽然可执行档格式通常并不是一个程序员认为迫切需要学习的东西,但操作系统的许多 有用的知识却可以在这个过程中获得。动态联结、加载器行为、以及内存管理,是特 别容易在这个学习过程中推理而得的三个主题。,An operating system of the executable file format, from a number of point of view, are built into the operat
GAandCBR.rar
- 遗传算法和案例推理的C#代码,大家参考一下。,GA and Case-based Reasoning
jena.rar
- 一个jena的应用程序,其中用到了简单的推理功能。,1 jena application, which uses a simple reasoning capabilities.