搜索资源列表
产生式例子
- 本代码是人工智能中产生式的一个例子，功能是实现对有限动物特征识别的正向和反相推理。-the code is generated artificial intelligence-an example of that function is limited to the identification of the animal forward and inverse reasoning.
AiExpert-推理模型
- 一个面向对象的产生式推理模型，用于某专家系统的设计。提供了知识录入、编辑，自动推理，知识自检等功能。-an object-oriented production reasoning model, the expert system for a certain design. The knowledge input, editing, automated reasoning, knowledge, self-checking function.
Fuzzy_Controller
- 模糊控制矩阵推理，控制规则表，设计带有延迟一阶惯性环节得模糊控制器。-fuzzy control matrix reasoning, control rule, designed with a delay in order inertia links fuzzy controller.
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
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve
贝叶斯网络的因果推理关系
- 人工智能实验§贝叶斯网络的因果推理关系§ 熟悉掌握Bayes定理，学习贝叶斯网络的因果推理-artificial intelligence experiments Bayesian network causal reasoning relations mastery Bayes Theorem, learning Bayesian network causal reasoning
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
AcquireKlg
- 实现规则推理 模糊识别 神经网络的专家系统 ，要运行需要先装SQL导入数据库-The realization of rule-based reasoning fuzzy recognition neural network expert system, installed to run need to import SQL database
ReteExampleSrc
- 人工智能中基于产生式规则的经典规则匹配与推理算法-RETE算法实现示例；包括文档说明-Artificial intelligence-based production rules of the classical rules of matching algorithms and reasoning examples-RETE algorithm including documentation
reaing_machine_swrl
- 本体推理是语义网研究的一个热点问题，目前大多数查询系统都是专家系统，但在 专家系统中，知识的表现形式都存在各种不足，本文在借鉴原有专家系统优点的基础之上， 介绍了一个基于SWRL 推理机制的框架，它弥补了专家系统中的不足之处，解决了以往的 本体不能表示“if...then...”这样句式规则的缺点，另外利用本体技术使我们的系统在其它类似 的系统中可以重复使用。-Ontology inference is a hot issue in the studies of Semantic
Fuzzy-reasoning-experiment
- 1、学习模糊推理的原理，编程方法，会用MATLAB软件编程。 2、了解模糊算法以及对多前提多规则进行仿真。 3、对仿真结果进行验证。 4、总结模糊推理的步骤。 -Fuzzy reasoning experiment
reasoning-system
- 基于归结原理的推理系统；运用人工智能中推理相关知识写的推理系统，效果很不错-Resolution Principle-based reasoning system the use of artificial intelligence, knowledge of written reasoning reasoning system, the effect is very good