On the consistency of rule bases based on lattice-valued first-order logic LF(X).
Yang XuJun LiuDa RuanTsu-Tian LeePublished in: Int. J. Intell. Syst. (2006)
Keyphrases
- first order logic
- rule base
- valued logic
- rule based systems
- expressive power
- propositional logic
- fuzzy logic
- fuzzy rules
- inference engine
- knowledge representation
- theorem proving
- defeasible logic
- inference rules
- knowledge base
- membership functions
- transitive closure
- probabilistic reasoning
- markov networks
- representation language
- rule sets
- theorem prover
- inductive logic programming
- horn clauses
- production rules
- incomplete information
- markov logic networks
- markov logic
- logical rules
- databases
- computational intelligence
- control system
- search algorithm
- data mining
- neural network