Random Logic Programs: Linear Model

Kewen Wang, Lian Wen, Kedian Mu

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 program…