Splitting a Logic Program Revisited


  • Jianmin Ji University of Science and Technology of China
  • Hai Wan Sun Yat-sen University
  • Ziwei Huo Sun Yat-sen University
  • Zhenfeng Yuan Sun Yat-sen University




Splitting set, Splitting a Logic Program, Program Simplification


Lifschitz and Turner introduced the notion of the splitting set and provided a method to divide a logic program into two parts. They showed that the task of computing the answer sets of the program can be converted into the tasks of computing the answer sets of these parts. However, the empty set and the set of all atoms are the only two splitting sets for many programs, then these programs cannot be divided by the splitting method. In this paper, we extend Lifschitz and Turner's splitting set theorem to allow the program to be split by an arbitrary set of atoms, while some new atoms may be introduced in the process. To illustrate the usefulness of the result, we show that for some typical programs the splitting process is efficient and the program simplification problem can be investigated using the concept of splitting.




How to Cite

Ji, J., Wan, H., Huo, Z., & Yuan, Z. (2015). Splitting a Logic Program Revisited. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9399



AAAI Technical Track: Knowledge Representation and Reasoning