Reasoning with truth values on compacted fuzzy chained rules.
Alberto BugarínSenén BarroPublished in: IEEE Trans. Syst. Man Cybern. Part B (1998)
Keyphrases
- truth values
- inference rules
- rule based reasoning
- valued logic
- boolean logic
- fixpoint
- production rules
- multi valued
- automated reasoning
- lattice structure
- horn clauses
- association rules
- finite state machines
- artificial intelligence
- knowledge representation
- membership functions
- fuzzy sets
- fuzzy logic
- database systems
- background knowledge
- fuzzy rules
- first order logic
- knowledge base