Skip to main content

Graded BDI Models for Agent Architectures Based on Łukasiewicz Logic and Propositional Dynamic Logic

  • Conference paper
Web Information Systems and Mining (WISM 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7529))

Included in the following conference series:

  • 2765 Accesses

Abstract

In the recent past, the most influential theories with respect to agent technology are the Belief-Desire-Intention (BDI) model. This paper not only expands past achievements but also makes novel proposals. It gives a very elegant way within a uniform and flexible logical framework for the graded BDI model, that is, for reasoning about probabilities and other uncertainty models, such as degrees of desires and intentions. We choose to blend the infinite-valued Łukasiewicz Logic and Propositional Dynamic Logic to formulize the graded BDI agent model. After presenting the language and semantics for this model, we propose axioms and rules for the graded BDI logic and prove a soundness and completeness result. On the basis of dealing with composite action, we illustrate interrelations between contexts for the model. It is hoped that the present study will make contributions to represent and reason under uncertainty as well as providing a formal support for engineer complex distributed systems.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /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
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)

    Article  Google Scholar 

  2. Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 473–484 (1991)

    Google Scholar 

  3. Rao, A., Georgeff, M.: BDI agents: from theory to practice. In: Proceedings of the 1st International Conference on Multi-Agents Systems, pp. 312–319 (1995)

    Google Scholar 

  4. Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  5. Casali, A., Godo, L., Sierra, C.: Graded BDI Models for Agent Architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 126–143. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Lang, J., van der Torre, L., Weydert, E.: Hidden uncertainty in the logical representation of desires. In: International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, pp. 685–690 (2003)

    Google Scholar 

  7. Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  8. Schut, M., Wooldridge, M., Parsons, S.: Reasoning about Intentions in Uncertain Domains. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 84–95. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Ghidini, C., Giunchiglia, F.: Local modal semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2002)

    Article  MathSciNet  Google Scholar 

  10. Godo, L., Esteva, F., Hajek, P.: Reasoning about probabilities using fuzzy logic. Neural Network World 10, 811–824 (2000)

    Google Scholar 

  11. Hájek, P.: Mathematics of Fuzzy Logic. Kluwer (1998)

    Google Scholar 

  12. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)

    Google Scholar 

  13. Meyer, J.J.: Dynamic logic for reasoning about actions and agents. In: Workshop on Logic-Based Artificial Intelligence, Washington, D.C., June 14-16 (1999)

    Google Scholar 

  14. Goldblatt, R.: Logics of Time and Computation. CSLI Lecture, Notes 7 (1992)

    Google Scholar 

  15. Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press (1997)

    Google Scholar 

  16. Pereira, D., Oliveira, E., Moreira, N.: Formal Modelling of Emotions in BDI Agents. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol. 5056, pp. 62–81. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, X., Jiang, M., Zhou, C., Hao, Y. (2012). Graded BDI Models for Agent Architectures Based on Łukasiewicz Logic and Propositional Dynamic Logic. In: Wang, F.L., Lei, J., Gong, Z., Luo, X. (eds) Web Information Systems and Mining. WISM 2012. Lecture Notes in Computer Science, vol 7529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33469-6_56

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33469-6_56

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33468-9

  • Online ISBN: 978-3-642-33469-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics