Revising First-Order Logic Theories from Examples Through Stochastic Local Search.
Aline PaesGerson ZaveruchaVítor Santos CostaPublished in: ILP (2007)
Keyphrases
- first order logic
- stochastic local search
- probabilistic reasoning
- expressive power
- propositional logic
- inference rules
- theorem proving
- theorem prover
- knowledge representation
- satisfiability problem
- inductive logic programming
- markov networks
- transitive closure
- representation language
- logical formulas
- randomly generated
- belief revision
- random sat instances
- markov logic networks
- max sat
- artificial intelligence
- propositional satisfiability
- phase transition
- concept learning
- sat problem
- ilp systems