1995-09-14
1997-06-10
Downs, Robert W.
395 76, G06F 1700, G06F 1518
Patent
active
056384939
ABSTRACT:
The system includes a rule compiler to convert rules in a rule base into a digital logic implementation and a net list generator. The compiler comprises a rule network input section, an antecedents storage table, a consequents storage table, a translated antecedents storage table, a conjunction formation table, a disjunction formation table, and a rule network logical formation section. Patterns from the left hand side of the rules are entered into the antecedents storage table. Patterns from the right hand side of the rules are entered into the consequents storage table. Patterns in the antecedents storage table are simplified using a translation function and stored in the translated antecedents storage table. Antecedents that pertain to the same rule are combined to form a logical conjunction and are stored in the conjunction formation table. All of the terms in the consequents storage table which effect a common outcome are collected and a disjunction is formed and stored in the disjunction formation table. Terms from the conjunction formation table are inserted into their respective table and are stored in the rule network logical formation section. The output of the compiler is the results stored in the rule network logical formation section which defines a logical equation. A net list generator builds a net list from the logical equation.
REFERENCES:
patent: 4649515 (1987-03-01), Thompson et al.
patent: 4837735 (1989-06-01), Allen, Jr. et al.
patent: 4901229 (1990-02-01), Tashiro et al.
patent: 4922432 (1990-05-01), Kobayashi et al.
patent: 4924408 (1990-05-01), Highland
patent: 4939680 (1990-07-01), Yoshida
patent: 5058033 (1991-10-01), Bonissone et al.
patent: 5063522 (1991-11-01), Winters
patent: 5072405 (1991-12-01), Ramakrishna et al.
patent: 5218669 (1993-06-01), Kobayashi et al.
patent: 5271091 (1993-12-01), Highland et al.
patent: 5303332 (1994-04-01), Kirk et al.
patent: 5442792 (1995-08-01), Chun
Devedzic, Vladan, et al. "An Architecture for Real-Time Inference Engines on Personal Computers", Proc. 25th Annual Hawaii Int. Conf. on System Sciences, vol. 1, No. 7, Jan. 10, 1992.
Hanyu, Takahiro, "Design of a Multiple-Valued Rule-Programmable Matching VLSI Chip for Real-Time Rule-Based Systems", Proc. 22nd Init. Symp. on Multiple Valued Logic, pp. 274-281, May 27, 1992.
A. Pasik and M. Schor, "Table-driven Rules in Expert Systems," ACM SIGART Newsletter, No. 87, pp. 31-33. Jan. 1984.
M. Ghallab and H. Philippe, "A Compiler for Real-Time Knowledge-Base Systems," Int'l. Workshop on Artificial Intelligence for Industrial Applications, pp. 387-393. May 1988.
P.A. Cundiff and M.D. Walters, "An Embedded Expert System for Portable ATE," IEEE Int'l. Automatic Testing Conf. pp. 155-159. Oct. 1988.
N. Griffin, "A Fast Architecture for Rule-Based Systems," Thesis, Univ. of Kentucky, pp. 1-38. Apr. 1988.
D.E. Parson and G.D. Blank, "Constraint-time pattern matching for real-time production systems," SPIE vol. 1095 Applications of Artificial Intelligence VII, pp. 971-982. Mar. 1989.
N.L. Griffin and F.D. Lewis, "A Rule-Based Inference Engine which is Optimal and VLSI Implementable," IEEE Int'l. Workshop on Tools for Artificial Intelligence Architectures, Languages, and Algorithms, pp. 246-251. Oct. 1989.
P. Kogge et al., "VLSI and Rule-Based Systems, " in VLSI for Artificial Intelligence, J.G. Delgado-Frias and W.R. Moore, eds., Kluwer Academic Pub., pp. 95-108. Dec. 1989.
T. Hanyu et al., "Design of a Multiple-Valued Rule-Programmable Matching VLSI Chip for Real-Time Rule-Based Systems," Proc. 22nd Int'l Symp. on Multiple-Valued Logic, pp. 274-281. May 1992.
Downs Robert W.
Reticular Systems, Inc.
LandOfFree
Net list generation for a rule base does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Net list generation for a rule base, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Net list generation for a rule base will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-771867