On the use of stochastic local search techniques to revise first-order logic theories from examples.
Aline PaesGerson ZaveruchaVítor Santos CostaPublished in: Mach. Learn. (2017)
Keyphrases
- first order logic
- stochastic local search
- expressive power
- propositional logic
- theorem proving
- knowledge representation
- transitive closure
- inference rules
- markov networks
- probabilistic reasoning
- theorem prover
- satisfiability problem
- representation language
- inductive logic programming
- phase transition
- logical formulas
- max sat
- propositional satisfiability
- randomly generated
- markov logic networks
- computational properties
- sat instances
- optimal solution
- markov logic
- background knowledge
- linear programming
- dynamic programming
- natural language
- database