Expert system with a frame explanation system

Claim 2

In an expert system with a frame explanation system for inputting and uninterrupted processing of facts comprising: means for inputting facts to the system; an inference engine comprising means for analyzing the facts and drawing inferences from the facts; means for storing a rule base containing rules used to analyze the facts, said rule base being grouped into rule classes, each class containing one or more rules; means for storing a dependence table which solely defines the relationship of the rule classes to one another; means for firing a first rule in a class when an inference is drawn from the facts; an explanation system comprising means for storing explanations associated with each rule class, the explanation system including means for creating a series of frames and storing in a frame one or more explanations when the first rule in a class is fired; and means for displaying conclusions generated by the expert system from the inputted facts and related explanations as an output from the expert system.

Claim 3

The expert system of claim 1 and further comprising means for modifying the dependence table to change the relationships of the rule classes to one another.

Claim 4

The expert system of claim 1 and further comprising means relating the frames to one another in a tree structure of nodes according to the dependence table.

Claim 5

The expert system of claim 3 further comprising means for placing an explanation in a frame corresponding to a node when a related rule is fired.

Claim 6

The expert system of claim 4 and further comprising means for storing strategy, reason and inference explanations in a frame.

Claim 7

In an expert system for inputting and uninterrupted processing of facts, a method of producing explanations comprising the steps of: (a) inputting facts for processing in an inference engine; (b) searching a rule base grouped into rule classes, each rule class containing one or more rules, the rule classes being related to one another in a dependence table and wherein the rule classes are arranged in a tree structure of nodes; (c) firing a rule selected by the inference engine from the facts; (d) determining whether the fired rule is a first fired rule in a rule class; (e) if the fired rule is a first fired rule in a rule class, creating a frame for the rule class of the first fired rule; (f) adding to the created frame one or more explanations related to the rule class of the first fired rule; (g) analyzing the facts with the inference engine for any further rule which can be fired and repeating steps (b) through (f) until no more rules remain in the rule base to be fired; and (h) outputting conclusions and explanations generated by the expert system from the inputted facts.

Claim 8

In an expert system for inputting and uninterrupted processing of facts, a method of producing explanations comprising the steps of: (a) inputting facts for processing in an inference engine; (b) searching a rule base grouped into rule classes, each rule class containing one or more rules, the rule classes being related to one another in a dependence table and wherein the rule classes are arranged in a tree structure of nodes; (c) firing a rule selected by the inference engine from the facts; (d) determining whether the fired rule is a first fired rule in a rule class; (e) if the fired rule is a first fired rule in a rule class, creating a frame for the rule class of the first fired rule; (f) adding to the created frame one or more explanations related to the rule class of the first fired rule; (g) analyzing the facts with the inference engine for any further rule which can be fired and repeating steps (b) through (f) until no more rules remain in the rule base to be fired; and (h) outputting conclusions and explanations generated by the expert system from the inputted facts.

Claim 9

The method of claim 6 further comprising the step of placing each created frame at a node in the tree structure related to the fired rule.

Claim 10

The method of claim 7 further comprising the step of adding an inference explanation to the frame of the rule class of the fired rule.