An Equational Logic Approach for Mapping Multiple-Valued Rule-Based Expert Systems into Hardware Specification Rules.
David C. RinePublished in: ISMVL (1991)
Keyphrases
- multiple valued
- multi valued
- rule based expert systems
- multiple valued logic
- rule based systems
- expert systems
- knowledge engineering
- file organization
- rule base
- boolean functions
- horn clauses
- real time
- valued logic
- complex valued
- continuous attributes
- normal form
- association rules
- theorem proving
- knowledge based systems
- pattern recognition
- decision diagrams
- truth values
- digital circuits
- artificial intelligence
- knowledge acquisition
- expert knowledge
- decision rules
- classical logic
- fuzzy logic
- rule extraction
- object oriented
- classification rules
- domain specific