Fuzzy Lattice Reasoning (FLR) Extensions to Lattice-Valued Logic.
Vassilis G. KaburlasosPublished in: Panhellenic Conference on Informatics (2012)
Keyphrases
- valued logic
- fuzzy sets
- fuzzy logic
- classical logic
- propositional logic
- first order logic
- multi valued
- logic programs
- automated reasoning
- truth values
- datalog programs
- logic programming
- artificial intelligence
- knowledge base
- default logic
- computational intelligence
- knowledge representation
- pattern recognition
- concept lattice
- inference rules
- modal logic
- fixed point
- fixpoint
- bayesian networks
- database systems