Approximate Reasoning in First-Order Logic Theories.
Johan WittocxMaarten MariënMarc DeneckerPublished in: KR (2008)
Keyphrases
- first order logic
- approximate reasoning
- rough mereology
- fuzzy logic
- expressive power
- knowledge representation
- propositional logic
- fuzzy sets
- rough set theory
- fuzzy reasoning
- probabilistic reasoning
- production rules
- theorem proving
- inference rules
- theorem prover
- probabilistic graphical models
- transitive closure
- markov networks
- representation language
- inductive logic programming
- logical formulas
- horn clauses
- rough sets
- set theory
- markov logic networks
- database
- expert systems
- constraint databases
- artificial intelligence
- machine learning
- probability theory
- neural network
- fuzzy set theory
- complex structures
- membership functions
- query answering