I många fall kan ett logiskt program delas upp i två delar, så att en av dem, \bottom" delen, inte hänvisar till de predikat de ner i \top "delen. De nedersta "reglerna kan sedan användas för utvärdering av de predikat som de de ne, och de beräknade värdena kan användas för att förenkla dem. Vi diskuterar denna idé om att dela upp ett program i samband med svaret semantik. Huvudteoremet visar hur datorisering av svarsuppsättningar för ett program kan förenklas när programmet delas upp i delar. De program som omfattas av teorem kan använda både negation som misslyckande och klassisk negation, och deras regler kan h en v disjunktiv huvuden. Nyttan av begreppet uppdelning vid undersökningen av svarsuppsättningar illustreras av s e v era ansökningar. För det första, vi s h o w att en konservativ förlängning teorem av Gelfond och Przymusinska och en teorem om den stängda världen antagande av Gelfond och Lifschitz är enkla konsekvenser av splitting teorem. För det andra, (lokalt) strati ed program visas för att ha en enkel karakterisering i termer av uppdelning. Existensen och unikheten av ett svar som för ett sådant program kan lätt härledas från denna karakterisering. För det tredje relaterar vi idén om uppdelning till begreppet ordningskonsistens.
Algoritm AAS bygger på en idé som visas i arbetet med REF, där de visar att i många fall ett logiskt program kan delas in i två delar, så att en del, \bottom" delen, inte hänvisar till de predikat de ned i \top "delen.
Splitting a Logic Program
{'venue': 'Principles of Knowledge Representation', 'journal': None, 'mag_field_of_study': ['Computer Science']}