DocumentCode
3095225
Title
An equational logic approach for mapping/multiple-valued rule-based expert systems into hardware specification rules
Author
Rine, David C.
Author_Institution
George Mason Univ., Fairfax, VA, USA
fYear
1991
fDate
26-29 May 1991
Firstpage
308
Lastpage
315
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location
Victoria, BC
Print_ISBN
0-8186-2145-1
Type
conf
DOI
10.1109/ISMVL.1991.130748
Filename
130748
Link To Document