Preferring and Updating in Logic-Based Agents | SpringerLink
Skip to main content
Springer Nature Link
Log in

Preferring and Updating in Logic-Based Agents

  • Conference paper
  • First Online:
Web Knowledge Management and Decision Support (INAP 2001)

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

Included in the following conference series:

Abstract

We present a logical framework and the declarative semantics of a multi-agent system in which each agent can communicate with and update other agents, can update its knowledge state, of its own initiative or when it receives new incoming information, and it is able to prefer beliefs and reactions, when several alternatives are possible. The knowledge state of an agent is represented by an updatable prioritized logic program, in which priorities among rules can be expressed to allow the agent to prefer, and where the preference relation itself can be updated as well. An example is developed to illustrate how our approach works, including how preferring can enhance reactivity in agents. Finally, we discuss some Web applications where our approach can have a significant potential to contribute, and refer to the work of others.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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.

Similar content being viewed by others

References

  1. J. J. Alferes, P. Dell’Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A logic based approach to multi-agent systems. Invited paper in The Association for Logic Programming Newsletter, 14(3), August 2001. Available at http://centria.di.fct.unl.pt/∼lmp.

  2. J. J. Alferes, P. Dell’Acqua, and L. M. Pereira. A compilation of updates plus preferences. To appear in: Logic in Artificial Intelligence(Jelia’02), LNAI, 2002.

    Google Scholar 

  3. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The J. 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.

    Google Scholar 

  4. J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego, I. P. de Guzmán, G. Brewka, and L. M. Pereira (eds.), Logics in AI, Procs. JELIA’00}, LNAI1919, pp. 345–360, Berlin, 2000. Springer.

    Google Scholar 

  5. J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, and P. Quaresma. Preliminary exploration on actions as updates. Proc. of Joint Conf. on Declarative Programming (APPIA-GULP-PRODE’99).

    Google Scholar 

  6. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109:297–356, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  7. S. Costantini. Towards active logic programming. Electronic Proc. of COCL’99, Second Int. Workshop on Component-Based Software Development in Computational Logic, 1999.

    Google Scholar 

  8. P. Dell’Acqua, U. Nilsson, and L. M. Pereira. A logic based asynchronous multiagent system. Computational Logic in Multi-Agent Systems (CLIMA02). To appear in Electronic Notes in Theoretical Computer Science (ENTCS).

    Google Scholar 

  9. P. Dell’Acqua and L. M. Pereira. Enabling agents to update their knowledge and to prefer. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese Int. Conf. on Artificial Intelligence (EPIA’01), LNAI 2258, pp. 183–190. Springer-Verlag, 2001.

    Google Scholar 

  10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen (eds.), ICLP’88, pp. 1070–1080. MIT Press, 1988.

    Google Scholar 

  11. R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C. Zaniolo (eds.), Logic in Databases, Intl. Workshop LID’96, LNCS 1154, pp. 137–149. Springer, 1996.

    Google Scholar 

  12. E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63–87, 2000.

    Article  MATH  Google Scholar 

  13. J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva-A Dynamic Logic Programming Agent Architecture. In J. J. Meyer and M. Tambe (eds.), Pre-Procs. of the 8th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL’01), pp. 133–145, Seattle, USA, 2001.

    Google Scholar 

  14. J. A. Leite and L. M. Pereira. Iterated logic program updates. In J. Jaffar, editor, Proc. Joint Intl. Conf. Symp. on Logic Programming 1998, pp. 265–278, Cambridge, Mass., 1998. MIT Press.

    Google Scholar 

  15. A. Y. Levy and D. S. Weld. Intelligent internet systems. Artificial Intelligence, 118:1–14, 2000.

    Article  Google Scholar 

  16. A. S. Rao and M. P. George.. Modelling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall (eds.), Proc. of Knowledge Representation and Reasoning (KR&R-92), pp. 473–484. Morgan Kaufmann, 1991.

    Google Scholar 

  17. F. Sadri and F. Toni. Computational logic and multiagent systems: a roadmap, August 2001. Available at http://www2.ags.uni-sb.de/net/Forum/Supportdocs.html.

  18. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Science and Technology - ITN,Campus Norrköping, Linköping University, Norrköping, Sweden

    Pierangelo Dell’Acqua

  2. Centro de Inteligěncia Artificial — CENTRIA,Departamento de Informática, Faculdade de Ciěncias e Tecnologia, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Pierangelo Dell’Acqua & Luís Moniz Pereira

Authors
  1. Pierangelo Dell’Acqua
    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. IF Computer Japan, 5-28-2 Sendagi, Bunkyo-ku, 113-0022, Tokyo, Japan

    Oskar Bartenstein

  2. Fraunhofer FIRST, Kekulé 7, 12489, Berlin, Germany

    Ulrich Geske

  3. think-cell Software GmbH, Invalidenstraße 34, 10115, Berlin, Germany

    Markus Hannebauer

  4. Waseda University, 2-7 Hibikino, Wakamatsu-ku, Kitakyushu, Fukuoka, Japan

    Osamu Yoshie

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dell’Acqua, P., Moniz Pereira, L. (2003). Preferring and Updating in Logic-Based Agents. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds) Web Knowledge Management and Decision Support. INAP 2001. Lecture Notes in Computer Science(), vol 2543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36524-9_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-36524-9_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00680-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation