P(X) based on linguistic truth-valued lattice implication algebra.
Jiajun LaiYang XuPublished in: Inf. Sci. (2010)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy logic
- fuzzy sets
- truth values
- first order logic
- boolean algebra
- logic programs
- multi valued
- fuzzy relations
- automated reasoning
- algebraic structure
- natural language
- datalog programs
- natural language processing
- linguistic features
- modal logic
- rough sets
- lattice structure
- horn clauses
- expert systems
- functional dependencies
- membership functions
- fuzzy rules
- relational algebra
- fixpoint
- data sets
- query language
- machine learning