Skip to main content
SpringerLink
Log in

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems

  • Chapter
  • First Online:
Transactions on Computational Collective Intelligence XVI

Part of the book series: Lecture Notes in Computer Science ((TCCI,volume 8780))

Abstract

This paper presents a concrete software architecture dedicated to ambient intelligence (AmI) features and requirements. The proposed behavioral model, called Higher-order Agent (HoA) captures the evolution of the mental representation of the agent and the one of its plan simultaneously. Plan expressions are written and composed using a formal algebraic language, namely AgLOTOS, so that plans are built automatically and on the fly, as a system of concurrent processes. Based on a specific semantics, a guidance service is also proposed to assist the agent in its execution. Moreover due to the specific structure of AgLOTOS expressions, the update of sub-plans is realized automatically accordingly to the revising of intentions, hence maintaining the consistency of the agent.

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

Notes

  1. 1.

    RSSI: Received Signal Strength Indication.

References

  1. Guivarch, V., Camps, V., Péninou, A.: Context awareness in ambient systems by an adaptive multi-agent approach. In: Paternò, F., de Ruyter, B., Markopoulos, P., Santoro, C., van Loenen, E., Luyten, K. (eds.) AmI 2012. LNCS, vol. 7683, pp. 129–144. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  2. Olaru, A., Florea, A.M., El Fallah Seghrouchni, A.: A context-aware multi-agent system as a middleware for ambient intelligence. MONET 18(3), 429–443 (2013)

    Google Scholar 

  3. Pi, N.S., Griol, D., Carbó, J., López, J.M.M.: Evaluation of agents interactions in a context-aware system. T. Comput. Collective Intell. 9, 79–97 (2013)

    Google Scholar 

  4. Georgeff, M., Pell, B., Pollack, M.E., Tambe, M., Wooldridge, M.J.: The belief-desire-intention model of agency. In: Papadimitriou, C., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 1–10. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  5. Chaouche, A.C., El Fallah Seghrouchni, A., Ilié, J.M., Saïdouni, D.E.: A higher-order agent model for ambient systems. Procedia Comput. Sci. 21, 156–163 (2013)

    Article  Google Scholar 

  6. Sardina, S., de Silva, L., Padgham, L.: Hierarchical planning in BDI agent programming languages: a formal approach. In: AAMAS ’06, pp. 1001–1008 (2006)

    Google Scholar 

  7. Icard III, T.F., Pacuit, E., Shoham, Y.: Joint revision of beliefs and intention. In: Principles of Knowledge Representation and Reasoning, pp. 572–574 (2010)

    Google Scholar 

  8. Shapiro, S., Sardina, S., Thangarajah, J., Cavedon, L., Padgham, L.: Revising conflicting intention sets in BDI agents. In: AAMAS ’12, pp. 1081–1088 (2012)

    Google Scholar 

  9. Hoek, W., Jamroga, W., Wooldridge, M.: Towards a theory of intention revision. Synthese 155(2), 265–290 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Meneguzzi, F., Zorzo, A.F., da Costa Móra, M., Luck, M.: Incorporating planning into BDI agents. Scalable Comput. Pract. Experience 8, 15–28 (2007)

    Google Scholar 

  11. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42(2–3), 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  12. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dmars. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)

    Google Scholar 

  13. Chaouche, A.C., El Fallah Seghrouchni, A., Ilié, J.M., Saïdouni, D.E.: A dynamical plan revising for ambient systems. Procedia Comput. Sci. 32, 37–44 (2014)

    Article  Google Scholar 

  14. Brinksma, E. (ed.): ISO 8807, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (1988)

    Google Scholar 

  15. Galván-Tejada, C.E., Garca-Vázquez, J.P., Garc-Ceja, E., Carrasco-Jiménez, J.C., Brena, R.F.: Evaluation of four classifiers as cost function for indoor location systems. Procedia Comput. Sci. 32, 453–460 (2014)

    Article  Google Scholar 

  16. Gansemer, S., Grossmann, U., Hakobyan, S.: Rssi-based euclidean distance algorithm for indoor positioning adapted for the use in dynamically changing wlan environments and multi-level buildings. In: Indoor Positioning and Indoor Navigation (IPIN), pp. 1–6 (2010)

    Google Scholar 

  17. Olaru, A., Florea, A.M., El Fallah Seghrouchni, A.: Graphs and patterns for context-awareness. In: Novais, P., Preuveneers, D., Corchado, J.M. (eds.) ISAmI 2011. AISC, vol. 92, pp. 165–172. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Singh, D., Sardina, S., Padgham, L., James, G.: Integrating learning into a BDI agent for environments with changing dynamics. In: Toby Walsh, C.K., Sierra, C. (eds.) Proceedings of IJCAI’11, pp. 2525–2530 (2011)

    Google Scholar 

  19. Grant, J., Kraus, S., Perlis, D., Wooldridge, M.: Postulates for revising bdi structures. Synthese 175(1), 39–62 (2010)

    Article  MATH  Google Scholar 

  20. Hindriks, K.: Twenty years of engineering multiagent systems. In: Keynote of the EMAS Workshop, Part of AAMAS’14 (2014)

    Google Scholar 

  21. Baljak, V., Benea, M.T., El Fallah Seghrouchni, A., Herpson, C., Honiden, S., Nguyen, T.T.N., Olaru, A., Shimizu, R., Tei, K., Toriumi, S.: S-claim: an agent-based programming language for Am I, a smart-room case study. Procedia Comput. Sci. 10, 30–37 (2012)

    Article  Google Scholar 

  22. Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the golden fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-agent Programming: Languages, Platforms and Applications, pp. 3–37. Springer, New York (2005)

    Chapter  Google Scholar 

  23. Dastani, M.: 2apl: a practical agent programming language. Auton. Agent. Multi-Agent Syst. 16(3), 214–248 (2008)

    Article  Google Scholar 

  24. Lützenberger, M., Küster, T., Konnerth, T., Thiele, A., Masuch, N., Heßler, A., Keiser, J., Burkhardt, M., Kaiser, S., Albayrak, S.: Jiac v: A MAS framework for industrial applications. In: Proceedings of AAMAS ’13, pp. 1189–1190 (2013)

    Google Scholar 

  25. Sudeikat, J., Braubach, L., Pokahr, A., Lamersdorf, W., Renz, W.: Validation of BDI agents. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS (LNAI), vol. 4411, pp. 185–200. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  26. Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Engg. 19(1), 5–63 (2012)

    Article  Google Scholar 

  27. Dahmani, D., Ilié, J.-M., Boukala, M.: Time recursive petri nets. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.) ToPNoC I. LNCS, vol. 5100, pp. 104–118. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  28. Saïdouni, D.E., Bouneb, M., Ilié, J.M.: Maximality semantic for recursive petri nets. In: ECMS, pp. 544–550 (2013)

    Google Scholar 

  29. Kouah, S., Saïdouni, D.E., Ilié, J.M.: Synchronized petri net: a formal specification model for multi agent systems. J. Softw. 8(3), 587–602 (2013)

    Article  Google Scholar 

  30. Ziparo, V.A., Iocchi, L., Nardi, D., Palamara, P.F., Costelha, H.: Petri net plans: a formal model for representation and execution of multi-robot plans. In Padgham, L., Parkes, D.C., Mller, J.P., Parsons, S. (eds.) AAMAS (1), IFAAMAS, pp. 79–86 (2008)

    Google Scholar 

  31. Mazouzi, H., El Fallah-Seghrouchni, A., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS’02, pp. 517–526 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIP6 Laboratory, University of Pierre and Marie Curie, 4 Place Jussieu, 75005, Paris, France

    Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni & Jean-Michel Ilié

  2. MISC Laboratory, University Constantine 2, Ali Mendjeli Campus, 25000, Constantine, Algeria

    Ahmed-Chawki Chaouche & Djamel Eddine Saïdouni

Authors
  1. Ahmed-Chawki Chaouche
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Amal El Fallah Seghrouchni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jean-Michel Ilié
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Djamel Eddine Saïdouni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ahmed-Chawki Chaouche .

Editor information

Editors and Affiliations

  1. Swinburne University of Technology, Hawthorn Vic, Australia

    Ryszard Kowalczyk

  2. Institute of Informatics, Wroclaw University of Technology, Wroclaw, Poland

    Ngoc Thanh Nguyen

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Chaouche, AC., El Fallah Seghrouchni, A., Ilié, JM., Saïdouni, D.E. (2014). A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. In: Kowalczyk, R., Nguyen, N. (eds) Transactions on Computational Collective Intelligence XVI. Lecture Notes in Computer Science(), vol 8780. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44871-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44871-7_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44870-0

  • Online ISBN: 978-3-662-44871-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation