An equational logic approach for mapping/multiple-valued rule-based expert systems into hardware specification rules
David C. Rine · 2002
This research extends techniques for mapping rule-based expert systems into VLSI hardware design notation and provides design procedures for performing the mapping from expert system' production rules to hardware specification rules. Results from this work enhance the applicability of the rule-based expert system approach to a larger class of real-time and control applications.>