Claims Analysis
Total Claims: 19
Claim 1
Independent Claim
407 words
In a method of tracing a Rulebase of an expert system with a data processing system having a processing unit and a program which functions as an inference engine, a main memory unit which a memory capacity which is less than the size of the Rulebase and a storage unit having a storage media with a storage capacity capable of storing said entire Rulebase and connected to said processing unit for selectively transferring data there between, the improvement comprising the following steps in combination; (1) segmenting said Rulebase into a plurality of contextual units each of which has a size less than said size of said main memory unit, each said contextual unit having a plurality of Rule trees having a Goal node at its root and a plurality of other nodes at the leaves of said tree, each said node of said Rulebase comprising a data record having a plurality of predefined fields, each said record including at least one field which is interrelated to an identical field in at least one other said record in said Rulebase, each set of said identical related fields defining a different linked list of interrelated records, with each of said sets including a different group of said records, said segmenting step including the step of, (A) inserting a Rulebase Call action in a preselected field of selected said records of said Rulebase to limit each said contextual unit to a size that can be accommodated by said main memory, (2) transferring a first contextual unit from said media to said main memory, (3) tracing in a predetermined order a plurality of said Rule trees in said first unit with said inference engine with each said tree being traced in a back chaining traversal of the nodes of said tree, (4) interrupting said step of tracing in response to said inference engine detecting said RULEBASE CALL during the processing of said preselected field of one of said selected said records, (5) transferring a second contextual unit to said main memory from said media in response to said detected RULEBASE CALL, (6) transferring said first contextual unit to said storage media when the amount of said memory available for said second unit being called is inadequate simultaneously to store said first and second units, and (7) updating selected nodes in said called second unit with data collected during said step of tracing of said first contextual unit prior to said interruption.
Claim 2
Dependent Claim
407 words
In a method of tracing a Rulebase of an expert system with a data processing system having a processing unit and a program which functions as an inference engine, a main memory unit which a memory capacity which is less than the size of the Rulebase and a storage unit having a storage media with a storage capacity capable of storing said entire Rulebase and connected to said processing unit for selectively transferring data there between, the improvement comprising the following steps in combination; (1) segmenting said Rulebase into a plurality of contextual units each of which has a size less than said size of said main memory unit, each said contextual unit having a plurality of Rule trees having a Goal node at its root and a plurality of other nodes at the leaves of said tree, each said node of said Rulebase comprising a data record having a plurality of predefined fields, each said record including at least one field which is interrelated to an identical field in at least one other said record in said Rulebase, each set of said identical related fields defining a different linked list of interrelated records, with each of said sets including a different group of said records, said segmenting step including the step of, (A) inserting a Rulebase Call action in a preselected field of selected said records of said Rulebase to limit each said contextual unit to a size that can be accommodated by said main memory, (2) transferring a first contextual unit from said media to said main memory, (3) tracing in a predetermined order a plurality of said Rule trees in said first unit with said inference engine with each said tree being traced in a back chaining traversal of the nodes of said tree, (4) interrupting said step of tracing in response to said inference engine detecting said RULEBASE CALL during the processing of said preselected field of one of said selected said records, (5) transferring a second contextual unit to said main memory from said media in response to said detected RULEBASE CALL, (6) transferring said first contextual unit to said storage media when the amount of said memory available for said second unit being called is inadequate simultaneously to store said first and second units, and (7) updating selected nodes in said called second unit with data collected during said step of tracing of said first contextual unit prior to said interruption.
Claim 3
Dependent Claim
70 words
The method recited in claim 1 further including the steps of tracing said second contextual unit until each Goal node is concluded, and exchanging said second contextual unit with said first contextual unit in said main memory unit to permit said first contextual unit to be traced from the point of said interruption to another RULEBASE CALL or until each Goal node in said first contextual unit has been concluded.
Claim 4
Dependent Claim
37 words
The method recited in claim 2 further including the step of updating said first contextual unit with data collected during the said step of tracing said second contextual unit after said step of exchanging said contextual units.
Claim 5
Dependent Claim
56 words
The method recited in claim 3 in which each said step of tracing said Rule trees of said first and second units includes the steps of processing each of the said other nodes at the leaves of said trees to obtain data to assist in arriving at a conclusion for the Goal node of said tree.
Claim 6
Dependent Claim
35 words
The method recited in claim 4 in which said steps of processig each of said other nodes includes the step of processing at least one Evidence type node or at least one External type node.
Claim 7
Dependent Claim
69 words
The method recited in claim 5 further including the step of assigning a Global attribute to a first set of nodes located in different rulebase units and said steps of updating said first and second units causes the data collected for one node of said set during the processing of one of said rulebase units to be transferred to another node of said set in a different rulebase unit.
Claim 8
Dependent Claim
67 words
The method recited in claim 6 further including the step of developing a Global list of each of said node in said first contextual rulebase unit that has been assigned a Global attribute as said first contextual unit is transferred into said memory and transferring the data collected by said node assigned a Global attribute to said Global list prior to processing said second contextual rulebase unit.
Claim 9
Dependent Claim
55 words
The method recited in claim 7 in which said steps of updating further include the step of tranferring from said Global list any data collected by a node in said first contextual rulebase unit that has a name identical to a node in said second contextual rulebase unit that is also assigned a global attribute.
Claim 10
Dependent Claim
44 words
The method recited in claim 8 further including the step of updating at the conclusion of processing a node for the first time in one contextual rulebase unit any other node in the same said one contextual rulebase unit which has an identical name.
Claim 11
Dependent Claim
30 words
The method recited in claim 9 in which said step of updating a node for the first time includes the further step of updating at least one Evidence type node.
Claim 12
Dependent Claim
64 words
The method recited in claim 10 further including the step of providing a terminal for displaying data in said system to an operator and a keyboard for entering data into said system, and said step of tracing a plurality of said Rule trees in said first unit includes the step of displaying on said terminal, a class question when said evidence node is processed.
Claim 13
Dependent Claim
33 words
The method recited in claim 11 further including the step of comparing the data entered from said keyboard by said operator in response to said question with a predetermined set of allowable responses.
Claim 14
Dependent Claim
34 words
The method recited in claim 12 in which said step of tracing also includes the step of displaying data to the operator which requires said operator to only acknowledge the receipt of said data.
Claim 15
Dependent Claim
55 words
The method recited in claim 13 in which said step of displaying data to said operator includes the step of displaying a predetermined directive to said operator which said operator is expected to follow and further including the step of said operator pressing a predetermined key on said keyboard to acknowledge completion of said directive.
Claim 16
Dependent Claim
30 words
The method recited in claim 4 further including the step of maintaining a Concluded Goals list of Goal nodes that have been concluded during the processing of said Rulebase unit.
Claim 17
Dependent Claim
48 words
The method recited in claim 15 in which said step of maintaining said Goals list includes establishing one record for each Goal node that was concluded, in which said one record comprises one field for an identification of said Goal node and another field for the conclusion data.
Claim 18
Dependent Claim
45 words
The method recited in claim 16 further including the step of processing said Concluded Goals List after all said units have been processed to present to said operator a predetermined number of conclusions and a numerical value indicating the relative correctness of each of conclusions.
Claim 19
Dependent Claim
35 words
The invention recited in claim 4 in which said step of tracing includes tracing all Goal trees in said first contextual units so that each goal is concluded before said first unit is considered exhausted.