Abstract
We show in this paper how procedures that update knowledge bases can naturally be adapted to a number of problems related to contextual reasoning. The fact that the update procedures are abductive in nature is favourably exploited to tackle problems related to human-computer dialogue systems. We consider as examples aspects of pronoun resolution,goal formulation , and the problem of restoring the consistency of a knowledge base after some knowledge update is carried out. We state these problems in terms of the update problem and abductive reasoning and show how procedures that update knowledge bases yield some interesting results. We also explain how these procedures can naturally be used to model various forms of hypothetical reasoning such as hypothesizing inconsistencies and performing some “look ahead” form of reasoning.
We do not claim thaT the problems presented here are solved entirely within the update framework. However, we believe that the flexibility of the representation and of the problem-solving approach suggest that the problems could be solved by adding more details about each problem. What is most interesting in our understanding is that all the aforementioned problems are expressed and tackled within the same framework.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abiteboul, S. (1988). Updates, a new frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the Second International Conference on the Theory of Databases, Lecture Notes in Computer Science 326, Springer-Verlag, 1–18.
Allen, J. (1995). Natural Language Understanding. The Benjamin/Cummings Publishing Company, second edition.
Blakeley, J.A., Coburn, N., and Larson, P.-A. (1989). Updating derived relations: Detecting irrelevant and autonomously computable updates. ACM Transactions on Database Systems, 14(3):369–400.
Bowen, K.A. and Kowalski, R.A. (1982). Amalgamating language and meta-language in logic programming. In K.L. Clark and S.-A. Tarnlund, editors, Logic Programming, Academic Press, 153–172.
Bry, F. (1990). Intensional updates: Abduction via deduction. In D.H.D. Warren and P. Szeredi, editors, Seventh International Conference on Logic Programming (pp. 561–575), Jerusalem.
Bancilhon, F. and Spyratos, N. (1981). Update semantics of relational views. ACM Transactions on Database Systems, 6(4):557–575.
Cox, P.T. and Pietrzykowski T. (1986). Causes for events: Their computation and applications. In J.H. Siekmann, editor, Proceedings of the Eighth International Conference on Automated Deduction (pp. 608–621), Lecture Notes in Computer Science 230, Springer-Verlag.
Console, L., Sapino, M.L., and Dupré, D.T. (1995). The role of abduction in database view updating. Journal of Intelligent Information Systems, 4(3):261–280.
Dayal, U. and P.A. Bernstein, P.A. (1982). On the correct translation of update operations on relational views. ACM Transactions on Database Systems, 8(3):381–416.
Decker, H. (1986). Integrity enforcement in deductive databases. In Proceeding of the first International Conference on Expert Database Systems (pp. 271–285), Charleston, S.C.
Decker, H. (1990). Drawing updates from derivations. Technical Report IR-KB-65, ECRC, March 1989 (revised March 1990).
Dennett, D.C. (1979). Brainstorms, Philosophical Essays on Mind and Psychology. Harvester Press, Hassocks, Sussex, England.
de Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28:127–162.
Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12:231–272.
Eshghi, K. and Kowalski, R.A. (1989). Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Sixth International Conference on Logic Programming, Lisbon, MIT Press.
Fujiwara, Y. and Honiden, S. (1989). Relating the TMS to Autoepistemic Logic. Proceedings of the eleventh International Joint Conference on Artificial Intelligence.
Gärdenfors, P. (1988). Knowledge in Flux. The MIT Press.
Ginsberg, M.L., editor. (1987). Readings in Non-Monotonic Reasoning. Morgan Kaufmann, Los Altos, California.
Guessoum, A., Black, W. J., and Gallagher, J. (1993). Abduction for pronoun resolution. In Codognet, P., Dung, P. M., Kakas, A. C., and Mancarella, P., editors, Proceedings of the International Conference on Logic Programming, Post-conference Workshop on Abductive Reasoning, Budapest.
Guessoum, A. and Gallagher, J.P. (1992). Integrity recovery via updates for interactive knowledge base applications. Technical Report CSTR-92-07, Computer Science Department, University of Bristol.
Guessoum, A. and Gallagher, J.P. (To Appear). Abduction and anomaly removal for the handling of knowledge base interaction. In W. J. Black, editor, Studies in Computational Linguistics. The University College Press Series.
Guessoum, A. and Lloyd, J.W. (1990). Updating knowledge bases. New Generation Computing, 8(1):71–89.
Guessoum, A. and Lloyd, J.W. (1991). Updating knowledge bases II. New Generation Computing, 10(1):73–100.
Guessoum, A. (1992). Updating Knowledge Bases. PhD thesis, Department of Computer Science, University of Bristol, 1992.
Hobbs, J.R. and Stickel, M. (1988). Interpretation as abduction. In Proceedings of the twenty sixth annual meeting of the Association for Computational Linguistics (pp. 95–103), Buffalo, New York.
Hartshorne, C., Weiss, P., and Burks, A., editors (1958). Collected Papers of Charles Sanders Peirce, volume 2. Harvard University Press, Cambridge, MA.
K. Inoue, K. (1988). A model theory for hypothetical reasoning. Technical Report TR-336, ICOT.
Kitakami, H., Kunifuji, S., Miyachi, T., and Furukawa, K., (1983). A methodology for implementation of a knowledge acquisition system. Technical Report TR-037, ICOT.
Kakas, A.C., Kowalski, R.A., and Toni, F. (1992). Abductive logic programming. Journal of Logic and Computation, 2(6):719–770.
Kakas, A.C., and Mancarella, P., (1990). Database updates through abduction. In Proceedings of the 16th VLDB conference, Brisbane.
Kakas, A.C. and Mancarella, P., (1990). Knowledge Assimilation and Truth Maintenance Through Abduction. Technical report, Department of Computing, Imperial College.
Kowalski, R.A., (1979). Logic for Problem Solving. North-Holland.
Lakatos, I., (1976). Proofs and Refutations. The Logic of Mathematical Discovery. Cambridge University Press.
Lancel, J. M., (editor), (1993). The ESPRIT Project PLUS: Final Report. Paris, June 1993.
Langerak, R., (1990). View updates in relational databases with an independent scheme. ACM Transactions on Database Systems, 15(1):40–66.
Lloyd, J. W., (1987). Foundations of Logic Programming. Springer-Verlag, second edition.
Lloyd, J. W., Sonenberg, E. A., and Topor, R. W., (1987). Integrity constraint checking in stratified databases. The Journal of Logic Programming, 4(4):331–343.
Manthey, R. and Bry, F., (1988). SATCHMO: A theorem prover implemented in Prolog. In Proceedings of the Ninth International Conference on Automated Deduction, Argonne, Illinois.
McDermott, D. and Doyle, J., (1980). Non-monotonic logic I. Artificial Intelligence, 13:41–72, 1980.
Meyer, R., and Guessoum, A., (1994). Abduction and conceptual filters for pragmatic reasoning in dialogue systems. In Kristiina Jokinen, editor, Proceedings of the XIVth Scandinavian Conference of Linguistics, Workshop on Pragmatics in Dialogue Management, Publications of the University of Göteborg, Göteborg.
Miyachi, T., Kunifuji, S., Furukawa, K., and Kitakami, H., (1985). Constraint-based logic database management: Structuring meta-knowledge in database management. Technical Report TM-0095, ICOT.
Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A., and Yokota, H., (1983). A knowledge assimilation method for logic databases. Technical Report TR-025, ICOT.
Moore, D., (1980). Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25:75–94, 1985.
Nicolas, J-M., (1982). Logic for improving integrity checking in relational data bases. Acta Informatica, 18(3):227–253.
Reinfrank, M., Dressler, O, and Brewka, G., (1991). On the Relation Between Truth Maintenance and Auto-epistemic Logic. Proceedings of the eleventh International Joint Conference on Artificial Intelligence.
Reiter, R., (1980). A logic for default reasoning. Artificial Intelligence, 13:81–132.
Reiter, R., (1987). Nonmonotonic reasoning. Annual Review of Computer Science, 2:147–186.
Reiter, R. and Kleer, J., 1987. Foundations of Assumption-Based Truth Maintenance Systems (Preliminary Report). In K. Forbus and H. Shrobe, editors, Proceedings of the sixth National conference on Artificial Intelligence (AAAI-87) (pp. 183–188), Seattle.
Satoh, K. and Iwayama, N., 1991. Computing abduction by using the TMS. In K. Furukawa, editor, Proceedings of the Eighth International Conference on Logic Programming (pp. 505–518), Paris, MIT Press.
Tomasic, A., (1988). View update translation via deduction and annotation. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the Second International Conference on the Theory of Databases (pp. 338–352), Lecture Notes in Computer Science 326, Springer-Verlag.
Underwood, N. and Black, W.J., (1994). More local pragmatics problems and their resolution via abduction. In Kristiina Jokinen, editor, Proceedings of the XIVth Scandinavian Conference of Linguistics, Workshop on Pragmatics in Dialogue Management, Publications of the University of Göteborg, Göteborg.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Guessoum, A. Abductive Knowledge Base Updates for Contextual Reasoning. Journal of Intelligent Information Systems 11, 41–67 (1998). https://doi.org/10.1023/A:1008678826820
Issue Date:
DOI: https://doi.org/10.1023/A:1008678826820