Sciweavers

LPNMR
2009
Springer

Simple Random Logic Programs

13 years 10 months ago
Simple Random Logic Programs
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” programs with two-literal rules have answer sets. We study experimentally how hard it is to compute answer sets of such programs. For programs that are constraint-free and purely negative we show that the easy-hard-easy pattern emerges. We provide arguments to explain that behavior. We also show that the hardness of programs from the hard region grows quickly with the number of atoms. Our results point to the importance of purely negative constraintfree programs for the development of ASP solvers.
Gayathri Namasivayam, Miroslaw Truszczynski
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LPNMR
Authors Gayathri Namasivayam, Miroslaw Truszczynski
Comments (0)