Skip to main content
SpringerLink
Log in

Knowledge assimilation and abduction

  • Conference paper
  • First Online:
Truth Maintenance Systems (TMW 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 515))

Included in the following conference series:

Abstract

We argue that Abduction is useful for the problem of Knowledge Assimilation and use it to study the problems of Belief Revision and Truth Maintenance (TM) associated with the task of assimilating a series of observations Q1,...Qn. The close connection between Abduction and TM shown in [Reiter&de Kleer87] is explored further to provide a non-monotonic extension of ATMS that incorporates a dependency-directed backtracking mechanism thus combining the capabilities of ATMS and Doyle's TMS. This TM system has a well-defined semantics inherited from the semantics for abduction which is defined through a generalization of stable models based on autoepistemic logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brewka G., Preferred Subtheories: An Extended Logical Framework for Default Reasoning, in Proceedings IJCAI-89 (1989) p 1043.

    Google Scholar 

  2. Cox P.T. and Pietrzykowski T., Causes for Events: Their Computation and Applications, in Proceedings CADE-86, p 608.

    Google Scholar 

  3. Charniak E. and Goldman R., A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding, in Proceedings IJCAI-89 (1989) p1074.

    Google Scholar 

  4. Console L., Dupre D.T. and Torasso P., A Theory of Diagnosis for Incomplete Causal Models, in Proceedings IJCAI89 (1989) p. 1311.

    Google Scholar 

  5. de Kleer J., An Assumption-Based TMS, Artificial Intelligence 28 (1986), p 127.

    Google Scholar 

  6. de Kleer J., A General Labelling Algorithm for Assumption-Based Truth Maintenance, in Proceedings of AAAI-88 (1988) p. 188.

    Google Scholar 

  7. Doyle J., A Truth Maintenance System, Artificial Intelligence 12 (1979), p 231.

    Google Scholar 

  8. Dressler O., Extending the basic ATMS, in Proceedings of ECAI-88 (1988).

    Google Scholar 

  9. Eshghi K., Abductive Planning with Event Calculus, in Proceedings 5th International Conference on Logic Programming (1988), p 562.

    Google Scholar 

  10. Eshghi K. and Kowalski R.A., Abduction Compared with Negation by Failure, in Proceedings 6th International Conference on Logic Programming (1989), p 234.

    Google Scholar 

  11. Evans C. and Kakas A.C., Hypothetico-Deductive Reasoning, Imperial College preprint, (1990).

    Google Scholar 

  12. Elkan, A Rational Reconstruction of Non-Monotonic Truth Maintenance Systems, Artificial Intelligence 43 (1990), p 219.

    Google Scholar 

  13. Finger J.J. and Genesereth M.R., RESIDUE: A Deductive Approach to Design Synthesis, Stanford University Report no. CS-85-1035. (1985).

    Google Scholar 

  14. Fujiwara Y. and Honiden S., Relating the TMS to Autoepistemic Logic, in Proceedings IJCAI-89 (1989) p 1199.

    Google Scholar 

  15. Gelfond M., and Lifschitz V., The Stable Model Semantics for Logic Programming, in Proceedings 5th International Conference on Logic Programming (1988), p 1070.

    Google Scholar 

  16. Giordano L. and Martelli A., An Abductive Characterization of the TMS, in Proceedings of the nineth European Conference on Artificial Intelligence, ECAI-90, Stockholm, (1990) p 308.

    Google Scholar 

  17. Goebel R.G., Goodwin S.D>, Applying Theory Formation to the Planning Problem, in The Frame Problem in Arificial Intelligence: Proc. 1987 Workshop, (ed.) F. Brown, Morgan Kaufman, Los Altos, CA, (1987).

    Google Scholar 

  18. Hobbs J.R., Stickel M., Martin P. and Edwards D., Interpetation as Abduction, in Proceedings of the 26th Annual Meeting of the ACL, (1988), p 95.

    Google Scholar 

  19. Inoue K., An Abductive Procedure for the CMS/ATMS, this volume.

    Google Scholar 

  20. Junker U., A Correct Non-Monotonic ATMS, in Proceedings IJCAI-89 (1989) p 1049.

    Google Scholar 

  21. Junker U. and Konolige K., Computing the Extensions of Autoepistemic and Default Logics with a TMS, in Proceedings of Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, (1990).

    Google Scholar 

  22. Kakas A.C., Belief Revision for Deductive Databases, in Proceedings of the first International Workshop on the Deductive Approach to Information Systems and Databases, Barcelona, Spain, (1990) p 111.

    Google Scholar 

  23. Kakas A.C. and Mancarella P., Anomalous models and Abduction, in Proceedings 2nd International Symposium on Artificial Intelligence, Monterrey, Mexico, 23–27 October 1989.

    Google Scholar 

  24. Kakas A.C. and Mancarella P., Database Updates through Abduction, in Proceedings of the 16th International Conference on Very Large Databases, VLDB-90, Brisbane, Australia, (1990) p 48.

    Google Scholar 

  25. Kakas A.C. and Mancarella P., Generalized Stable Models: a Semantics for Abduction, in Proceedings of the ninth European Conference on Artificial Intelligence, ECAI-90, Stockholm, (1990) p 385.

    Google Scholar 

  26. Kautz H., The Logic of Persistence, in Proceedings AAAI-86, (1986) p 401.

    Google Scholar 

  27. Konolige K., On the relation between Default and Autoepistemic Logic, Artificial Intelligence 35 (1988), p 343.

    Google Scholar 

  28. Levesque H.J., A Knowledge-level Account of Abduction, in Proceedings IJCAI-89 (1989), p 1061.

    Google Scholar 

  29. Lloyd J.W., Foundations of Logic Programming, Second Edition, Springer Verlag (1987).

    Google Scholar 

  30. Moore R.C., Semantical Considerations on Nonmonotonic Logic Artificial Intelligence, Artificial Intelligence 25 (1985), p 75.

    Google Scholar 

  31. Mooris P.H., The Anomalous Extension Problem in Default Reasoning, Artificial Intelligence 35 (1988), p 383.

    Google Scholar 

  32. Poole D.L., A Logical Framework for Default Reasoning, Artificial Intelligence 36 (1988), p 27.

    Google Scholar 

  33. Popper K., The Logic of Scientific Discovery, Basic Books, New York, 1959.

    Google Scholar 

  34. Pimentel S.G. and Cuadrado J.L., A Truth Maintenance System Based on Stable Models, in Proceedings of North American Conference on Logic Programming (1989), p 274.

    Google Scholar 

  35. Reinfrank M., Dressler O. and Brewka G., On the Relation between Truth Maintenance and Autoepistemic logic, in Proceedings IJCAI-89 (1989) p1206.

    Google Scholar 

  36. Reiter R., A Logic for Default Reasoning, Artificial Intelligence 13 (1980), p 81.

    Google Scholar 

  37. Reiter R., On Integrity Constraints, in Proceedings of 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA (1988), p 97.

    Google Scholar 

  38. Reiter R., J. de Kleer, Foundations of Assumption-Based Truth Manintenance Systems, in Proceedings AAAI-87, Seattle, WA,(1987), p183.

    Google Scholar 

  39. Sattar A. and Goebel R., Using Crucial Literals to Select Better Theories, University of Alberta preprint (1989).

    Google Scholar 

  40. Sergot M., A Query-the-User Facility for Logic Programming” in Integrated Interractive Computer Systems, (eds.) P. Degano and E. Sandewell North Holland Press (1983).

    Google Scholar 

  41. Shanahan M.P., Prediction is Deduction but Explanation is Abduction, in Proceedings IJCAI-89 (1989).

    Google Scholar 

  42. Southwick R.W., ABRMS: A Reason Maintenance System for Backward Reasoning Systems, Imperial College preprint (1990).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, 180 Queen's Gate, SW7 2BZ, London, UK

    A. C. Kakas

  2. Dipartimento di Informatica, Università di Pisa, Corso Italia, 40, I-56125, Pisa, Italy

    P. Mancarella

Authors
  1. A. C. Kakas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Mancarella
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

João Pavão Martins Michael Reinfrank

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kakas, A.C., Mancarella, P. (1991). Knowledge assimilation and abduction. In: Martins, J.P., Reinfrank, M. (eds) Truth Maintenance Systems. TMW 1990. Lecture Notes in Computer Science, vol 515. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0037029

Download citation

  • DOI: https://doi.org/10.1007/BFb0037029

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54305-3

  • Online ISBN: 978-3-540-47550-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation