Computer based inference engine device and method thereof for
integrating backward chaining and forward chaining reasoning
    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

    IPC分类号: G06F9/44 G06N5/04

    CPC分类号: G06N5/046 G06N5/042

    摘要: 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.

    Asynchronous architecture for knowledge-based systems
    2.
    发明授权
    Asynchronous architecture for knowledge-based systems 失效
    基于知识的系统的异步架构

    公开(公告)号:US5271091A

    公开(公告)日:1993-12-14

    申请号:US863503

    申请日:1992-03-30

    IPC分类号: G06N5/04 G06F15/18

    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.

    摘要翻译: 公开了一种允许基于知识的系统以异步方式操作的架构和方法。 推理模块包括针对特定复杂系统环境定制的一组环境接口过程。 该环境接口与推理引擎和知识库一起编译,以创建可嵌入的推理模块。

    System and method for building a computer-based rete pattern matching
network
    3.
    发明授权
    System and method for building a computer-based rete pattern matching network 失效
    用于构建基于计算机的rete模式匹配网络的系统和方法

    公开(公告)号:US5159662A

    公开(公告)日:1992-10-27

    申请号:US515843

    申请日:1990-04-27

    IPC分类号: G06F9/44 G06N5/04

    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网络。 进一步披露的是允许专家系统开发者输入以联结,分离和或否定形式格式化的规则的系统和方法。

    System and method for building a computer-based Rete pattern matching
network
    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网络。 进一步披露的是允许专家系统开发者输入以联结,分离和或否定形式格式化的规则的系统和方法。

    Method for processing an expert system rulebase on a system having
limited memory
    5.
    发明授权
    Method for processing an expert system rulebase on a system having limited memory 失效
    在具有有限存储器的系统上处理专家系统规则库的方法

    公开(公告)号:US4809219A

    公开(公告)日:1989-02-28

    申请号:US749076

    申请日:1985-06-26

    CPC分类号: G06N5/04

    摘要: A method for running an expert system on a data processing system in which the Rulebase is segmented into contextual units so that the system memory can accommodate each unit. Portions of the Rulebase containing data or knowledge that is not needed in a particular application may then be eliminated. The segmenting of the Rulebase also allows the contextual units of the application to be paged into and out of the system as needed. The various intersegment relationships are managed by the system as units are paged into and out of memory. A second Rulebase unit may be called by the first unit and executed at any time during the processing of the first Rulebase. Provision is made in the form of a Global attribute to selectively identify and store the data that is relevant to the application and that has been accumulated up to the point where another unit is called so that at some time later in the process, when the system returns to the first unit, it can proceed from the last RULE node that was processed. Selected data that has been identified as global during processing of the first unit is used to update selected nodes in the second unit of the Rulebase after it has been paged into the system. Selected data collected during the processing of the second unit is passed to the first unit when the system returns to complete processing that unit.

    摘要翻译: 一种用于在数据处理系统上运行专家系统的方法,其中将规则库分段为上下文单元,以便系统存储器可容纳每个单元。 然后可以消除包含特定应用中不需要的数据或知识的规则库的部分。 Rulebase的分段还允许根据需要将应用程序的上下文单元进入和导出系统。 当单元被分页进出存储器时,系统管理各种段间关系。 第二个规则库单元可以由第一单元调用并在第一个规则库的处理期间的任何时间执行。 以Global属性的形式进行配置,以选择性地识别和存储与应用程序相关的数据,并且已经累积到达另一个单元被调用的位置,以便在该过程的某个时间点,当系统 返回到第一个单元,它可以从处理的最后一个RULE节点继续。 在第一单元的处理期间被识别为全局的所选数据用于在将规则库的第二单元分页到系统之后更新所选节点。 当系统返回完成处理该单元时,在第二单元的处理期间收集的所选数据被传递到第一单元。

    Method for obtaining information in an expert system
    6.
    发明授权
    Method for obtaining information in an expert system 失效
    专家系统获取信息的方法

    公开(公告)号:US4763277A

    公开(公告)日:1988-08-09

    申请号:US819663

    申请日:1986-01-17

    CPC分类号: G06N5/04

    摘要: A method for use in an expert system which selectively allows the system to avoid asking the user a question by providing the answer to that question based on related information that may have been previously attained in the system. The method involves providing an action attribute that can be attached to any node in the rule tree. The attribute is assigned to a node in the tree which provides an answer to a class question based on processing various other dependent nodes. When the answer is obtained, the action attribute then causes all other nodes in the rule base referencing the same class question to be set to the same answer. The user is therefore only requested to supply information as a last resort.

    摘要翻译: 一种在专家系统中使用的方法,其选择性地允许系统通过基于先前在系统中获得的相关信息提供对该问题的答案来避免向用户询问问题。 该方法涉及提供可附加到规则树中任何节点的动作属性。 该属性被分配给树中的节点,其基于处理各种其他依赖节点来提供对类问题的答案。 当获得答案时,action属性使得引用同一类问题的规则库中的所有其他节点被设置为相同的答案。 因此,用户仅被要求提供信息作为最后的手段。