US5363473A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Incremental update process and apparatus for an inference system
Assignee: Columbia University
•
Filing: 1991-05-28
•
Granted: 1994-11-08
•
Expires: 2011-05-28
Abstract
Abstract A technique is provided in the present invention for updating a current database without restarting a knowledge-based system (rule-based system, inference system, expert system). The technique allows for the receipt of updates to an earlier database after an inference procedure has started or even after it has ended. The technique calls for the performance of actions necessary to incrementally bring the database to a consistent state by selectively undoing the inferential consequences of not having had the updated fact in the prior inference procedures and redoing the inferential consequences of having the newly received updated fact.
Inventors
- 👤 Salvatore J. Stolfo
- 👤 Ouri Wolfson
- 👤 Hasanat Dewan
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-01 10:42
CPC Classifications
G; G06; G06N; G06N5/00; G06N5/04; G06N5/046; G06N5/02; G06N5/022
Claims Analysis
Total Claims: 10
Claim 1
Independent Claim
212 words
A method for using a computer to produce at least one inferential information item from at least one given information item, comprising producing a first set of information items, producing said first set of information items comprising a plurality of cycles, each of said cycles comprising at least one step of applying a rule of inference to an information item, thereby producing said first set of information items at a cycle here called present cycle, and further comprising, at said present cycle, an additional step of modifying said first set of information items to produce a second set of information items upon receipt of at least one additional information item, said additional step comprising: initializing a status record for each one of the at least one additional information item, indicating its presence at said present cycle and its absence at cycles preceding said present cycle, updating, for each one of the first set of information items, a status record indicating (i) its presence or absence for each one of said plurality of cycles, presence or absence being determined based on respective inferential compatibility or incompatibility with said at least one additional information item, (ii) the number of times it has been added, and (iii) the number of times it has been deleted.
Claim 2
Independent Claim
212 words
A method for using a computer to produce at least one inferential information item from at least one given information item, comprising producing a first set of information items, producing said first set of information items comprising a plurality of cycles, each of said cycles comprising at least one step of applying a rule of inference to an information item, thereby producing said first set of information items at a cycle here called present cycle, and further comprising, at said present cycle, an additional step of modifying said first set of information items to produce a second set of information items upon receipt of at least one additional information item, said additional step comprising: initializing a status record for each one of the at least one additional information item, indicating its presence at said present cycle and its absence at cycles preceding said present cycle, updating, for each one of the first set of information items, a status record indicating (i) its presence or absence for each one of said plurality of cycles, presence or absence being determined based on respective inferential compatibility or incompatibility with said at least one additional information item, (ii) the number of times it has been added, and (iii) the number of times it has been deleted.
Claim 3
Dependent Claim
36 words
The method of claim 1, being performed by a first processor, wherein said step of modifying comprises producing said at least one additional information item by a second processor operating in parallel with said first processor.
Claim 4
Dependent Claim
79 words
The method of claim 1, further comprising an additional step of resolving conflicts in said first set of information items upon application of at least one conflict-resolution rule, here called meta redaction rule, to produce a second set of information items from said first set of information items which are not in conflict according to said at least one meta redaction rule, said at least one meta redaction rule being included with said at least one rule of inference.
Claim 5
Dependent Claim
18 words
The method of claim 3, said additional step being included with each cycle of said plurality of cycles.
Claim 6
Dependent Claim
200 words
A knowledge-based system comprising means for producing at least one inferential information item from at least one given information item, said knowledge-based system comprising: processing means for performing a plurality of cycles comprising at least one step of applying a rule of inference to an information item to produce, at a cycle here called present cycle, a first set of information items, modifying means for modifying, at said present cycle, said first set of information items to produce a second set of information items upon receipt of at least one additional information item, said modifying means comprising: means for initializing a status record for each one of the at least one additional information item, indicating its presence at said present cycle and its absence at cycles preceding said present cycle, and means for updating, for each one of the first set of information items, a status record indicating (i) its presence or absence for each one of said plurality of cycles, presence or absence being determined based on respective inferential compatibility or incompatibility with said at least one additional information item, (ii) the number of times it has been added, and (iii) the number of times it has been deleted.
Claim 7
Dependent Claim
200 words
A knowledge-based system comprising means for producing at least one inferential information item from at least one given information item, said knowledge-based system comprising: processing means for performing a plurality of cycles comprising at least one step of applying a rule of inference to an information item to produce, at a cycle here called present cycle, a first set of information items, modifying means for modifying, at said present cycle, said first set of information items to produce a second set of information items upon receipt of at least one additional information item, said modifying means comprising: means for initializing a status record for each one of the at least one additional information item, indicating its presence at said present cycle and its absence at cycles preceding said present cycle, and means for updating, for each one of the first set of information items, a status record indicating (i) its presence or absence for each one of said plurality of cycles, presence or absence being determined based on respective inferential compatibility or incompatibility with said at least one additional information item, (ii) the number of times it has been added, and (iii) the number of times it has been deleted.
Claim 8
Dependent Claim
47 words
The knowledge-based system of claim 5, wherein said processing means comprises a plurality of processors adapted to operate in parallel, at least one of said plurality of processors being adapted to receive said at least one additional information item from another one of said plurality of processors.
Claim 9
Dependent Claim
30 words
The knowledge-based system of claim 6, wherein said plurality of processors operate in an asynchronous manner and said modifying means is coupled to each one of said plurality of processors.
Claim 10
Dependent Claim
44 words
The knowledge-based system of claim 5, further comprising conflict resolution means coupled to said processing means for removing conflicting rule inferences from ones of said at least one rule of inference so as to avoid inference conflicts within said first set of information items.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1997-11-07 | 1998-05-09 | 1998-11-08 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2001-11-07 | 2002-05-09 | 2002-11-08 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2005-11-07 | 2006-05-09 | 2006-11-08 | $7700.00 | Window Closed / Lapsed |