Minimal and consistent evolution of knowledge bases

Journal of Applied Non-Classical Logics

Volumn 7, Issue 1-2, 1997, Pages 117-146

  Lob, Jorge ^a   Trajcevski, Goce ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Consistency maintenance; Deductive databases; Knowledge base updates; View updates

Indexed keywords

EID: 0043115539     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1997.10510902     Document Type: Article

References (62)

1. S. Abiteboul. Updates, a new frontier. In Second International Conference on Database Theory- JCDT, pages 1-18, 1988
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. AddisonWesley, 1995
3. C. Alchourron, P. Gardenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2):1-18, 1985
4. K.R. Apt and M. Bezem. Acyclic programs (extended abstract). In D. Warren and P. Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 617-634, 1990
5. K.R. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann, 1988
6. C. Aravindan and P.M. Dung. Belief dynamic, abduction, and database updates. Journal of Applied Non-Classical Logics, 5(1), 1995
7. P. Atzeni and R. Torlone. Solving ambiguities in updating deductive databases. In J. Demetrovics B. Thalheim and H. D. Gerhardt, editors, Symposium on Mathematical Foundations of Database and Knowledge Base Systems, pages 104-118. Springer-Verlag, 1991
8. P. Atzeni and R. Torlone. Updating deductive databases with functional dependencies. In 2nd International Conference on Deductive and ObjectOriented Databases- DOOD'91, pages 278-291, 1991
9. F. Banchilori and N. Spyratos. Update semantics of relational views. In ACM Transactions on Database Systems, pages 557-575, 1981
10. F. Bry. Intentional updates: Abduction via deduction. In D. Warren and P. Sceredi, editors, Proceedings of the 7th International Conference on Logic Programming. Morgan - Kaufmann, 1990
11. F. Bry, H. Decker, and R. Manthey. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. In Advances in Database Technology -EDBT'BB, pages 488-505, 1988
12. U.S. Chakravarthy, J. Grant, and J. Minker. Foundations of semantic query optimization for deductive databases. In Foundations of Deductive Databases and Logic Programming, pages 243-273. Morgan Kaufmann, 1987
13. K.L. Clark. Negation as a failure. In H. Gallaire and J.Minker, editors, Logic and Data Bases. Plenum Press, 1978
14. H. Decker. Drawing updates from derivations. In Third International Conference on Database Theory- ICDT, pages 437-454, 1990
15. T. Eiter and G. Gottlob. Complexity aspects of various semantics for disjunctive databases. In Proceedings of the 12th ACM-PODS Symposium, pages 158-168, 1993
16. R. Fagin, G.M. Kuper, J.D. Ullman, and M.Y. Vardi. Updating logical databases. Advances in Computing Research, 3:1-18, 1986
17. T. Gaasterland. Generating Cooperative Answers in Deductive Databases. PhD thesis, University of Maryland, 1992
18. P. Gardenfors. Epistemic importance and minimal changes of belief. Australian Journal of Philosophy, 62:137-157, 1984
19. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, 38(3), 1991
20. M. Genesereth and N.L. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1988
21. J. Grant and J. Minker. Integrity constraints in knowledge based systems. Technical Report 89 - 39, University of Maryland, 1989
22. N. Grover. Automatic generation of user interfaces for view updates. University of Illinois at Chicago, Master's Project, 1994
23. A. Guessoum and J.W. Lloyd. Updating knowledge bases. Technical Report TR-89-05, Dept. of Computer Science - University of Bristol, 1989
24. K. Hinkelmann. Knowledge-base rewriting for bottom-up abduction and integrity checking. In Proceedings of the ICLP'95 Joint Workshop, pages 127-141, 1995
25. A.C. Kakas, R.A. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719-770, 1992
26. A.C. Kakas and P. Mancarella. Database updates through abduction. In Proceedings of the 16th VLDB Conference, 1990
27. H. Katsuno and A.O. Mendelzon. Propositional knowledge base revision and minimal change. Technical Report KRR-TR-90-3, University of Toronto, 1990
28. R.A. Kowalski and K. Eshgi. Abduction compared with negation by failure. In Proceedings of the 6th ICLP, 1989
29. R.A. Kowalski and F.Sadri. Knowledge representation without integrity constraint. Technical report, Dept. of Computing - Imperial College of Science and Technology, London, 1988
30. J.W. Lloyd. Foundations of Logic Programming. Symbolic Computation Series. Springer - Verlag, 1984
31. J.W. Lloyd and R.W. Topor. A basis for deductive database systems. Journal of Logic Programming, 3:55-67, 1986
32. J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, 1992
33. J. Lobo and C. Uzcategui. Abductive change operators. Fundamenta lnformaticae, 1996. to appear
34. A.C. Nayak M. Pagnucco and N.Y. Foo. Abductive reasoning, belief expansion and nonmonotonic consequence. In Proceedings of the ICLP'95 Joint Workshop, pages 143-158, 1995
35. S. Manchanda. Declarative expression of deductive database updates. In Proceedings of the 8th International Symposium ACM- PODS, pages 93-100, 1989
36. S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363-394. Morgan Kaufmann, 1988
37. E. Mayol and E. Teniente. Towards an efficient method for updating consistent deductive databases. In Proceedings of the BIWIT'95. IEEE Computer Society Press, 1995
38. A. Mendelzon and H. Katsuno. A unified view of propositional knowledge base updates. In 11th International Conference on AI, pages 1413-1419, 1989
39. G. Moerkotte and P. C. Lockemann. Reactive consistency control in deductive databases. ACM TODS, pages 670-702, 1991
40. J.F. Naughton and Y. Sagiv. A decidable class of bounded recursion. In Proceedings of the 6th International Symposium A CM - PODS, pages 227-235, 1987
41. A. Olivé. Integrity constraint checking in deductive databases. In Proceedings of the 17th Conference on VLDB, 1991
42. C.S. Pierce. Collected Papers of Charles Sanders Pierce, volume 2. Harvard University Press. 1931-1958
43. D. Poole. On the comparison of theories: Preferring the most specific explanation. In Proceedings of the 9th IJCAI, pages 143-148, 1986
44. D. Poole. Variable in hypotheses. In Proceedings of the 10th IJCAI, pages 905-909, 1987
45. T. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1987
46. T. Przymusinski. The well-founded semantics coincides with the threevalued stable semantics. Fundamenta Informaticae, 1989
47. R. Reiter. On closed world databases. In J. Minker and H. Gallaire, editors, Logic and Databases. Plenum Publishing Corporation, 1978
48. R. Reiter. On formalizing database updates: Preliminary report. In C. Delobel A. Pirotte and G. Gottlob, editors, Advances in Database Technology-EDBT, pages 10-20. Springer-Verlag, 1992
49. R. Reiter. How a database should progress and why. In Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, 1994
50. K. Sagonas. The SLG-WAM: A Search Efficient Engine for Well-Founded Evaluation of Normal Logic Programs. PhD thesis, SUNY at Stony Brook, 1996
51. K. Sagonas, T. Swift, and D.S. Warren. Xsb as an efficient deductive database engine. In ACM-SIGMOD, 1994
52. E. Teniente. An abductive framework to handle consistency preserving updates in deductive databases. In Proceedings of the ICLP'95 Joint Workshop, pages 111-125, 1995
53. E. Teniente and A. Olivé. The events method for view update in deductive databases. In C. Delobel A. Pirotte and G. Gottlob, editors, Advances in Database Technology- EDBT, pages 245-260. Springer-Verlag, 1992
54. E. Teniente and A. Olive. Updating knowledge bases while maintaining their consistency. VLDB Journal, 4(2), 1995
55. A. Tomasic. View update translation via deduction and annotation. In Second International Conference on Database Theory- ICDT'88, pages 338-352, 1988
56. F. Toni. Abductive Logic Programming. PhD thesis, Imperial College, London, 1995
57. R.W. Topor and E.A. Sonenberg. On domain independent databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 217-240. Morgan Kaufmann, 1988
58. G. Trajcevski. Minimality of view updates in deductive databases. Master's thesis, University of Illinois at Chicago,1995. (www.eecs.uic.edu/ ~gtrajcev/msth.ps)
59. G. Trajcevski, J. Lobo, and N. Grover. Meta updater: An interactive tool for minimal view updates in knowledge bases. In IEEE-Tools for Artificial Inteligence, 1996. to appear ( www.eecs.uic.eduj/~gtrajcev/ tai.ps)
60. J.D. Ullman. Principles of Database and Knowledge-base Systems. Addison - Wesley, 1989
61. L. Willard and L.Y. Yuan. The revised gardenfors postulates and update semantics. In Third International Conference on Database Theory-ICDT, pages 409-421, 1990
62. M.-A. Williams. A commonsensical approach to belief revision. In 3rd International Symposium on Commonsense Reasoning, 1996