搜索资源列表
Jena-2.5.4
- jena2.5.4推理机系统的一种最基本实现 HP实验室出品
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve
expertsys.rar
- 专家系统程序:推理机,这里是一个通用专家系统程序，可以用于各种各样的专家系统。,Expert System Program：inference，This is a general system of expert which can be used various systems of expert.
MYCIN
- MYCIN不确定推理机的C++骨架程序，运行高效率。-MYCIN uncertainty reasoning machine C++ skeleton program, run efficient.
fzclp610d
- 加拿大一大学开发的Fuzzy Clips的全套程序附带使用说明文件，可用于模糊推理机的开发。-Canada, developed at the University of Fuzzy Clips a complete program that comes with the use of documentation, can be used for fuzzy inference engine development.
guzhangzhuanjiaxitong
- 故障诊断专家系统是将人类在故障诊断方面的多位 专家具有的知识、 经验、 推理、 技能综合后编制成的大型计 算机程序， 它可以利用计算机系统帮助人们分析解决只能 用语言描述、 思维推理的复杂问题， 扩展计算机系统原有 的工作范围使计算机系统有了思维能力， 能够与决策者进 行 “对话” ， 并应用推理方式提供决策建议， 专家系统在故 障诊断领域的应用非常广泛， 故障检测与诊断技术与专家 系统相结合， 使工程的安全性与可靠性得到保证。-Fault diagnosis exp
pie
- prolog 智能推理机的实现代码，可编辑运行，欢迎大家交流与学习-This example demonstrates Prolog Inference Engine is a small Prolog Interpreter. It uses the standard Prolog syntax (K&M) and releases the most popular set of predicates.
Diagnosis-Expert-System
- 采用人工智能专家系统计算机技术模拟故障诊断领域专家的推理思维方式, 对机械设备发生的故障实现迅速准确的 诊断,同时缩短故障停机时间具有重大意义。本文应用Visual prolog 语言,构造了转子系统故障诊断专家系统,提出了一阶谓 词逻辑子句表达知识的方法,建立了专家知识库。系统的推理机采用深度优先的推理策略。应用表明系统有效完成旋转机械 常出现的十多种故障的诊断,并运行可靠。-The computer technology of artificial intelligence ex
recursion-in-the-expert-systems
- 在智能故障诊断中, C(C++)语言具有多方面优于传统人工智能语言(如LISP、PROLOG)的特性, 它对递归的支持使得用 其来开发故障诊断专家系统成为可能。本文研究了故障诊断专家系统开发中用到的递归方法及其基于C(C++)的实现, 具体 包括: 动态数据库设计中结构体的递归定义, 推理机设计中函数的递归调用等。针对知识推理中易出现的“循环递归”问题, 提出了一种基于“因果网络直观图”的解决方法。-C ( C++ )language possesses characteristic
Liang_3
- 该动物识别专家系统共15条规则、可以识别7种动物，综合运用知识库、数据库以及推理机的知识，通过用户已知的关于动物特征的事实，选择条件中项目，点击查询得出知识库中所对应的动物类别，再由相应类别动物选项在更具体的特征中选择符合用户已知特征的动物，如果用户给出的特征不符合规则中的动物特征，则系统会提示查询不到，与用户具有良好交互功能。-The 15 animal recognition expert system rules, can identify seven kinds of animals,
AI-
- 基于正向推理机的人工智能源码，适合初学者使用-Forward inference engine based on artificial intelligence source
CLIPSSrc
- CLIPS推理机的源码,是VC6.0版本的-CLIPS source
AnimalsRecognition(JAVA)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
CPP(BackwardReasoning)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
C(Forwardreasoning)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
LSSVM
- 最小二乘支持向量机工具箱1.6版。含稳健回归和贝叶斯推理，功能强大。-LS-SVM Toolbox version 1.6. With robust regression and Bayesian inference, and powerful.
InferenceEngine
- 简单的推理机算法实现，输入规则库，和事实库，由普通txt文件模拟两个库，可以由事实在规则中推出结果.推理机不断从规则库中选择可用的规则，每选择到可用的规则，把该规则的后件中不再facts中的所有结论添加到facts中，对facts扩充，由扩充了的facts来选择下一条可用规则对facts再次扩充，直到没有可用的规则可选为止。文件内已包含使用说明书， 说明书.docx -Simple inference algorithm, the input rule base, and the fact th
ExpertSystemTest
- 一个可以学习的简单推理机源码，可以学习借鉴-You can learn a simple inference engine source, you can learn from
Jena-2.5.5
- 推理机 Jena主要用来处理RDF，主要使用Jena的推理能力从本体推断模型知识。 -.But in the field of traffic information service ,the service oriented application research still faces many problems because of the complexity of the traffic environment and information service .Thi
nuikie_v23
- matlab开发工具箱中的支持向量机，DSmT证据推理的组合公式计算函数，详细画出了时域和频域的相关图。- matlab development toolbox support vector machine, Combination formula DSmT evidence reasoning calculation function, Correlation diagram shown in detail the time domain and frequency domain.