Random logic programs: linear model

DOI10.1017/S1471068414000611MaRDI QIDQ4593016zbMATH OpenFDO

Authors Kewen Wang, Lian Wen, Kedian Mu

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.6102

zbMATH Keywords

answer set programmingrandom logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

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. It is mathematically shown that the average number of answer sets for a random program converges to a constant when the number of atoms approaches infinity. 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 sufficiently large.

Recommendations

• Simple Random Logic Programs
• Logic Programming
• A model for phase transition of random answer-set programs
• Probabilistic logic programming
• scientific article; zbMATH DE number 1870008

Cites work

• scientific article; zbMATH DE number 67483 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1368926 (Why is no real title available?)
• scientific article; zbMATH DE number 1369843 (Why is no real title available?)
• scientific article; zbMATH DE number 2088041 (Why is no real title available?)
• scientific article; zbMATH DE number 1890628 (Why is no real title available?)
• Autoepistemic logic
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Computing stable models: worst-case performance estimates
• Handbook on ontologies
• Logic Programming
• Probabilistic reasoning with answer sets
• Semantics of (disjunctive) logic programs based on partial evaluation
• Simple Random Logic Programs
• Some (in)translatability results for normal logic programs and propositional theories
• The DLV system for knowledge representation and reasoning

Cited in

(5)

• scientific article; zbMATH DE number 1870008 (Why is no real title available?)
• A model for phase transition of random answer-set programs
• New models for generating hard random Boolean formulas and disjunctive logic programs
• Theoretical Aspects of Computing - ICTAC 2004
• Simple Random Logic Programs

This page was built for publication: Random logic programs: linear model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593016)