A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report

This paper introduces a genetic algorithm for satisfiability problem in a probabilistic logic. A local search based improvement procedure is integrated in the algorithm. A test methodology is presented and some results are given. The results indicate that this approach could work well Some directions for further research are described.

[1]  Elena Marchiori,et al.  A genetic local search algorithm for random binary constraint satisfaction problems , 2000, SAC '00.

[2]  Pierre Hansen,et al.  Models and Algorithms for Probabilistic and Bayesian Logic , 1995, IJCAI.

[3]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

[4]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[5]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[6]  Joseph Y. Halpern.  A Logical Approach to Reasoning about Uncertainty: A Tutorial , 1998 .

[7]  Thomas Bäck,et al.  A Superior Evolutionary Algorithm for 3-SAT , 1998, Evolutionary Programming.

[8]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[9]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[10]  David Beasley,et al.  An overview of genetic algorithms: Part 1 , 1993 .

[11]  Kenneth A. De Jong,et al.  Using Genetic Algorithms to Solve NP-Complete Problems , 1989, ICGA.

[12]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[13]  Jozef Kratica,et al.  Improving Performances of the Genetic Algorithm by Caching , 1999, Comput. Artif. Intell..

[14]  Elena Marchiori,et al.  A flipping genetic algorithm for hard 3-SAT problems , 1999 .

[15]  Christos H. Papadimitriou,et al.  Probabilistic satisfiability , 1988, J. Complex..

[16]  Pierre Hansen,et al.  Column Generation Methods for Probabilistic Logic , 1989, INFORMS J. Comput..

[17]  Peter Haddawy,et al.  Anytime Deduction for Probabilistic Logic , 1994, Artif. Intell..

[18]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[19]  Miodrag Raskovic,et al.  Some Probability Logics with New Types of Probability Operators , 1999, J. Log. Comput..