Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A method for solving problems using an expert system in which the Rulebase includes a section having specific definitions of processes or procedures which are available to the expert system as a data source. The method allows data to be collected dynamically in response to and in accordance with parameters supplied by the expert system and at a time determined by the expert system. The ability of the expert system to provide meaningful conclusions is considerably enhanced when such type of data is made available since any process or procedure that can be executed on the host for the expert system can become a source of current data for analysis by the expert system. Computer hardware diagnostic applications can include running self-diagnostic procedures even on the host system.