The Prospect for Answer Sets Computation by a Genetic Model

We combine recent results from both Logic Programming and Genetic Algorithms to design a new method for the eflicent computation of Answer Sets of logic programs. First of all the problem is reduced to the problem of finding a suitable coloring on directed graphs. Then the problem of finding a suitable coloring is relaxed to a combinatorial optimization problem and solved (in an approximate way).by a continuous discrete time system derived by a genetic model.

[1]  Victor W. Marek,et al.  Default Reasoning System DeReS , 1996, KR.

[2]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[3]  Phan Minh Dung,et al.  On the Relations between Stable and Well-Founded Semantics of Logic Programs , 1992, Theor. Comput. Sci..

[4]  autoepistemic Zogic.  Logic programming and negation : a survey , 2001 .

[5]  D. E. Goldberg,et al.  Genetic Algorithms in Search , 1989 .

[6]  N. Shinkura,et al.  Pushing the envelope: chromatin boundaries at the nuclear pore. , 2002, Molecular cell.

[7]  David Scott Warren,et al.  Computation of Stable Models and Its Integration with Logical Query Processing , 1996, IEEE Trans. Knowl. Data Eng..

[8]  José Júlio Alferes,et al.  Classical Negation in Logic Programs , 1990 .

[9]  T. Metin Sezgin,et al.  Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations , 1999, The Logic Programming Paradigm.

[10]  Jürgen Dix,et al.  Transformation-based bottom-up computation of the well-founded model , 1996, Theory and Practice of Logic Programming.

[11]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[12]  Vladimir Lifschitz,et al.  Answer Set Planning (Abstract) , 1999, LPNMR.

[13]  Frédéric Saubion,et al.  Genetic Algorithms for Extension Search in Default Logic , 2000, ArXiv.

[14]  Darrell Whitley,et al.  A genetic algorithm tutorial , 1994, Statistics and Computing.

[15]  Michael D. Vose,et al.  Modeling Simple Genetic Algorithms , 1995, Evolutionary Computation.

[16]  Paola Campadelli,et al.  A Genetic Model: Analysis and Application to MAXSAT , 2000, Evolutionary Computation.

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

[18]  P. Liberatore.  Algorithms and Experiments on Finding Minimal Models , 2000 .

[19]  Gerald Pfeifer,et al.  A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.

[20]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

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