搜索资源列表
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
AI-
- 基于正向推理机的人工智能源码，适合初学者使用-Forward inference engine based on artificial intelligence source
AnimalsRecognition(JAVA)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
CPP(BackwardReasoning)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
C(Forwardreasoning)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
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