Some Interesting Results about Splitting
会议名称：《2010 Third International Conference on Education Technology and Training (ETT 2010)》
会议日期：2010年
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：Supported partially by the National Science Foundation of China under Grant No90718009 Natural Science Foundation of Guizhou province No20092123 science research fund for talents recruiting of Guizhou University No(2008)033
关 键 词：logic programming splitting algebraic property information technology & engineering.
摘 要：logic programming, a primary means for repre- senting and reasoning about knowledge, has been applying in many domains. For instance, representing and Managing about Information Technology ＆ Engineering and knowledge. It is complex to compute the answer set of a logic programming. In order to decrease the task of computation, researchers naturally divide a big problem into many independent small problems. One useful method is splitting technology in logic programming proposed by Lifschitz. We show in this paper some interesting algebraic properties of splitting over logic programming.