 |
|
|
|
|
|
 Title: |
US5058033:
Real-time system for reasoning with uncertainty
[ Derwent Title ]
|
| Country: |
US United States of America
|
| |
| Inventor: |
Bonissone, Piero P.; Schenectady, NY
Pfau, Lise M.; Baden, Switzerland
|
| 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: |
1991-10-15
/ 1989-08-18
|
| Application Number: |
US1989000396407
|
| IPC Code: |
Advanced:
G06N 5/00;
G06N 5/04;
Core:
more...
IPC-7:
G06F 15/36;
|
| U.S. Class: |
Current:
706/052;
706/046;
Original:
364/513;
|
| Field of Search: |
364/613
|
| Priority Number: |
| 1989-08-18 |
US1989000396407 |
|
| Abstract: |
The invention is directed to an automated, real-time, rule-based reasoning with uncertainty system and method for practicing same. The system has a three layer structure comprising 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. The control layer includes a planning mechanism which determines the fastest plan for reaching the conclusion and generates prioritized alternate plans which, if time permits, will be executed in accordance with their respective priorities.
|
| Attorney, Agent or Firm: |
Webb, II, Paul R. ;
Davis, Jr., James C. ;
|
| Primary / Asst. Examiners: |
MacDonald, Allen R.; Joyner, Roger S.
|
| Maintenance Status: |
E1 Expired Check current status
|
| INPADOC Legal Status: |
Show legal status actions
|
| Family: |
None
|
First Claim:
Show all 99 claims |
What is claimed is:
1. A method, for practice on a computer, for time-constrained reasoning with uncertainty in a rule-based reasoning system comprising a directed acyclic graph stored in memory and comprising nodes representing a plurality of variable to which respective values can be assigned, a plurality of rule premises, a plurality of rules, and a plurality of conclusions, each of said rule premises comprising at least one clause including at least one of said variables to which respective values can be assigned, said method comprising the steps of:
- selecting a node representing a conclusion to be determined;
- determing alternative plans for executing said directed acyclic graph within a predetermined time deadline each alternative plan comprising a plurality of nodes forming a path through said directed acyclic graph, each path resulting in execution of said selected node;
- executing said selected node by utilizing default values for each of said nodes if no alternative plan provides for execution of the selected node within the predetermined time deadline; and
- if an alternative plan provides for execution of the selected node within the predetermined time deadline, executing the selected node by first executing one alternative plan which provides for execution of the selected node within the predetermined time deadline and in the earliest absolute time, execution of each of said alternative plans comprising the steps of associating a value certainty interval with each value assigned to one of said variables of said one plan, 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 rule node of said plan, said sufficiency factor representing a strength of belief that the rule is true given the rule premise is true, said necessity factor representing a strength of belief that the rule 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 executing 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 24 U.S. patent(s) that reference this one
|
|
|
|
|
|
|
| Foreign References: |
None
|
| Other References: |
Nii, "Blackboard Systems: Blackboard Application Systems, Blackboard Systems from a Knowledge Engineering Perspective", AI Magazine, Aug. 1986.
Wangming, "A Multivalued Logic System with Respect to T-Norms", Fuzzy Computing, Gupta & Yanakawa, Ed., North-Holland, 1988, pp. 101-118.
Garner et al., "General Purpose Inference Engine for Canonical Graph Models", Knowledge-Based Sytems, vol. 1, No. 5, Dec. 1988, pp. 266-278.
Lindley, "The Probability Approach to the Treatment of Uncertainty in Artificial Intelligence and Expert Systems", Statistical Science, vol. 2, No. 1, 1987, pp. 3-44.
"Artificial Intelligence", by P. H. Winston, Addison-Wesley Publishing Co., 1984, pp. 191-197.
"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.
"RUM: A Layered Architecture for Reasoning with Uncertainty", by P. Bonissone, 10th International Joint Conference on Artificial Intelligence, Milan, Italy, Aug. 23-30, 1987.
Published viewgraphs of oral presentation of "Reasoning with Incomplete and Uncertain Information" by P. Bonissone, at DARPA sponsored by Expert System Research Workshop, Friendship, Ohio, Oct. 9-10, 1986.
Uncertainty in Artificial Intelligence, sponsored by American Association for Artificial Intelligence, Seattle, Washington, Jul. 10-12, 1987.
"Reasoning with Uncertainty for Improved Situational Awareness in Pilot's Associate" by L. M. Sweet et al., 12th DARPA Strategic Systems Symposium, Monterey, CA, Oct. 28-30, 1986.
L. M. Pfau, "RUMrunner: Real-time Reasoning with Uncertainty", General Electric Company, Corporate Research & Development, dated Dec. 3, 1987.
Bonissone et al., "Plausible Reasoning in Dynamic Classification Problems", Validation and Testing Knowledge-Based Systems Workshop, Minneapolis, MN, Aug. 20, 1988.
Bonissone, "Now That I Have a Good Theory of Uncertainty, What Else Do I Need?", 5th Workshop of Uncertainty in AI, Windsor, Canada, Aug. 18, 1989.
Bonissone, "Demonstration of Reasoning with Uncertainty Module (RUM): Contact Assessor and Intent Projector", presented to DARPA Naval Technology Office, Naval Underwater System Command and other government representatives, May, 1989.
Bonissone et al., "Time-Constrained Reasoning Under Uncertainty", AAAI Workshop on Real-Time AI Problems, Detroit, MI, Aug., 1989.
Bonissone, U.S. patent application Ser. No. 103,465 entitled "A Reasoning System for Reasoning With Uncertainty".
Bonissone et al., "Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-Off Precision and Complexity", Uncertainty in Artificial Intelligence, edited by L. Kanal and J. Lemmer, North-Holland, 1986, pp. 217-247.
Szolovits et al., "Categorical and Probabilistic Reasoning in Medical Diagnosis", Artificial Intelligence Journal, vol. 11, 1978, pp. 115-144.
(30 pages)
Schweizer et al., "Associative Functions and Abstract Semi-Groups", Publicationes Mathematicae Debrecen, vol. 10, 1963, pp. 69`481.
Declaration of John S. Beulick.
Declaration of Robert McNaughton.
Declaration of Piero Patrone Bonissone.
Declaration of Lise Marie Pfau.
|
|
 Nominate this for the Gallery...
|
|
