An abductive framework for computing knowledge base updates

Theory and Practice of Logic Programming

Volumn 3, Issue 6, 2003, Pages 671-715

  Sakama, Chiaki ^a   Inoue, Katsumi ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b KOBE UNIVERSITY   (Japan)

Author keywords

Consistency restoration; Extended abduction; Extended disjunctive program; Theory update; View update

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAM LISTINGS; DATABASE SYSTEMS; LOGIC PROGRAMMING;

EXTENDED ABDUCTION; EXTENDED DISJUNCTIVE PROGRAMS; THEORY UPDATE; VIEW UPDATE;

KNOWLEDGE BASED SYSTEMS;

EID: 1242288220     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068403001716     Document Type: Article

References (63)

1. Alferes, J. J., Pereira, L. M. and Swift, T. (1999). Well-founded abduction via tabled dual programs. Proceedings 16th International Conference on Logic Programming, pp. 426-440, MIT Press.
2. Alferes, J. J., Leite, J. A., Pereira, L. M., Przymusinska, H. and Przymusinski, T. (2000). Dynamic updates of nonmonotonic knowledge bases. Journal of Logic Programming, 45, 43-70.
3. Alferes, J. J., Pereira, L. M., Przymusinska, H. and Przymusinski, T. (2002). LUPS - a language for updating logic programs. Artificial Intelligence, 138, 87-116.
4. Boutilier, C. and Becher, V. (1995). Abduction as belief revision. Artificial Intelligence, 77, 43-94.
5. Boutilier, C. (1996). Abduction to plausible causes: an event-based model of belief update. Artificial Intelligence, 83, 143-166.
6. Brogi, A., Lamma, E., Mancarella, P. and Mello, P. (1995). An abductive framework for extended logic programming. Proceedings 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 928, pp. 330-343. Springer-Verlag.
7. Bry, F. (1990). Intensional updates: abduction via deduction. Proceedings of the 7th International Conference on Logic Programming, pp. 561-575, MIT Press.
8. Buccafurri, F., Eiter, T., Gottlob, G. and Leone, L. (1997). Enhancing model checking in verification by AI techniques. Artificial Intelligence, 112, 57-104.
9. Buccafurri, F., Faber, W. and Leone, L. (1999). Disjunctive logic programs with inheritance. Proceedings 16th International Conference on Logic Programming, pp. 79-93. MIT Press.
10. Console, T., Dupré, D. T. and Torasso, P. (1991). On the relationship between abduction and deduction. Journal of Logic and Computation, 1, 661-690.
11. Console, L., Sapino, M. L. and Dupré, D. T. (1995). The role of abduction in database view updating. Journal of Intelligent Information Systems, 4, 261-280.
12. Damásio, C. V. and Pereira, L. M. (1995). Abduction over 3-valued extended logic programs. Proceedings 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 928, pp. 29-42. Springer-Verlag.
13. Decker, H. (1990). Drawing updates from derivations. Proceedings of the 3rd International Conference on Database Theory, Lecture Notes in Computer Science 470, pp. 437-451. Springer-Verlag.
14. Decker, H. (1996). An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. Proceedings Joint International Conference on and Symposium on Logic Programming, pp. 157-169, MIT Press.
15. Decker, H. (1997). One abductive logic programming procedure for two kinds of updates. Research Report PMS-FB-1997-16, Institut für Informatik, Universität München. (Also in Proc. ILPS '97 Workshop on DYNAMICS '97.)
16. Decker, H. (1998). Some notes on knowledge assimilation in deductive databases. Transactions and Change in Logical Database, Lecture Notes in Computer Science 1472, pp. 249-286. Springer-Verlag.
17. del Val, A. and Shoham, Y. (1994). A unified view of belief revision and update. Journal of Logic and Computation, 4(5), 797-810.
18. Denecker, M. and de Schreye, D. (1998). SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming, 34(2), 111-167.
19. Dung, P. M. (1991). Negation as hypotheses: an abductive foundation for logic programming. Proceedings 8th International Conference on Logic Programming, pp. 3-17. MIT Press.
20. Eiter, T., Gottlob, G. and Mannila, H. (1997). Disjunctive datalog. ACM Transactions on Database Systems, 22, 364-418.
21. Eiter, T., Gottlob, G. and Leone, N. (1997). Abduction from logic programs: semantics and complexity. Theoretical Computer Science, 189(1-2), 129-177.
22. Eiter, T., Faber, W., Leone, N. and Pfeifer, G. (1999). The diagnosis frontend of the dlv system. AI Communications, 12, 99-111.
23. Eiter, T., Fink, M., Sabbatini, G. and Tompits, H. (2000). Considerations on updates of logic programs. Proceedings European Workshop on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, pp. 2-20. Springer-Verlag. An extended version: On properties of update sequences based on causal rejection
24. Theory and Practice of Logic Programming, 2, 711-767.
25. Eshghi, K. and Kowalski, R. A. (1989). Abduction compared with negation by failure. Proceedings 6th International Conference on Logic Programming, pp. 234-255. MIT Press.
26. Fagin, R., Ullman, J. D. and Vardi, M. Y. (1983). On the semantics of updates in databases (preliminary report). Proceedings 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pp. 352-365.
27. Fagin, R., Kuper, G. M., Ullman, J. D. and Vardi, M. Y. (1986). Updating logical databases. Advances in Computing Research, 3, 1-18.
28. Fernandez, J. A., Grant, J. and Minker, J. (1996). Model theoretic approach to view updates in deductive databases. Journal of Automated Reasoning, 17(2), 171-197.
29. Fung, T. H. and Kowalski, R. (1997). The iff procedure for abductive logic programming. Journal of Logic Programming, 33, 151-165.
30. Gelfond, M. and Lifschitz, V. (1988). The stable model semantics for logic programming. Proceedings of the 5th International Conference and Symposium on Logic Programming, pp. 1070-1080. MIT Press.
31. Gelfond, M. and Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365-385.
32. Grant, J., Horty, J., Lobo, J. and Minker, J. (1993). View updates in stratified disjunctive databases. Journal of Automated Reasoning, 11, 249-267.
33. Guessoum, A. and Lloyd, J. W. (1990). Updating knowledge bases. New Generation Computing, 8, 71-89.
34. Guessoum, A. and Lloyd, J. W. (1991). Updating knowledge bases II. New Generation Computing, 10, 73-100.
35. Inoue, K. (1994). Hypothetical reasoning in logic programs. Journal of Logic Programming, 18, 191-227.
36. Inoue, K. and Sakama, C. (1995). Abductive framework for nonmonotonic theory change. Proceedings 14th International Joint Conference on Artificial Intelligence, pp. 204-210. Morgan Kaufmann.
37. Inoue, K. and Sakama, C. (1996). A fixpoint characterization of abductive logic programs. Journal of Logic Programming, 27, 107-136.
38. Inoue, K. and Sakama, C. (1998). Negation as failure in the head. Journal of Logic Programming, 35, 39-78.
39. Inoue, K. and Sakama, C. (1999). Computing extended abduction through transaction programs. Annals of Mathematics and Artificial Intelligence, 25(3-4), 339-367.
40. Inoue, K. (2000). A simple characterization of extended abduction. Proceedings 1st International Conference on Computational Logic, Lecture Notes in Artificial Intelligence 1861, pp. 718-732. Springer-Verlag.
41. Inoue, K. and Sakama, C. (2002). Disjunctive explanations. Proceedings 18th International Conference on Logic Programming, Lecture Notes in Computer Science 2401, pp. 317-332. Springer-Verlag.
42. Kakas, A. C. and Mancarella, P. (1990). Database updates through abduction. Proceedings 16th International Conference on Very Large Databases, pp. 650-661. Morgan Kaufmann.
43. Kakas, A. C. and Mancarella, P. (1990). Knowledge assimilation and abduction. Proceedings of the ECAI-90 Workshop on Truth Maintenance Systems, Lecture Notes in Artificial Intelligence 515, pp. 54-70, Springer-Verlag.
44. Kakas, A. C., Kowalski, R. A. and Toni, F. (1998). The role of abduction in logic programming. In: D. M. Gabbay, C. J. Hogger and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235-324, Oxford University Press.
45. Katsuno, H. and Mendelzon, A. O. (1991). On the difference between updating a knowledge base and revising it. Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 387-394. Morgan Kaufmann.
46. Lifschitz, V. (2002). Answer set programming and plan generation. Artificial Intelligence, 138, 39-54.
47. Lobo, J. and Uzcátegui, C. (1996). Abductive change operators. Fundamenta Informaticae, 27, 385-412.
48. Marek, V. W. and Truszczyński, M. (1999). Stable models and an alternative logic programming paradigm. In: K. R. Apt et al. (eds.), The Logic Programming Paradigm - A 25 Year Perspective, pp. 375-398, Springer-Verlag.
49. Mayol, E. and Teniente, E. (1999). A survey of current methods for integrity constraint maintenance and view updating. Proceedings 1st International Workshop on Evolution and Change in Data Management (associated with ER'99), pp. 62-73.
50. Niemelä, I. (1999). Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25, 241-273.
51. Nuseibeh, B. and Russo, A. (1999). Using abduction to evolve inconsistent requirements. Australian Journal of Information Systems, 7(1).
52. Pereira, L. M., Alferes, J. J. and Aparicio, N. (1991). Contradiction removal within well-founded semantics. Proceedings 1st International Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 105-119, MIT Press.
53. Poole, D. (1998). A logical framework for default reasoning. Artificial Intelligence, 36, 27-47.
54. Przymusinski, T. C. (1988). On the declarative semantics of deductive databases and logic programs. In: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, pp. 193-216. Morgan Kaufmann.
55. Sadri, F. and Kowalski, R. (1988). A theorem-proving approach to database integrity. In: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, pp. 313-362. Morgan Kaufmann.
56. Sakama, C. and Inoue, K. (1999). Updating extended logic programs through abduction. Proceedings 5th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 1730, pp. 147-161. Springer-Verlag.
57. Satoh, K. and Iwayama, N. (1991). Computing abduction by using the TMS. Proceedings 8th International Conference on Logic Programming, pp. 505-518. MIT Press.
58. Teniente, E. and Olive, A. (1995). Updating knowledge bases while maintaining their consistency. VLDB Journal, 4(2), 193-241.
59. Toni, F. and Kowalski, R. A. (1995). Reduction of abductive logic programs to normal logic programs. Proceedings 12th International Conference on Logic Programming, pp. 367-381. MIT Press.
60. Winslett, M. (1990). Updating Logical Databases. Cambridge University Press.
61. Witteveen, C. and Van der Hoek, W. (1997). A general framework for revising nonmonotonic theories. Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 1265, pp. 258-272., Springer-Verlag.
62. Yuan, L.-Y. and You, J.-H. (1998). Coherence approach to logic program revision. IEEE Transactions on Knowledge and Data Engineering, 10(1), 108-119.
63. Zhang, Y. and Foo, N. Y. (1998). Updating logic programs. Proceedings of the 13th European Conference on Artificial Intelligence, pp. 403-407, Wiley.