Evolution of Knowledge Bases

In the present work we introduce a simple yet powerful formalism to model the evolution of knowledge bases. The semantics are based on the fundamental intuition that more recent information overrides previous knowledge, insofar as keeping the old knowledge would lead to inconsistencies. Combining this with the techniques from logic programming and ordered logic semantics yields a notion of model that nicely extends the semantics of ordinary logic programming. Our approach extends existing ones in that we model updates that contain simple facts as well as intentional information using a uniform declarative formalism that also supports what-if reasoning and transactions.

[1]  Li-Yan Yuan,et al.  Three-valued formalization of logic programming: is it needed? , 1990, PODS '90.

[2]  Brigitte Verdonk,et al.  The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming , 1990, LPNMR.

[3]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

[4]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[5]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[6]  Dirk Vermeir,et al.  On the Relationship between Well-Founded and Stable Partial Models , 1991, MFDBS.

[7]  Serge Abiteboul,et al.  Non-deterministic languages to express deterministic transformations , 1990, PODS '90.

[8]  Victor Vianu.  Dynamic functional dependencies and database aging , 1987, JACM.

[9]  David Scott Warren,et al.  A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..

[10]  Domenico Saccà,et al.  Extending logic programming , 1990, SIGMOD '90.

[11]  Victor Vianu.  A dynamic framework for object projection views , 1988, TODS.

[12]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.

[13]  Melvin Fitting,et al.  Stratified and Three-valued Logic Programming Semantics , 1988, ICLP/SLP.

[14]  Sanjay Manchanda.  Declarative expression of deductive database updates , 1989, PODS '89.

[15]  Els Laenens,et al.  Foundations of ordered logic , 1991 .

[16]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .