Learning First Order Logic Rules with a Genetic Algorithm.
Sébastien AugierGilles VenturiniYves KodratoffPublished in: KDD (1995)
Keyphrases
- first order logic
- genetic algorithm
- expressive power
- learning algorithm
- markov logic networks
- markov logic
- logical rules
- transitive closure
- theorem prover
- knowledge representation
- inductive logic programming
- inductive learning
- theorem proving
- markov networks
- background knowledge
- fuzzy logic
- highly expressive
- inference rules
- query answering
- probabilistic reasoning
- web scale
- bayesian networks