Gdel n值命题逻辑系统中命题公式的t真度及近似推理 (t Truth Degree of Formulas and Approximate Reasoning in Gdel n-valued Propositional Logic System).
Naidiao ZhuXiaojing HuiXiaoli GaoPublished in: 计算机科学 (2016)
Keyphrases
- valued logic
- propositional logic
- approximate reasoning
- fuzzy logic
- fuzzy sets
- propositional formulas
- first order logic
- truth values
- belief revision
- fuzzy reasoning
- quantified boolean formulae
- rough set theory
- membership functions
- multi valued
- rough sets
- production rules
- expert systems
- genetic algorithm
- lattice theory
- fuzzy set theory
- logic programs
- satisfiability testing
- possibilistic logic
- fuzzy rules
- control system
- real time
- classical logic
- rule base