Skip to main content
SpringerLink
Log in
Book cover

Computational Logic: Logic Programming and Beyond pp 382–412Cite as

Logic Programming Updating - A Guided Approach

  • Chapter
  • First Online:

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

Abstract

In this work we review and synthesize, in a selective way, a series of recent developments concerning the dynamics of the evolution of logic programs by means of updates. We do so because this comparatively new and expanding area merits the attention of more researchers and more teachers alike, though there does not exist a single integrative source to induct them to the topic.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. Symbolic Logic, 50(2):510–530, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  2. J. Alferes, J. A. Leite, L. M. Pereira, and P. Quaresma. Planning as abductive updating. In D. Kitchin, editor, AISB’00 Symposium on AI Planning and Intelligent Agents, pages 1–8. AISB, 2000.

    Google Scholar 

  3. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14:93–147, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  4. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1–3):43–70, 2000. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR’98, Morgan Kaufmann.

    Article  MATH  MathSciNet  Google Scholar 

  5. J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. In R. Dyckhoff, editor, 4th ELP, volume 798 of LNAI. Springer-Verlag, 1994.

    Google Scholar 

  6. J. J. Alferes and L. M. Pereira. Update-programs can update programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, NMELP’96. Springer, 1996.

    Google Scholar 

  7. J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego et al., editor, JELIA’ 00. Springer LNAI 1919, 2000.

    Google Scholar 

  8. J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS-a language for updating logic programs. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR’99. Springer, 1999.

    Google Scholar 

  9. J. J. Alferes, L. M. Pereira, T. Przymusinski, H. Przymusinska, and P. Quaresma. Dynamic knowledge representation and its applications. In AIMSA’ 00. Springer LNAI, 2000.

    Google Scholar 

  10. C. Baral. Rule-based updates on simple knowledge bases. In AAAI’94, pages 136–141, 1994.

    Google Scholar 

  11. F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In D. De Schreye, editor, ICLP’99. MIT Press, 1999.

    Google Scholar 

  12. C. V. Damásio and L. M. Pereira. Default negation in the heads: why not? In R. Dyckhoff et al., editor, ELP’96. Springer, 1996.

    Google Scholar 

  13. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1–2):1–29, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  14. H. Decker. Drawing updates from derivations. In Int. Conf on Database Theory, volume 460 of LNCS, 1990.

    Google Scholar 

  15. M. Dekhtyar, A. Dikovsky, S. Dudakov, and N. Spyratos. Monotone expansions of updates in logical databases. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR’99. Springer, 1999.

    Google Scholar 

  16. P. Dell’Acqua and L. M. Pereira. Updating agents. In S. Rochefort, F. Sadri, and F. Toni, editors, ICLP’99 Workshop on Multi-Agent Systems in Logic, 1999.

    Google Scholar 

  17. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In M. O. Aciego, I. P. de Guzmn, G. Brewka, and L. M. Pereira, editors, JELIA’ 00. Springer LNAI 1919, 2000.

    Google Scholar 

  18. R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(2–3):189–208, 1971.

    Article  MATH  Google Scholar 

  19. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP’88. MIT Press, 1988.

    Google Scholar 

  20. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, ICLP’90. MIT Press, 1990.

    Google Scholar 

  21. M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and Information Science, 3(16), 1998.

    Google Scholar 

  22. L. Giordano and A. Martelli. Generalized stable models, truth maintenance and conflit resolution. In D. Warren and P. Szeredi, editors, 7th ICLP, pages 427–441. MIT Press, 1990.

    Google Scholar 

  23. A. Guessoum and J. W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71–89, 1990.

    MATH  Google Scholar 

  24. A. Guessoum and J. W. Lloyd. Updating knowledge bases II. New Generation Computing, 10(1):73–100, 1991.

    Article  Google Scholar 

  25. K. Inoue and C. Sakama. Abductive framework for nonmonotonic theory change. In IJCAI’95, pages 204–210. Morgan Kaufmann, 1995.

    Google Scholar 

  26. K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35:39–78, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  27. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, R. Fikes, and E. Sandewall, editors, KR’91. Morgan Kaufmann, 1991.

    Google Scholar 

  28. A. Keller and M. Winslett Wilkins. On the use of an extended relational model to handle changing incomplete information. IEEE Trans. on Software Engineering, 11(7):620–633, 1985.

    Article  Google Scholar 

  29. R. Kowalski. Legislation as logic programs. In Logic Programming in Action, pages 203–230. Springer-Verlag, 1992.

    Google Scholar 

  30. J. A. Leite, J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In F. Sadri and K. Satoh, editors, CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA’ 00), 2000.

    Google Scholar 

  31. J. A. Leite and L. M. Pereira. Generalizing updates: from models to programs. In LPKR’97: ILPS’97 workshop on Logic Programming and Knowledge Representation, 1997.

    Google Scholar 

  32. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR’92. Morgan-Kaufmann, 1992.

    Google Scholar 

  33. F. Lin. Embracing causality in specifying the indirect effects of actions. In IJCAI’95, pages 1985–1991. Morgan Kaufmann, 1995.

    Google Scholar 

  34. V. Marek and M. Truszczyński. Revision specifications by means of programs. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA’94, volume 838 of LNAI, pages 122–136. Springer-Verlag, 1994.

    Google Scholar 

  35. V. Marek and M. Truszczyński. Revision programming, database updates and integrity constraints. In ICDT’95, pages 368–382. Springer-Verlag, 1995.

    Google Scholar 

  36. Isaaco Newtono. Philosophæ Naturalis Principia Mathematica. Editio tertia & aucta emendata. Apud Guil & Joh. Innys, Regiæ Societatis typographos, 1726. Original quotation: “Corpus omne perseverare in statu suo quiescendi vel movendi uniformiter in directum, nisi quatenus illud a viribus impressis cogitur statum suum mutare. ”.

    Google Scholar 

  37. T. Przymusinski and H. Turner. Update by means of inference rules. In V. Marek, A. Nerode, and M. Truszczyński, editors, LPNMR’ 95, volume 928 of LNAI, pages 156–174. Springer-Verlag, 1995.

    Google Scholar 

  38. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR’99. Springer, 1999.

    Google Scholar 

  39. M. Winslett. Reasoning about action using a possible models approach. In AAAI’88, pages 89–93, 1988.

    Google Scholar 

  40. C. Witteveen and W. Hoek. Revision by communication. In V. Marek, A. Nerode, and M. Truszczyński, editors, LPNMR’95, pages 189–202. Springer, 1995.

    Google Scholar 

  41. C. Witteveen, W. Hoek, and H. Nivelle. Revision of non-monotonic theories: some postulates and an application to logic programming. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA’94, pages 137–151. Springer, 1994.

    Google Scholar 

  42. Y. Zhang and N. Foo. Updating logic programs. In H. Prade, editor, ECAI’98. Morgan Kaufmann, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Inteligência Artificial, Fac. Ciências e Tecnologia, Univ. Nova de Lisboa, P-2825-114, Caparica, Portugal

    José Júlio Alferes & Luís Moniz Pereira

Authors
  1. José Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Cyprus, 75 Kallipoleos St., 1678, Nicosia, Cyprus

    Antonis C. Kakas

  2. Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen’s Gate, London, SW7 2BZ, UK

    Fariba Sadri

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Alferes, J.J., Pereira, L.M. (2002). Logic Programming Updating - A Guided Approach. In: Kakas, A.C., Sadri, F. (eds) Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science(), vol 2408. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45632-5_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-45632-5_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43960-8

  • Online ISBN: 978-3-540-45632-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation