Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic.
Yingcang MaJuanjuan ZhangHuan LiuPublished in: J. Appl. Math. (2013)
Keyphrases
- approximate reasoning
- rough mereology
- multi valued
- valued logic
- fuzzy sets
- set theory
- fuzzy logic
- rough set theory
- fuzzy reasoning
- rough sets
- deductive reasoning
- production rules
- truth values
- information granules
- first order logic
- propositional logic
- fuzzy set theory
- logical theories
- classical first order logic
- sound and complete axiomatization
- logic programming
- propositional theories
- truth maintenance systems
- spatial reasoning
- horn clauses
- probabilistic logic
- information retrieval
- artificial intelligence
- classical logic
- databases
- approximation spaces
- real world
- neural network
- genetic algorithm
- pattern recognition
- computational intelligence
- genetic programming
- input output
- modal logic
- autoepistemic logic
- default logic