 |
|
|
|
|
|
 Title: |
US4860213:
Reasoning system for reasoning with uncertainty
[ Derwent Title ]
|
| Country: |
US United States of America
|
| |
| Inventor: |
Bonissone, Piero P.; Schenectady, NY
|
| Assignee: |
General Electric Company, Schenectady, NY
other patents from GENERAL ELECTRIC COMPANY (218550) (approx. 30,796)
News, Profiles, Stocks and More about this company
|
| Published / Filed: |
1989-08-22
/ 1987-10-01
|
| Application Number: |
US1987000103465
|
| IPC Code: |
Advanced:
G06N 5/04;
Core:
G06N 5/00;
IPC-7:
G06F 15/36;
|
| U.S. Class: |
Current:
706/052;
706/053;
706/900;
Original:
364/513;
364/300;
|
| Field of Search: |
364/513,300
|
| Government Interest: |
This invention was made with Government support under Contract F30602-85-C-0033 awarded by the Department of the Air Force. The Government has certain rights in this invention.
|
| Priority Number: |
| 1987-10-01 |
US1987000103465 |
|
| Abstract: |
The invention is directed to an automated rule-based reasoning with uncertainty system and method for practicing same. The system has a three layer structure composed of representation, inference and control layers. Rule firings and conclusions are computed in the inference layer in a manner to propagate uncertainty information through the system in accordance with predetermined formulas designated by the control layer. Rule structures and conclusions and uncertainty information associated therewith are represented to the user in the representation layer.
|
| Attorney, Agent or Firm: |
Webb, II, Paul R. ;
Davis, Jr., James C. ;
|
| Primary / Asst. Examiners: |
Pellinen, A. D.; Williams, H. L.
|
| INPADOC Legal Status: |
Show legal status actions
|
| Family: |
None
|
First Claim:
Show all 28 claims |
What is claimed is:
1. A method, for practice on a computer, for reasoning with uncertainty in a rule-based reasoning system comprising a plurality of rules each having a premise and a conclusion to be determined true upon finding the premise to be true, said premise comprising at least one clause including a variable to which a value can be assigned, said method comprising the steps of:
- associating a value certainty interval with each value assigned to one of said rule premise variables, said value certainty interval having a lower and an upper bound respectively representative of amounts of confirmation and failure of refutation of the assigned value;
- associating a sufficiency factor and a necessity factor with each said rule, said sufficiency factor representing a strength of belief that the rule conclusion is true given the rule premise is true, said necessity factor representing a strength of belief that the rule conclusion is false given the rule premise is false;
- computing a premise certainty interval from the value certainty intervals respectively associated with the values assigned to the premise variables, a lower bound of said premise certainty interval being a first predetermined function of the respective value certainty interval lower bounds, an upper bound of said premise certainty interval being said first function of the respective value certainty interval upper bounds; and
- firing one of said rules by computing a conclusion detachment certainty interval having a lower and an upper bound, said conclusion detachment interval lower bound being a second predetermined function of both said rule sufficiency factor and said premise certainty interval lower bound, the conclusion detachment upper bound being a third predetermined function of both said rule necessity factor and said premise certainty interval upper bound, said conclusion detachment interval lower and upper bounds respectively representing the amounts of confirmation and failure of refutation of the rule conclusion.
|
| Background / Summary: |
Show background / summary
|
| Drawing Descriptions: |
Show drawing descriptions
|
| Description: |
Show description
|
| Forward References: |
Show 28 U.S. patent(s) that reference this one
|
|
|
|
|
|
|
| Foreign References: |
None
|
| Other References: |
"Associative Functions and Abstract Semi-Groups", by Schweizer et al., Publicationes Mathematicae Debrecen, vol. 10, 1963, pp. 69-81.
"A Fuzzy Sets Based Linguistic Approach: Theory and Applications", by Bonissone, Proceedings of the 1980 Winter Simulation Conference (T. I. Oren, S. M. Shub and P. F. Roth, eds) Orlando, Florida, Dec. 1980, pp. 99-111.
|
|
 Nominate this for the Gallery...
|
|
