Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic.
Shuwei ChenJun LiuHui WangJuan Carlos AugustoPublished in: ECSQARU (2011)
Keyphrases
- valued logic
- uncertain reasoning
- classical logic
- propositional logic
- fuzzy logic
- fuzzy sets
- belief functions
- first order logic
- multi valued
- artificial intelligence
- logic programs
- truth values
- probabilistic networks
- datalog programs
- dempster shafer
- automated reasoning
- stable models
- logic programming
- genetic algorithm
- special case
- expert systems