A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.
Zoran OgnjanovicJozef KraticaMilos MilovanovicPublished in: ECSQARU (2001)
Keyphrases
- satisfiability problem
- probabilistic logic
- genetic algorithm
- probabilistic reasoning
- np complete
- maximum entropy
- search algorithm
- temporal logic
- phase transition
- default reasoning
- sat problem
- probabilistic knowledge
- stochastic local search algorithms
- probability theory
- stochastic local search
- neural network
- tabu search
- bayesian networks
- fuzzy logic
- max sat
- expressive power
- knowledge representation
- objective function
- sat instances
- mazurkiewicz traces