Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs Read chapter Read first chapter

2014 | OriginalPaper | Chapter

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

Authors : Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel Eddine Saïdouni

Published in: Transactions on Computational Collective Intelligence XVI

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models
next chapter An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation
Footnotes
1
RSSI: Received Signal Strength Indication.
 
Literature
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) CrossRef
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)
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)
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) CrossRef
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)CrossRef
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)
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)
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)
9.
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)
11.
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)
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)CrossRef
14.
Brinksma, E. (ed.): ISO 8807, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (1988)
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)CrossRef
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)
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) CrossRef
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)
19.
Grant, J., Kraus, S., Perlis, D., Wooldridge, M.: Postulates for revising bdi structures. Synthese 175(1), 39–62 (2010)CrossRefMATH
20.
Hindriks, K.: Twenty years of engineering multiagent systems. In: Keynote of the EMAS Workshop, Part of AAMAS’14 (2014)
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)CrossRef
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)CrossRef
23.
Dastani, M.: 2apl: a practical agent programming language. Auton. Agent. Multi-Agent Syst. 16(3), 214–248 (2008)CrossRef
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)
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) CrossRef
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)CrossRef
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) CrossRef
28.
Saïdouni, D.E., Bouneb, M., Ilié, J.M.: Maximality semantic for recursive petri nets. In: ECMS, pp. 544–550 (2013)
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)CrossRef
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)
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)
Metadata
Title
A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems
Authors
Ahmed-Chawki Chaouche
Amal El Fallah Seghrouchni
Jean-Michel Ilié
Djamel Eddine Saïdouni
Copyright Year
2014
Publisher
Springer Berlin Heidelberg
Book
Transactions on Computational Collective Intelligence XVI

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

Electronic ISBN: 978-3-662-44871-7

Copyright Year: 2014

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

Premium Partner

    Image Credits