Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent-Oriented Software Engineering

AOSE 2007: Agent-Oriented Software Engineering VIII pp 118–131Cite as

Reasoning About Risk in Agent’s Deliberation Process: A Jadex Implementation

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4951))

Abstract

Autonomous agents and multi-agent systems have been proved to be useful in several safety-critical applications. However, in current agent architectures (particularly BDI architectures) the deliberation process does not include any form of risk analysis. In this paper, we propose guidelines to implement Tropos Goal-Risk reasoning. Our proposal aims at introducing risk reasoning in the deliberation process of a BDI agent so that the overall set of possible plans is evaluated with respect to risk. When the level of risk results too high, agents can consider and introduce additional plans, called treatments, that produce an overall reduction of the risk. Side effects of treatments are also considered as part of the model. To make the discussion more concrete, we illustrate the proposal with a case study on the Unmanned Aerial Vehicle agent.

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   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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lauber, J., Steger, C., Weiss, R.: Autonomous Agents for Online Diagnosis of a Safety-critical System Based on Probabilistic Causal Reasoning. In: Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems (ISADS 1999), Washington, DC, USA, pp. 213–219. IEEE Computer Society, Los Alamitos (1999)

    Chapter  Google Scholar 

  2. Kumar, S., Cohen, P.R.: Towards a Fault-Tolerant Multi-Agent System Architecture. In: Proceedings of the Fourth International Conference on Autonomous Agents (AGENTS 2000), pp. 459–466. ACM Press, New York (2000)

    Chapter  Google Scholar 

  3. McCarthy, J.: Ascribing Mental Qualities to Machines. Technical Report Memo 326, Stanford AI Lab, Stanford (1979)

    Google Scholar 

  4. Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: Proceedings of 1st International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312–319 (1995)

    Google Scholar 

  5. Shoham, Y.: Agent-Oriented Programming. Artificial Intelligence 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  6. Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press (1987)

    Google Scholar 

  7. Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI-Architecture. In: Proceedings of 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann publishers Inc, San Francisco (1991)

    Google Scholar 

  8. Howden, N., Ronnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents-Summary of an Agent Infrastructure. In: Proceedings of the 5th International Conference on Autonomous Agents (AGENTS 2001), ACM Press, New York (2001)

    Google Scholar 

  9. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. In: Multi-Agent Programming: Languages, Platforms and Applications, pp. 149–174. Springer Science, Business Media Inc. (2005)

    Google Scholar 

  10. Bordini, R.H., Hübner, J.F.: BDI Agent Programming in AgentSpeak Using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. COSO: Enterprise Risk Management - Integrated Framework. Committee of Sponsoring Organizations of the Treadway Commission (September 2004)

    Google Scholar 

  12. Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)

    MATH  Google Scholar 

  13. White, D.J.: Markov Decision Processes. John Wiley & Sons, Chichester (1993)

    MATH  Google Scholar 

  14. Kwisthout, J., Dastani, M.: Modelling Uncertainty in Agent Programming. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 17–32. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  15. Asnar, Y., Giorgini, P., Mylopoulos, J.: Risk Modelling and Reasoning in Goal Models. Technical Report DIT-06-008, DIT - University of Trento (February 2006)

    Google Scholar 

  16. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. Engineering Applications of Artificial Intelligence 18(2), 159–171 (2005)

    Article  Google Scholar 

  17. Feather, M.S., Cornford, S.L., Hicks, K.A., Johnson, K.R.: Applications of tool support for risk-informed requirements reasoning. Computer Systems Science & Engineering 20(1), 5–17 (2005)

    Google Scholar 

  18. Dufrene Jr., W.R.: Approach for Autonomous Control of Unmanned Aerial Vehicle Using Intelligent Agents for Knowledge Creation. Proceedings of The 23rd Conference on Digital Avionics Systems Conference (DASC 2004) 2, 1–9 (2004)

    Google Scholar 

  19. Karim, S., Heinze, C.: Experiences with the Design and Implementation of an Agent-Based Autonomous UAV Controller. In: Proceedings of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 19–26. ACM Press, New York (2005)

    Chapter  Google Scholar 

  20. Wallis, P., Ronnquist, R., Jarvis, D., Lucas, A.: The Automated Wingman - Using JACK Intelligent Agents for Unmanned Autonomous Vehicles. Proceedings of IEEE Aerospace Conference 5, 2615–2622 (2002)

    Google Scholar 

  21. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)

    Article  Google Scholar 

  22. Asnar, Y., Giorgini, P.: Modelling Risk and Identifying Countermeasures in Organizations. In: López, J. (ed.) CRITIS 2006. LNCS, vol. 4347, pp. 55–66. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  23. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)

    MATH  Google Scholar 

  24. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. Journal of Data Semantics (October 2003)

    Google Scholar 

  25. Bedford, T., Cooke, R.: Probabilistic Risk Analysis: Foundations and Methods. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  26. Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA (2002)

    Google Scholar 

  27. Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20–33. Springer, Heidelberg (2004)

    Google Scholar 

  28. Georgeff, M., Lansky, A.: Reactive Reasoning and Planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), Seattle, WA, pp. 677–682. Morgan Kaufmann, San Francisco (1987)

    Google Scholar 

  29. Braubach, L., Pokahr, A., Lamersdorf, W., Moldt, D.: Goal Representation for BDI Agent Systems. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 9–20. Springer, Heidelberg (2005)

    Google Scholar 

  30. Karim, S., Heinze, C., Dunn, S.: Agent-Based Mission Management for a UAV. In: Proceedings of the 2004 of Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP 2004), pp. 481–486. IEEE Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  31. Simari, G.I., Parsons, S.: On the Relationship between MDPs and the BDI Architecture. In: Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 1041–1048. ACM Press, New York (2006)

    Chapter  Google Scholar 

  32. Vidolov, B., De Miras, J., Bonnet, S.: AURYON - A Mechatronic UAV Project Focus on Control Experimentations. In: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC 2006), Washington, DC, USA, vol. 1, pp. 1072–1078. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Communication Technology, University of Trento, Italy

    Yudistira Asnar, Paolo Giorgini & Nicola Zannone

Authors
  1. Yudistira Asnar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Giorgini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nicola Zannone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Luck Lin Padgham

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Asnar, Y., Giorgini, P., Zannone, N. (2008). Reasoning About Risk in Agent’s Deliberation Process: A Jadex Implementation. In: Luck, M., Padgham, L. (eds) Agent-Oriented Software Engineering VIII. AOSE 2007. Lecture Notes in Computer Science, vol 4951. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79488-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-79488-2_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-79487-5

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation