Patent
1991-11-06
1992-11-24
Fleming, Michael R.
395 75, G06F 1518
Patent
active
051670127
ABSTRACT:
A method for use with a rule-based expert system provides a technique for determining a recent previous consistent state of execution of the expert system after a change is made to a rule or variable. Several queues contain state history information of an inference engine. When changes are made to a rule or variable, these history queues are examined to determine a recent consistent state. If the current state is inconsistent due to the change, the user can be informed that the system is now in an inconsistent state.
REFERENCES:
patent: 4814971 (1989-03-01), Thatte
patent: 4890240 (1989-12-01), Loeb et al.
Knowledge-Based Systems in Artificial Intelligence, Randall Davis, et al, McGraw-Hill International Book Company, Copyright 1982, pp. 229-485.
Brownston et al., Programming Expert Systems in OPS5, Addison-Wesley Pub., 1985, 75-82.
Schor et al., "Advances in Rete Pattern Matching", Proc. 1986 American Assoc. of Artificial Intelligence Conf., 1986, pp. 226-232.
Exsys, Inc., Exsys El Expert System Development Tool, 1988, C-59, 60 E-51, 52.
Exsys, Inc., "Exsys Professional" Brochure, 1988.
Wirth, Niklaus, Algorithms+Data Structures=Programs, 1976, pp. 171-172.
Charniak et al., Artificial Intelligence Programming, Lawrence Erlbaum Assoc., 1987, pp. 248-275.
Date, C. J., An Introduction to Database Systems vol II, Addison-Wesley Pub., 1983, p. 1-33.
Barr et al., The Handbook of Artificial Intelligence vol. II, Addison-Wesley Pub., 1982, pp. 87-101.
Rasmus, D., "The Expert is In", MacUser, Sep. 1989, pp. 136-139, 145, 149, 151, 153, 155, 158, 160.
Hayes Raymond R.
Hsieh Lo
Downs Robert W.
Fleming Michael R.
Hill Kenneth C.
International Business Machines - Corporation
O'Malley, Jr. Paul W.
LandOfFree
Method for performing consistency checks does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for performing consistency checks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for performing consistency checks will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-928960