Skip to main content
SpringerLink
Log in

A Modified Semantics for LUPS

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 2001)

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

Included in the following conference series:

Abstract

Following the introduction of Dynamic Logic Programming in [1], the language of updates LUPS was introduced in [2]. Whereas Dynamic Logic Programming provides a meaning to sequences of logic programs, each of them representing a state of the world, LUPS allows the specification of such states and state transitions.

In this paper, we take a closer look at the language LUPS and identify one problem with its semantics and a possible, important, extension to its set of commands. We then propose an extension to the syntax of LUPS as well as a new semantics that solves the identified problem. We illustrate the changes by means of two examples.

Partially supported by PRAXIS XXI scholarship no. BD/13514/97

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. Abstract titled Dynamic Logic Programming appeared in Procs. of KR-98.

    Google Scholar 

  2. J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. In Procs. of LPNMR-99, LNAI-1730. Springer, 1999.

    Google Scholar 

  3. F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999.

    Google Scholar 

  4. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000.

    Google Scholar 

  5. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Specifying update policies for nonmonotonic knowledge bases. In Procs. of DGNMR-01, 2001. To appear in Procs. of IJCAI-01.

    Google Scholar 

  6. M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  8. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Procs. of KR-91. Morgan Kaufmann, 1991.

    Google Scholar 

  9. J. A. Leite and L. M. Pereira. Generalizing updates: From models to programs. In Procs of. LPKR-97, LNAI-1471. Springer, 1997.

    Google Scholar 

  10. J. A. Leite and L. M. Pereira. Iterated logic program updates. In Procs. of JICSLP-98. MIT Press, 1998.

    Google Scholar 

  11. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992.

    Google Scholar 

  12. V. W. Marek and M. Truszczyński. Revision specifications by means of programs. In Procs. of JELIA-94, LNAI-838. Springer, 1994.

    Google Scholar 

  13. T. C. Przymusinski and H. Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125–143, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  14. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.

    Google Scholar 

  15. M. Winslett. Reasoning about action using a possible models approach. In Procs. of NCAI-88. AAAI Press, 1988.

    Google Scholar 

  16. Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI’98. Morgan Kaufmann, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA - Centro de Inteligência Artificial, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Alexandre Leite

Authors
  1. João Alexandre Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Economics LIACC, Laboratório de Inteligência Artificial e Ciência de Computadores, University of Porto, Rua do Campo Alegre, 823, 4150-180, Porto, Portugal

    Pavel Brazdil  & Alípio Jorge  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Leite, J.A. (2001). A Modified Semantics for LUPS. In: Brazdil, P., Jorge, A. (eds) Progress in Artificial Intelligence. EPIA 2001. Lecture Notes in Computer Science(), vol 2258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45329-6_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-45329-6_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45329-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation