This paper studies generality relations on logic programs. Intuitively, a program P1 is more general than another program P2 if P1 gives us more information than P2. In this paper, we define various kinds of generality relations over nonmonotonic programs in the context of answer set programming. The semantic properties of generality relations are investigated based on domain theory, and both a minimal upper bound and a maximal lower bound are constructed for any pair of logic programs. We also introduce the concept of strong generality between logic programs and investigate its relationships to strong equivalence. These results provide a basic theory to compare the degree of incompleteness between nonmonotonic logic programs, and also have important applications to inductive logic programming and multi-agent systems. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Inoue, K., & Sakama, C. (2006). Generality relations in answer set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4079 LNCS, pp. 211–225). Springer Verlag. https://doi.org/10.1007/11799573_17
Mendeley helps you to discover research relevant for your work.