US4941102A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Two-step debugger for expert systems
Assignee: International Business Machines Corp
•
Filing: 1988-09-16
•
Granted: 1990-07-10
•
Expires: 2008-09-16
Abstract
Abstract An apparatus and method for debugging a forward-chaining (rule-based) expert system are disclosed. A single STEP command controls the expert system and automatically presents prefire and postfire displays for observing the system's performance. The debugger alternates between prefire and postfire states. In the prefire state, before the selected rule is fired, the conflict set of rules eligible to be fired, the selected rule to be fired, and the data for that rule are displayed in separate windows. Entry of the STEP command fires the rule and changes the debugger's state to postfire. In the postfire state, the just-fired rule and data updated thereby are displayed. Entry of the STEP command in the postfire state changes the state to prefire and automatically presents the prefire display for the next selected rule.
Inventors
- 👤 Michael J. Darnell
- 👤 Joseph M. Hary
- 👤 Robert J. Quinn
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-30 14:02
CPC Classifications
G; G06; G06F; G06F11/00; G06F11/36; G06F11/3698
Claims Analysis
Total Claims: 29
Claim 1
Independent Claim
140 words
In an expert system including storage means for storing data and rules, and execution means for identifying one or more eligible rules (instantiations) based on the data, selecting one of those rules and firing rule to modify the data, the improvement characterized by a debugger comprising: (a) means for displaying at least one of the eligible rules; (b) means for displaying at least part of the data; and (c) means responsive to the user for alternating between at least (i) a prefire state before firing of the selected rule, in which at least one of the eligible rules and at least part of the data are automatically displayed, and (ii) a postfire state after firing of the selected rule, in which at least one of the newly-identified eligible rules and at least part of the modified data are automatically displayed.
Claim 2
Dependent Claim
140 words
In an expert system including storage means for storing data and rules, and execution means for identifying one or more eligible rules (instantiations) based on the data, selecting one of those rules and firing rule to modify the data, the improvement characterized by a debugger comprising: (a) means for displaying at least one of the eligible rules; (b) means for displaying at least part of the data; and (c) means responsive to the user for alternating between at least (i) a prefire state before firing of the selected rule, in which at least one of the eligible rules and at least part of the data are automatically displayed, and (ii) a postfire state after firing of the selected rule, in which at least one of the newly-identified eligible rules and at least part of the modified data are automatically displayed.
Claim 3
Dependent Claim
14 words
The debugger of claim 1, wherein the expert system is a forward-chaining production system.
Claim 4
Dependent Claim
26 words
The debugger of claim 1, further including means for displaying the selected rule, and wherein the display during the prefire state further includes the selected rule.
Claim 5
Dependent Claim
26 words
The debugger of claim 1, further including means for displaying the selected rule, and wherein the display during the postfire state further includes the selected rule.
Claim 6
Dependent Claim
23 words
The debugger of claim 1, wherein the stepping means calls the execution means when stepping from the prefire state to the postfire state.
Claim 7
Dependent Claim
21 words
The debugger of claim 1, further including means responsive to the user for executing control program commands while using the debugger.
Claim 8
Dependent Claim
25 words
The debugger of claim 6, wherein execution of control program commands while using the debugger causes the debugger to be placed in the prefire state.
Claim 9
Dependent Claim
21 words
The debugger of claim 1, further including means responsive to the user for executing other debugging commands while using the debugger.
Claim 10
Dependent Claim
21 words
The debugger of claim 8, wherein the execution of other debugger commands while using the debugger leaves the debugger's state unchanged.
Claim 11
Dependent Claim
25 words
The debugger of claim 1, wherein the eligible rules, the selected rule, and the data are displayed concurrently in separate windows on a display screen.
Claim 12
Dependent Claim
20 words
The debugger of claim 1, wherein the displays of the prefire and postfire displays are alternated on a display screen.
Claim 13
Independent Claim
152 words
A method for an expert system, the system including storage means for storing data and rules, and execution means for identifying one or more eligible rules based on the data, selecting one of these rules, and firing the selected rule to modify the data, the method comprising the steps in order of: (a) automatically displaying a prefire display including at least one of the eligible rules, the selected rule, and at least part of the data; (b) waiting for the occurrence of a preselected event; (c) calling the execution means to fire the selected rule, identify a new set of eligible rules, and select a rule to be fired; (d) automatically displaying a postfire display including at least one of the newly eligible rules, the just-fired rule, and at least part of the modified data; (e) waiting for the occurrence of a second preselected event; and (f) repeating in order steps (a)-(e).
Claim 14
Independent Claim
152 words
A method for an expert system, the system including storage means for storing data and rules, and execution means for identifying one or more eligible rules based on the data, selecting one of these rules, and firing the selected rule to modify the data, the method comprising the steps in order of: (a) automatically displaying a prefire display including at least one of the eligible rules, the selected rule, and at least part of the data; (b) waiting for the occurrence of a preselected event; (c) calling the execution means to fire the selected rule, identify a new set of eligible rules, and select a rule to be fired; (d) automatically displaying a postfire display including at least one of the newly eligible rules, the just-fired rule, and at least part of the modified data; (e) waiting for the occurrence of a second preselected event; and (f) repeating in order steps (a)-(e).
Claim 15
Dependent Claim
23 words
The method of claim 12, wherein the preselected events of steps (b) and (e) comprise the entry of respective commands by the user.
Claim 16
Dependent Claim
11 words
The method of claim 13, wherein the commands are the same.
Claim 17
Dependent Claim
22 words
The method of claim 12, wherein the step (a) displays the eligible rules, the selected rule, and the data in separate windows.
Claim 18
Dependent Claim
22 words
The method of claim 15, wherein the step (a) displays names of all the eligible rules and text of the selected rule.
Claim 19
Dependent Claim
23 words
The method of claim 12, wherein the step (d) displays the newly eligible rules, the just-fired rule and the data is separate windows.
Claim 20
Dependent Claim
22 words
The method of claim 17, wherein the step (d) displays names of all the newly-eligible rules and text of the just-fired rule.
Claim 21
Dependent Claim
52 words
The method of claim 12, wherein the prefire display and the postfire display each comprises a first window for displaying at least part of the eligible rules, a second window for displaying the selected rule and the just-fired rule, respectively, and a third window for displaying at least part of the data.
Claim 22
Dependent Claim
23 words
The method of claim 12, wherein the steps (a) and (d) display at least partial text of the selected and just-fired rules, respectively.
Claim 23
Dependent Claim
22 words
The method of claim 12, wherein the steps (a) and (d) display the data relating to the selected and just-fired rules, respectively,
Claim 24
Dependent Claim
131 words
A debugger for a computer-implemented expert system having storage means for storing data and rules and execution means for identifying a conflict set, selecting a rule instantiation to be fired, and firing the selected rule instantiation to modify the data, the debugger comprising: (a) means for alternating between at least a prefire state before execution of the selected instantiation, and a postfire state after firing of the instantiation and selection of another instantiation to be fired; (b) means for automatically displaying at least part of the conflict set, the selected instantiation, and at least part of the data when the debugger is in the prefire state; and (c) means for automatically displaying the just-fire instantiation and at least part of the modified data when the debugger is in the postfire state.
Claim 25
Dependent Claim
131 words
A debugger for a computer-implemented expert system having storage means for storing data and rules and execution means for identifying a conflict set, selecting a rule instantiation to be fired, and firing the selected rule instantiation to modify the data, the debugger comprising: (a) means for alternating between at least a prefire state before execution of the selected instantiation, and a postfire state after firing of the instantiation and selection of another instantiation to be fired; (b) means for automatically displaying at least part of the conflict set, the selected instantiation, and at least part of the data when the debugger is in the prefire state; and (c) means for automatically displaying the just-fire instantiation and at least part of the modified data when the debugger is in the postfire state.
Claim 26
Dependent Claim
14 words
The debugger of claim 22, wherein the expert system is a forward-chaining production system.
Claim 27
Dependent Claim
18 words
The debugger of claim 22, wherein the means for stepping comprises a user command implemented on the computer.
Claim 28
Dependent Claim
17 words
The debugger of claim 22, wherein both means for displaying comprise a display terminal of the computer.
Claim 29
Dependent Claim
25 words
The debugger of claim 22, wherein the means for displaying in the postfire state further displays at least part of a newly identified conflict set.
References Cited (Backward Citations)
US4591983A
Cited
US4730315A
Cited
US4809219A
Cited
US4713775A
Cited
US4696003A
Cited
US4752889A
Cited
US4819234A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1993-07-09 | 1994-01-08 | 1994-07-10 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 1997-07-09 | 1998-01-08 | 1998-07-10 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2001-07-09 | 2002-01-08 | 2002-07-10 | $7700.00 | Window Closed / Lapsed |