I denna uppsats undersöker vi uppdateringar av kunskapsbaser som representeras av logiska program. För att representera negativ information, använder vi generaliserade logiska program som tillåter standard negation inte bara i regel organ men också i deras huvuden.Vi börjar med att införa idén om en uppdatering P U av ett logiskt program P av ett annat logiskt program U. Därefter ger vi en exakt semantisk karakterisering av P U, och studera några grundläggande egenskaper hos programuppdateringar. I synnerhet visar vi att våra uppdateringsprogram generaliserar begreppet tolkningsuppdatering. Vi utvidgar sedan detta begrepp till kompositionssekvenser av logiska program uppdateringar P1 P2 : : :, de ning en dynamisk programuppdatering, och därmed införa paradigm för dynamisk logik programmering. Detta paradigm underlättar avsevärt modularisering av logisk programmering, och därmed modularisering av icke-monotoniskt resonemang som helhet. Speci callay, anta att vi får en uppsättning logiska programmoduler, som var och en beskriver ett annat tillstånd av vår kunskap om världen. Olika stater kan representera olika tidpunkter eller olika uppsättningar av prioriteringar eller kanske till och med olika uppfattningar. Följaktligen kan programmoduler innehålla ömsesidigt motstridiga och överlappande information. Rollen för den dynamiska programuppdateringen är att använda de ömsesidiga relationer som finns mellan olika moduler för att exakt bestämma, vid varje givet modulsammansättningsstadium, den deklarativa såväl som förfarande semantiken i det kombinerade programmet som följer av modulerna.
Vårt arbete i detta dokument är också starkt relaterat till dynamisk logik programmering (DLP) REF.
Dynamic updates of non-monotonic knowledge bases
{'venue': 'J. Log. Program.', 'journal': None, 'mag_field_of_study': ['Computer Science']}