-
1.发明授权Computer based inference engine device and method thereof for integrating backward chaining and forward chaining reasoning 失效基于计算机的信号引擎设备及其组合后向链路和前向链路原理的方法
公开(公告)号：US5119470A
公开(公告)日：1992-06-02
申请号：US515720
申请日：1990-04-27
摘要： An inference engine device adapted for use in a computer-controlled expert system, the computer-controlled expert system having a computer and a knowledge base of objects and rules, the objects having known values and unknown values, the rules having at least one test against an object or objects and configured in a Rete based network. The inference engine is comprised of a first module with a function of storing instructions for the computer; a second module, associated with the first module, that is comprised of a function for instructing the computer to perform forward reasoning with the objects having known values and another function for generating a conflict set; a third module, associated with the first module, that has a function of instructing the computer to perform backward reasoning about the objects having unknown values; and a fourth module, associated with the first module, that determines whether the first or second module is being executed by the computer.
-
公开(公告)号：US5271091A
公开(公告)日：1993-12-14
申请号：US863503
申请日：1992-03-30
CPC分类号： G06N5/04
摘要： An architecture and method for permitting knowledge-based systems to operate in an asynchronous manner is disclosed. A reasoning module includes a set of environment interface procedures which are customized for a specific complex system environment. This environment interface is compiled together with an inference engine and knowledge base to create an embeddable reasoning module.
摘要翻译： 公开了一种允许基于知识的系统以异步方式操作的架构和方法。 推理模块包括针对特定复杂系统环境定制的一组环境接口过程。 该环境接口与推理引擎和知识库一起编译，以创建可嵌入的推理模块。
-
3.发明授权System and method for building a computer-based rete pattern matching network 失效用于构建基于计算机的rete模式匹配网络的系统和方法
公开(公告)号：US5159662A
公开(公告)日：1992-10-27
申请号：US515843
申请日：1990-04-27
CPC分类号： G06N5/047
摘要： A computer-based system and method for building a Rete based network. The computer-based system comprises a first module for inputting rules into the computer-based system, wherein each of the rules may have arbitrary specified tests therein. The computer-based system further comprises a second module responsive to the first module for generating a data structure indicative of each of the inputted rules. The computer-based system further comprises a third module, responsive to the second module for storing each of the inputted rules and a fourth module responsive to the third module for constructing a Rete network for the rules. Further disclosed is system and method for allowing an expert system developer to enter rules that are formatted in conjunctive, disjunctive and or negated form.
摘要翻译： 一种用于构建基于Rete的网络的基于计算机的系统和方法。 基于计算机的系统包括用于将规则输入到基于计算机的系统中的第一模块，其中每个规则可以在其中具有任意指定的测试。 基于计算机的系统还包括响应于第一模块的第二模块，用于生成指示每个输入的规则的数据结构。 基于计算机的系统还包括响应于第二模块存储每个输入的规则的第三模块和响应于第三模块的第四模块，用于为规则构建Rete网络。 进一步披露的是允许专家系统开发者输入以联结，分离和或否定形式格式化的规则的系统和方法。
-
4.发明授权System and method for building a computer-based Rete pattern matching network 失效构建基于计算机的Rete模式匹配网络的系统和方法
公开(公告)号：US5276776A
公开(公告)日：1994-01-04
申请号：US919699
申请日：1992-07-27
CPC分类号： G06N5/047
摘要： A computer-based system and method for building a Rete based network. The computer-based system comprises a first module for inputting rules into the computer-based system, wherein each of the rules may have arbitrary specified tests therein. The computer-based system further comprises a second module responsive to the first module for generating a data structure indicative of each of the inputted rules. The computer-based system further comprises a third module, responsive to the second module, for storing each of the inputted rules and a fourth module responsive to said third means for constructing a Rete network for the rules. Further disclosed is system and method for allowing an expert system developer to enter rules that are formatted in conjunctive, disjunctive and or negated form.
摘要翻译： 一种用于构建基于Rete的网络的基于计算机的系统和方法。 基于计算机的系统包括用于将规则输入到基于计算机的系统中的第一模块，其中每个规则可以在其中具有任意指定的测试。 基于计算机的系统还包括响应于第一模块的第二模块，用于生成指示每个输入的规则的数据结构。 基于计算机的系统还包括响应于第二模块用于存储每个输入的规则的第三模块和响应于所述第三装置的第四模块，用于构建规则的Rete网络。 进一步披露的是允许专家系统开发者输入以联结，分离和或否定形式格式化的规则的系统和方法。
-
5.发明授权Declaration programming language extension for procedural programming languages 失效用于程序性编程语言的声明编程语言扩展
公开(公告)号：US6145120A
公开(公告)日：2000-11-07
申请号：US46637
申请日：1998-03-24
申请人： Frederic D. Highland
发明人： Frederic D. Highland
CPC分类号： G06F8/311
摘要： Complex declarative programming capabilities are provided through an underlying procedural programming code by functionally providing the selection algorithm of known declarative processing arrangements in explicit conditional constructs in procedural language embodying a rule or rule function statement. This approach simultaneously provides declarative processes easily and simply in a relatively few lines of procedural code while isolating the processing to the rules and objects, themselves, thereby providing reduction in hardware overhead requirements and performance enhancements which will be more fully discussed below. Further, by providing for updating of attributes and relationships of objects together with time tags associated with the update and removal of objects from list for evaluation, imprecise evaluation and heuristic reasoning may be readily developed while providing further performance enhancements to known Lazy Evaluation procedures.
摘要翻译： 通过在体现规则或规则函数语句的过程语言中的显式条件构造中功能地提供已知声明处理布置的选择算法，通过底层程序编程代码来提供复杂的声明性编程能力。 该方法同时在相对较少的程序代码行中容易且简单地提供声明性过程，同时将处理隔离到规则和对象本身，从而降低了硬件开销需求和性能增强，这将在下面更充分地讨论。 此外，通过提供对象的属性和关系的更新以及与用于评估的列表中的对象的更新和移除相关联的时间标签，可以容易地开发不精确的评估和启发式推理，同时为已知的懒惰评估程序提供进一步的性能增强。
-
公开(公告)号：US4924408A
公开(公告)日：1990-05-08
申请号：US234268
申请日：1988-08-19
申请人： Frederic D. Highland
发明人： Frederic D. Highland
摘要： A method is disclosed for converting both a knowledge base and an inferencing technique into compilable program code forming a knowledge based system. The method is based on determining what actions an interpretitive inference engine would take with the specific knowledge base and generating only the program code needed to perform these actions. These method eliminates the overhead of interpreting a representation of the knowledge base and significantly improves performance of the system. The method is applicable to both forward and backward chaining reasoning strategies and does not modify or restrict the functional capabilities of the knowledge based system.
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.019 秒)