Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.
Yang XuJun LiuXingxing HeXiaomei ZhongShuwei ChenPublished in: Int. J. Comput. Intell. Syst. (2018)
Keyphrases
- valued logic
- propositional logic
- fuzzy logic
- classical logic
- first order logic
- fuzzy sets
- logic programs
- theorem proving
- truth values
- inductive logic programming
- multi valued
- automated reasoning
- horn clauses
- datalog programs
- rough sets
- neural network
- inference rules
- fixpoint
- stable models
- belief revision
- expressive power
- constraint satisfaction problems
- computational intelligence
- artificial intelligence
- genetic algorithm