The Prospect for Answer Sets Computation by a Genetic Model

Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

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.