Title :
An equational logic approach for mapping/multiple-valued rule-based expert systems into hardware specification rules
Author_Institution :
George Mason Univ., Fairfax, VA, USA
Abstract :
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
Keywords :
expert systems; formal logic; knowledge based systems; many-valued logics; equational logic; hardware specification; production rules; rule-based expert systems; Algebra; Computer architecture; Concurrent computing; Equations; Expert systems; Hardware; Lips; Logic design; Parallel processing; Pipeline processing;
Conference_Titel :
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
0-8186-2145-1
DOI :
10.1109/ISMVL.1991.130748
