Location of Repository

Under consideration for publication in Theory and Practice of Logic Programming 1 Random Logic Programs: Linear Model

By Kewen Wang A, Lian Wen A and Kedian Mu B

Abstract

This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs mathematically and experimentally. It is mathematically proven that the average number of answer sets for a random program converges to a constant when the number of atoms is sufficiently large. Several experimental results are also reported, which justify the suitability of the linear model. It is also experimentally shown that, under this model, the size distribution of answer sets for random programs tends to a normal distribution when the number of atoms is large

Topics: Answer set programming, random logic programs
Year: 2003
OAI identifier: oai:CiteSeerX.psu:10.1.1.306.5632
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.ict.griffith.edu.au... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.