10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System.
Yingxin WangXin WenLi ZouPublished in: ICYCSEE (2015)
Keyphrases
- first order logic
- intuitionistic fuzzy
- valued logic
- expressive power
- propositional logic
- fuzzy clustering
- group decision making
- inference rules
- knowledge representation
- theorem prover
- fuzzy numbers
- incomplete information
- truth values
- transitive closure
- fuzzy relations
- natural language processing
- markov logic networks
- classical logic
- relational algebra
- data mining
- probability distribution
- random variables
- decision makers
- fuzzy logic
- probabilistic model
- computational complexity