Patent US4167675A successfully refreshed from Google Patents.
Patent US4649515A successfully refreshed from Google Patents.
US4649515A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Methods and apparatus for system fault diagnosis and control
Assignee: Westinghouse Electric Co LLC
•
Filing: 1986-07-01
•
Granted: 1987-03-10
•
Expires: 2006-07-01
Abstract
Abstract Method and apparatus for monitoring and diagnosing sensor and interactive based process systems. The knowledge base concerning the process system per se is in the form of a list stored in memory, which list includes domain specific rules in evidence-hypothesis form. This domain dependent information is devoid of means for interconnecting the rules to perform diagnostic services. A completely domain independent set of meta-level rules is stored in memory, which, in response to sensor and/or user input, searches the knowledge base and effectively constructs a rule network through which belief is propagated, to detect and report malfunctions, to output control signals for modifying the operation of the monitored system, and to aid users by providing information relative to malfunctions which pinpoints probable causes. The domain independent rules, in addition to the meta-level rules which search the knowledge base and interconnect domain specific rules, includes procedural rules for choosing which of the meta-level rules to apply when there is a choice. The procedural inference rules are independent and distinct from the meta-level rules which manipulate the knowledge base.
Inventors
- 👤 Timothy F. Thompson
- 👤 Robert M. Wojcik
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-24 06:34
CPC Classifications
G; G06; G06F; G06F11/00; G06F11/22; G06F11/2257; B; B66; B66B; B66B5/00; B66B5/0006; B66B5/0018; G01; G01R; G01R31/00; G01R31/28; G01R31/317; G01R31/3181; G01R31/3183; G01R31/318371; G06N; G06N5/00; G06N5/04; Y; Y10; Y10S; Y10S706/00; Y10S706/902; Y10S706/903; Y10S706/91; Y10S706/911; Y10S706/918
Claims Analysis
Total Claims: 38
Claim 1
Independent Claim
136 words
A method of diagnosing faults in a predetermined system, comprising the steps of: providing domain specific rules, including rules in evidence-hypothesis form, to build a knowledge base of assertions relative to the predetermined system, maintaining said knowledge base free of information which makes inferences relative to the knowledge base, providing data relative to the predetermined system, providing inference rules, independent and distinct from said domain specific rules, which make belief propagating inferences in response to the data, by selecting and applying the domain specific rules, propagating belief in the hypotheses of selected domain specific rules, in response to the data, by the step of interconnecting the domain specific rules, under the control of the inference rules, into a rule network of hypothesis nodes interconnected by evidence, and outputting information in response to the belief propagating step.
Claim 2
Independent Claim
136 words
A method of diagnosing faults in a predetermined system, comprising the steps of: providing domain specific rules, including rules in evidence-hypothesis form, to build a knowledge base of assertions relative to the predetermined system, maintaining said knowledge base free of information which makes inferences relative to the knowledge base, providing data relative to the predetermined system, providing inference rules, independent and distinct from said domain specific rules, which make belief propagating inferences in response to the data, by selecting and applying the domain specific rules, propagating belief in the hypotheses of selected domain specific rules, in response to the data, by the step of interconnecting the domain specific rules, under the control of the inference rules, into a rule network of hypothesis nodes interconnected by evidence, and outputting information in response to the belief propagating step.
Claim 3
Dependent Claim
66 words
The method of claim 1 including the step of dividing the inference rules into two levels, with the first level including task control rules which make inferences for controlling the selection and application of domain specific rules, and with the second level including procedural rules which make inferences for controlling the selection of the task control rules of the first level, when there is a choice.
Claim 4
Dependent Claim
62 words
The method of claim 1 wherein the inference rules include rules for the steps of: determining when a belief propagating path appears unproductive, storing the information developed for an unproductive path, starting a new belief propagating path, and returning to an apparently unproductive path in response to predetermined conditions, using the information previously stored, to start at the point of previous termination.
Claim 5
Dependent Claim
104 words
The method of claim 1 wherein the domain specific rules include confidence factor threshold (CFT) values, and the inference rules include rules for the steps of: developing a confidence factor for each hypothesis node in the propagating step, using the confidence factors of supporting nodes, comparing the developed confidence factor for each hypothesis node with an associated CFT value to determine when the present propagating path appears to be unproductive, storing the information relative to an apparently unproductive path, and returning to an apparently unproductive path in response to predetermined conditions, using the information previously stored to start at the point of previous termination.
Claim 6
Dependent Claim
37 words
The method of claim 1 wherein the domain specific rules include path factors which assign relative values to alternate paths from a node, which path factors are utilized by the inference rules in selecting domain specific rules.
Claim 7
Dependent Claim
41 words
The method of claim 1 wherein the domain specific rules include forward path factors which assign relative values to alternate paths from a node to supported rules, which path factors are utilized by the inference rules in selecting domain specific rules.
Claim 8
Dependent Claim
41 words
The method of claim 1 wherein the domain specific rules include backward path factors which assign relative values to alternate paths from a node to supporting rules, which path factors are utilized by the inference rules in selecting domain specific rules.
Claim 9
Dependent Claim
138 words
The method of claim 1 wherein the domain specific rules include confidence factor threshold (CFT) values, and the inference rules include rules for establishing the steps of: developing a confidence factor for each hypothesis node in the propagating step, utilizing the confidence factors of supporting nodes, comparing the developed confidence factor for each hypothesis node with the CFT values, firing the associated rule, to continue the present propagating path, when the comparison is within the CFT values, noting the relative firing times of the rules in working memory elements (WME), terminating the present propagating path when the comparison is outside the CFT values, storing information relative to the terminated path, and looking for a new belief propagating path from the hypothesis nodes of fired rules, using the relative firing times stored in the WME's, to select the order.
Claim 10
Dependent Claim
33 words
The method of claim 8 wherein the inference rules include rules for establishing the step of returning to the most recent WME to continue a terminated belief path, in response to predetermined conditions.
Claim 11
Dependent Claim
38 words
The method of claim 9 wherein the step of returning to the most recent WME includes the step of disregarding the CFT comparison step, for at least one rule, to advance belief propagation by firing the associated rule.
Claim 12
Dependent Claim
93 words
The method of claim 1 wherein the domain specific rules include values which assign relative weights to multiple pieces of evidence for a rule, and confidence factor assumption (CFA) values, and the inference rules include rules for propagating belief without obtaining all of the evidence for a hypothesis by the steps of developing a confidence factor CF for each hypothesis node, setting the weight of a missing piece of evidence to zero, comparing the confidence factor CF with the CFA value, and continuing without the missing evidence when CF exceeds the CFA value.
Claim 13
Dependent Claim
32 words
The method of claim 11 wherein the inference rules include rules for establishing the step of returning to rules which were fired with missing pieces of evidence, in response to predetermined conditions.
Claim 14
Dependent Claim
45 words
The method of claim 12 wherein the domain specific rules include rules which have a malfunction hypothesis, with a predetermined condition which will trigger the return to a rule fired with missing evidence is a CF of a malfunction hypothesis being in a predetermined range.
Claim 15
Dependent Claim
59 words
The method of claim 1 wherein the step of providing data includes the step of providing sensor data, the step of providing domain specific rules includes providing values which enable a sufficiency factor SF to be determined for each sensor, and the step of providing inference rules includes the step of determining the SF for each sensor supported rule.
Claim 16
Dependent Claim
60 words
The method of claim 1 wherein the step of providing domain specific rules includes the step of assigning values SF to the rules based upon the confidence that the evidence, when present, supports the hypothesis, and values NF to the rules based upon the necessity of the evidence to the belief of the hypothesis, when substantiating evidence is not present.
Claim 17
Dependent Claim
83 words
The method of claim 1 wherein the step of providing data includes the step of providing sensor inputs, the step of providing domain specific rules includes the step of assigning a confidence factor CF to each sensor, and the inference rules include the steps of developing a sufficiency factor SF relative to the data provided by a sensor based upon its value, and developing a measure of belief MB relative to the sensor data equal to the product of the CF and SF.
Claim 18
Dependent Claim
55 words
The method of claim 15 wherein the step of providing inference rules includes rules for determining a measure of belief MB in the hypothesis, determining a measure of disbelief MD in the hypothesis, by utilizing SF and NF, and for determining a confidence factor in the hypothesis according to the difference between MB and MD.
Claim 19
Dependent Claim
79 words
The method of claim 1 wherein the step of providing data includes the step of providing sensor data, and the step of providing domain specific rules includes malfunction hypotheses, and wherein the inference rules include rules for forward chaining from known sensor inputs, until nodes are reached requiring unknown evidence, and rules for backward chaining to establish additional sensor data required to provide the unknown evidence, with the forward and backward chaining continuing until a malfunction node is reached.
Claim 20
Dependent Claim
48 words
The method of claim 1 wherein the step of providing domain specific rules includes the step of attaching predetermined signals and associated conditions to predetermined hypotheses, and the inference rules include rules for outputting such signals when the associated hypothesis node meets the conditions for outputting the signal.
Claim 21
Dependent Claim
181 words
Apparatus for diagnosing faults in a predetermined system, comprising: sensors for providing sensor data relative to the performance of the predetermined system, a domain specific knowledge base, including a plurality of rules in evidence-hypothesis form, which make assertions relative to the predetermined system, said knowledge base being free of information which makes inferences relative to the knowledge base, domain independent inference rules, including first and second levels of inference rules, means interconnecting said sensors, said domain specific knowledge base, and said domain independent inference rules, said first level of inference rules including means for testing evidence portions of selected rules of said domain specific knowledge base in response to said sensor data, and means responsive to successfully tested (fired) rules for making belief propagating inferences relative to the hypotheses of the domain specific rules, said second level of inference rules including means for determining which of the first level inference rules to apply when there is a choice, and means for outputting signals relative to at least certain of the domain specific rules which fire when their evidence portions are tested.
Claim 22
Dependent Claim
181 words
Apparatus for diagnosing faults in a predetermined system, comprising: sensors for providing sensor data relative to the performance of the predetermined system, a domain specific knowledge base, including a plurality of rules in evidence-hypothesis form, which make assertions relative to the predetermined system, said knowledge base being free of information which makes inferences relative to the knowledge base, domain independent inference rules, including first and second levels of inference rules, means interconnecting said sensors, said domain specific knowledge base, and said domain independent inference rules, said first level of inference rules including means for testing evidence portions of selected rules of said domain specific knowledge base in response to said sensor data, and means responsive to successfully tested (fired) rules for making belief propagating inferences relative to the hypotheses of the domain specific rules, said second level of inference rules including means for determining which of the first level inference rules to apply when there is a choice, and means for outputting signals relative to at least certain of the domain specific rules which fire when their evidence portions are tested.
Claim 23
Dependent Claim
39 words
The apparatus of claim 20 wherein the domain specific knowledge base includes sensor information relative to each sensor, and the inference rules include means responsive to said sensor information for determining the confidence factor CF of the sensor data.
Claim 24
Dependent Claim
113 words
The apparatus of claim 20 wherein the domain specific knowledge base includes values SF assigned to at least certain of the domain dependent rules based upon the confidence that the evidence, when present, supports the hypothesis, and values NF related to the necessity of the evidence to the belief of the hypothesis when it is missing, and the influence rules include means for determining a measure of belief MB and a measure of disbelief MD in the hypotheses of selected domain dependent rules, based upon the CF of the evidence and the SF and NF of the rules, and for developing a confidence factor CF responsive to the difference between MB and MD.
Claim 25
Dependent Claim
63 words
The apparatus of claim 22 wherein the domain specific knowledge base includes confidence factor threshold values CFT, and the inference rules include means for comparing the CF of a rule with a CFT value, firing the rule when the CF is within the CFT, and backing up to start a different path through the domain dependent rules when it is outside the CFT.
Claim 26
Dependent Claim
34 words
The apparatus of claim 23 wherein the inference rules include means for returning to a non-fired rule in response to predetermined conditions, and including means for firing the rule without regard to the CFT.
Claim 27
Dependent Claim
20 words
The apparatus of claim 20 wherein the output signals include control signals which modify the operation of the predetermined system.
Claim 28
Dependent Claim
101 words
The apparatus of claim 22 wherein the domain specific rules include values which assign relative weights to multiple pieces of evidence for a rule, and confidence factor assumption (CFA) values, and the inference rules include means for propagating belief without obtaining all of the evidence for a hypothesis, including means for developing a confidence factor CF for each hypothesis mode, means for setting the weight of a missing piece of evidence to zero, means for comparing the confidence factor CF with the CFA value, and means for continuing to propagate belief without the missing evidence when CF exceeds the CFA value.
Claim 29
Dependent Claim
28 words
The apparatus of claim 26 wherein the inference rules include means for returning to rules which were fired with missing pieces of evidence, in response to predetermined conditions.
Claim 30
Dependent Claim
65 words
The apparatus of claim 20 wherein the inference rules include means for: determining when a belief propagating path appears unproductive, means for storing the information developed for an unproductive path, means for starting a new belief propagating path, and means for returning to an apparently unproductive path in response to predetermined conditions, using the information previously stored, to start at the point of previous termination.
Claim 31
Dependent Claim
39 words
The apparatus of claim 20 wherein the domain specific rules include path factors which assign relative values to alternate paths from a node, and the inference rules include means for considering the path factors in selecting domain specific rules.
Claim 32
Dependent Claim
63 words
The apparatus of claim 20 wherein the domain specific rules include malfunction hypotheses, and wherein the inference rules include means for forward chaining from known sensor inputs, until nodes are reached requiring unknown evidence, means for backward chaining to establish additional sensor data required to provide the unknown evidence, and means for continuing forward and backward chaining until a malfunction node is reached.
Claim 33
Independent Claim
210 words
A method of diagnosing faults in a predetermined system, comprising the steps of: providing domain specific rules having confidence threshold (CFT) values, including rules in evidence-hypothesis form, to build a knowledge base of assertions relative to the predetermined system, providing data relative to the predetermined system, providing inference rules which make belief propagating inferences in response to the data, by selecting and applying the domain specific rules, propagating belief in the hypothesis of selected domain specific rules, in response to the data, by the step of interconnecting the domain specific rules, under the control of the inference rules, into a rule network of hypothesis nodes interconnected by evidence, said step of propagating belief including the steps of: (a) developing a confidence factor for each hypothesis node in the propagating step, using the confidence factors developed for supporting nodes, (b) comparing the developed confidence factor for each hypothesis node with the associated CFT value to determine when the present propagating path appears to be unproductive, (c) storing the information relative to an apparently unproductive path, and (d) returning to an apparently unproductive path in response to predetermined conditions, using the information previously stored to start at the point of previous termination, and outputting information in response to the belief propagating step.
Claim 34
Independent Claim
210 words
A method of diagnosing faults in a predetermined system, comprising the steps of: providing domain specific rules having confidence threshold (CFT) values, including rules in evidence-hypothesis form, to build a knowledge base of assertions relative to the predetermined system, providing data relative to the predetermined system, providing inference rules which make belief propagating inferences in response to the data, by selecting and applying the domain specific rules, propagating belief in the hypothesis of selected domain specific rules, in response to the data, by the step of interconnecting the domain specific rules, under the control of the inference rules, into a rule network of hypothesis nodes interconnected by evidence, said step of propagating belief including the steps of: (a) developing a confidence factor for each hypothesis node in the propagating step, using the confidence factors developed for supporting nodes, (b) comparing the developed confidence factor for each hypothesis node with the associated CFT value to determine when the present propagating path appears to be unproductive, (c) storing the information relative to an apparently unproductive path, and (d) returning to an apparently unproductive path in response to predetermined conditions, using the information previously stored to start at the point of previous termination, and outputting information in response to the belief propagating step.
Claim 35
Dependent Claim
39 words
The method of claim 31 wherein the step of returning to an apparently unproductive path includes the step of disregarding the CFT comparison step (b), for at least one rule, to advance belief propagation by firing the associated rule.
Claim 36
Independent Claim
201 words
A method of diagnosing faults in a predetermined system, comprising the steps of: providing domain specific rules, including rules in evidence-hypothesis form, to build a knowledge base of assertions relative to the predetermined system, said domain specific rules including values which assign relative weights to multiple pieces of evidence for a rule, and confidence factor assumption (CFA) values, providing data relative to the predetermined system, providing inference rules which make belief propagating inferences in response to the data, by selecting and applying the domain specific rules, propagating belief in the hypotheses of selected domain specific rules, in response to the data, by the step of interconnecting the domain specific rules, under the control of the inference rules, into a rule network of hypothesis nodes interconnected by evidence, said belief propagating step propagating belief without obtaining all of the evidence for a hypothesis of the steps of: (a) developing a confidence factor CF for each hypothesis node, (b) setting the weight of a missing piece of evidence to zero, (c) comparing the confidence factor CF with the CFA value, and (d) continuing without the missing evidence when CF exceeds the CFA value, and outputting information in response to the belief propagating step.
Claim 37
Independent Claim
201 words
A method of diagnosing faults in a predetermined system, comprising the steps of: providing domain specific rules, including rules in evidence-hypothesis form, to build a knowledge base of assertions relative to the predetermined system, said domain specific rules including values which assign relative weights to multiple pieces of evidence for a rule, and confidence factor assumption (CFA) values, providing data relative to the predetermined system, providing inference rules which make belief propagating inferences in response to the data, by selecting and applying the domain specific rules, propagating belief in the hypotheses of selected domain specific rules, in response to the data, by the step of interconnecting the domain specific rules, under the control of the inference rules, into a rule network of hypothesis nodes interconnected by evidence, said belief propagating step propagating belief without obtaining all of the evidence for a hypothesis of the steps of: (a) developing a confidence factor CF for each hypothesis node, (b) setting the weight of a missing piece of evidence to zero, (c) comparing the confidence factor CF with the CFA value, and (d) continuing without the missing evidence when CF exceeds the CFA value, and outputting information in response to the belief propagating step.
Claim 38
Dependent Claim
44 words
The method of claim 33 wherein the domain specific rules include rules which have a malfunction hypothesis, and including the step of returning to a rule which was fired with missing evidence when the CF of a malfunction hypothesis is in a predetermined range.
References Cited (Backward Citations)
US4561093A
Cited
US4567560A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1990-03-09 | 1990-09-08 | 1991-03-10 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 1994-03-09 | 1994-09-08 | 1995-03-10 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 1998-03-09 | 1998-09-08 | 1999-03-10 | $7700.00 | Window Closed / Lapsed |