Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X).
Yi LiuYang XuXiaomei ZhongPublished in: J. Intell. Fuzzy Syst. (2015)
Keyphrases
- first order logic
- valued logic
- automated reasoning
- theorem proving
- theorem prover
- probabilistic reasoning
- knowledge representation
- propositional logic
- expressive power
- reasoning systems
- inductive logic programming
- markov networks
- inference rules
- representation language
- classical logic
- transitive closure
- reasoning tasks
- natural language
- decision procedures
- fuzzy logic
- markov logic networks
- fuzzy sets
- knowledge representation and reasoning
- truth values
- probabilistic logic
- data mining
- logical rules