Ett förhållningssätt till revideringen av logiska program under svaret semantik presenteras. För program P och Q är målet att bestämma de svarsuppsättningar som motsvarar revideringen av P av Q, betecknad P * Q. En grundläggande princip för den klassiska (AGM) revisionen, och den som styr tillvägagångssättet här, är framgången postulerar. Vid årsstämmans revidering föreskrivs att α  på K * α. Genom analogi med framgång postulera, för program P och Q, innebär detta att svar uppsättningar av Q i någon mening kommer att inneslutas i dem av P * Q. Den väsentliga idén är att för P * Q, en trevärderad svarsuppsättning för Q, bestående av positiva och negativa bokstavliga, först bestäms. De positiva ordagranterna utgör ett regelbundet svar, medan de negerade ordagranten utgör en minimal uppsättning naf ordaler som krävs för att frambringa svaret från Q. Dessa ordagranner förökas till programmet P, tillsammans med de regler i Q som inte bestäms av dessa ordagranna. Tillvägagångssättet skiljer sig från arbetet i uppdateringslogikprogram i två huvudsakliga avseenden. För det första ser vi till att det reviderade logiska programmet har högre prioritet, och så tillfredsställer vi framgång postulat; för den preferens implicita i en revision P * Q, programmet Q som helhet har företräde framför P, till skillnad från uppdatering logiska program, eftersom svar uppsättningar av Q sprids till P. Vi visar att en kärngrupp av årsstämman postulates är nöjda, liksom postulates som har föreslagits för uppdatering logiska program.
Program-nivå förhållningssätt till logik programrevision REF ) är också baserad på svar semantik och antar de övertygelser som utgör en tro stat att vara svar uppsättningar av ett program.
A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics
{'venue': 'Theory and Practice of Logic Programming, 10, 4--6, 2010, pp. 565-580', 'journal': None, 'mag_field_of_study': ['Computer Science']}