Patent US4903215A successfully refreshed from Google Patents.
US4903215A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Inference method
Assignee: Hitachi Ltd
•
Filing: 1987-11-18
•
Granted: 1990-02-20
•
Expires: 2007-11-18
Abstract
Abstract In a production system having a memory for storing a group of rules each comprising a condition part and a conclusion part, inference means for inferring by using the group of rules and a working memory, whether a condition part is true or false in the working memory is determined, and if it cannot be determined, a rule having a conclusion part as to whether the fact is true or false is searched, and the conclusion part of the searched rule is used for backward reasoning. If the rule is not found by the search, an inquiry is made to a user.
Inventors
- 👤 Tetsuya Masuishi
- 👤 Hiroshi Tsuji
- 👤 Chizuko Yasunobu
- 👤 Hideo Ohata
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-29 18:19
CPC Classifications
G; G06; G06N; G06N5/00; G06N5/04; G06N5/042; G06N5/046
Claims Analysis
Total Claims: 2
Claim 1
Independent Claim
236 words
An inference method in a system having a rule memory for storing a group of rules each consisting of a condition part and a conclusion part, a working memory for storing facts, and inference means for deriving facts based on the contents of said rule memory and said working memory, each of said facts representing whether a term is true or false, comprising the steps of: determining by matching the contents of said working memory and a term described in the condition part of a rule stored in said rule memory whether said term described in said condition part is true, false, or undeterminable, wherein said determining by matching further includes a sub-step of determining whether the condition part of the rule in said rule memory corresponds to the fact in said working memory, and a sub-step of writing the conclusion part of the rule into said working memory; determining by backward reasoning based on the content of said working memory and said rule memory, if the determining by matching step determines that the term is undeterminable, whether the condition part of the rule in said rule memory having truth or falsehood of said term as the conclusion part is true or false; and, inquiring to a user whether the term is true or false, if the rule having as the conclusion part whether the term is true or false, is not in said rule memory.
Claim 2
Dependent Claim
236 words
An inference method in a system having a rule memory for storing a group of rules each consisting of a condition part and a conclusion part, a working memory for storing facts, and inference means for deriving facts based on the contents of said rule memory and said working memory, each of said facts representing whether a term is true or false, comprising the steps of: determining by matching the contents of said working memory and a term described in the condition part of a rule stored in said rule memory whether said term described in said condition part is true, false, or undeterminable, wherein said determining by matching further includes a sub-step of determining whether the condition part of the rule in said rule memory corresponds to the fact in said working memory, and a sub-step of writing the conclusion part of the rule into said working memory; determining by backward reasoning based on the content of said working memory and said rule memory, if the determining by matching step determines that the term is undeterminable, whether the condition part of the rule in said rule memory having truth or falsehood of said term as the conclusion part is true or false; and, inquiring to a user whether the term is true or false, if the rule having as the conclusion part whether the term is true or false, is not in said rule memory.
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) | 1993-02-19 | 1993-08-21 | 1994-02-20 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 1997-02-19 | 1997-08-21 | 1998-02-20 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2001-02-19 | 2001-08-21 | 2002-02-20 | $7700.00 | Window Closed / Lapsed |