Skip to main content
SpringerLink
Log in

Dealing with temporal failure in ambient systems: a dynamic revision of plans

  • Original Research
  • Published:
Journal of Ambient Intelligence and Humanized Computing Aims and scope Submit manuscript

Abstract

This paper presents AgLOTOS as an algebraic language dedicated to the specification of agent plans in ambient systems taking into account timing constraints. It offers a rich and modular approach to express and compose elementary plans in order to execute them concurrently. We show how a plan is built automatically as a system of concurrent processes from the belief-desire-intention attitudes of the agent. The AgLOTOS semantics allows to deal with possible plan execution failures, caused by the passing of time for performance of actions. In this situation, this information is captured at the mental process level allowing to update the agent mental state. Moreover, the associated semantics accords with the possibility of revising the agent plan, as the set of intentions changes.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. \(\mathcal {D}\) can be a domain of time like \(\mathbb {Q}^+\) or \(\mathbb {R}^+.\)

References

  • Alechina N, Dastani M, Logan B, Meyer JJC (2011) Reasoning about plan revision in BDI agent programs. Theor Comput Sci 412(44):6115–6134

    Article  MATH  MathSciNet  Google Scholar 

  • Amirjavid F, Bouzouane A, Bouchard B (2014) Activity modeling under uncertainty by trace of objects in smart homes. J Ambient Intell Humaniz Comput 5(1):159–167

    Article  Google Scholar 

  • Bordini RH, Hübner JF, Wooldridge M (2007) Programming multi-agent systems in AgentSpeak using Jason (Wiley Series in Agent Technology). Wiley, England

  • Boukharrou R, Chaouche AC, Ilié JM, Saïdouni DE (2014) Contextual-timed planning management for ambient systems. In: 26th IEEE International Conference on Tools with Artificial Intelligence

  • Chaouche AC (2014a) El Fallah Seghrouchni A, Ilié JM, Saïdouni DE. Dyn Plan Rev Ambient Syst 32:37–44

    Google Scholar 

  • Chaouche AC, El Fallah Seghrouchni A, Ilié JM, Saïdouni DE (2014b) A higher-order agent model with contextual management for ambient systems. In: Kowalczyk R, Nguyen NT (eds) Transactions on Computational Collective Intelligence XVI, vol 8780, Lecture Notes in Computer Science. Springer, Berlin, pp 146–169

  • Corno F, Sanaullah M (2014) Design-time formal verification for smart environments: an exploratory perspective. J Ambient Intell Hum Comput 5(4):581–599

    Article  Google Scholar 

  • Coronato A, De Pietro G (2010) Formal design of ambient intelligence applications. pp 60–68

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

    Article  Google Scholar 

  • Dennis LA, Fisher M, Webster MP, Bordini RH (2012) Model checking agent programming languages. Autom Softw Engg 19(1):5–63

    Article  Google Scholar 

  • El Fallah Seghrouchni A, Suna A (2003) Claim: a computational language for autonomous, intelligent and mobile agents. In: Dastani M, Dix J, El Fallah Seghrouchni A (eds) PROMAS, Springer, Lecture Notes in Computer Science, vol 3067, pp 90–110

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

    Article  MATH  Google Scholar 

  • Guivarch V, Camps V, Péninou A (2012) Context awareness in ambient systems by an adaptive multi-agent approach. In: Paternó F, Ruyter B, Markopoulos P, Santoro C, Loenen E, Luyten K (eds) Ambient intelligence, vol 7683, Lecture Notes in Computer Science Springer, Berlin Heidelberg, pp 129–144

  • Hindriks KV (2014) Twenty years of engineering multiagent systems. In: Keynote of the EMAS workshop, part of AAMAS’14

  • Maarouk TM, Saïdouni DE, Khergag M (2012) Towards a calculus for distributed, real-time and mobile systems. JSW 7(3):564–574

    Article  Google Scholar 

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

    Google Scholar 

  • Nunes I, Luck M (2014) Softgoal-based plan selection in model-driven bdi agents. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, AAMAS ’14, pp 749–756

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

    Google Scholar 

  • Pokahr A, Braubach L, Lamersdorf W (2005) Jadex: a bdi reasoning engine. In: Bordini R, Dastani M, Dix J, El Fallah Seghrouchni A (eds) Multi-agent programming, multiagent systems, artificial societies, and simulated organizations, vol 15, Springer, US, pp 149–174

  • Preuveneers D, Novais P (2012) A survey of software engineering best practices for the development of smart applications in ambient intelligence. JAISE 4(3):149–162

    Google Scholar 

  • Saïdouni DE, Courtiat JP (2003) Prise en compte des durées d’action dans les algébres de processus par l’utilisation de la smantique de maximalité. In: Proceedings of CFIP’2003, France, Hermes

  • Sardina S, Padgham L (2007) Goals in the context of BDI plan failure and planning. In: Durfee EH, Yokoo M, Huhns MN, Shehory O (eds) Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS). ACM Press, Hawaii, USA, pp 16–23

  • Sardina S, de Silva L, Padgham L (2006) Hierarchical planning in BDI agent programming languages: a formal approach. AAMAS ’06, New York

    Book  Google Scholar 

  • Schild K (2000) On the relationship between bdi logics and standard logics of concurrency. Auton Agents Multi-Agent Syst 3(3):259–283

    Article  Google Scholar 

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

  • Thangarajah J, Harland J, Morley D, Yorke-Smith N (2010) On the life-cycle of bdi agent goals. In: Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence. IOS Press, Amsterdam, The Netherlands, pp 1031–1032

  • Waters M, Padgham L, Sardina S (2014) Evaluating coverage based intention selection. In: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), IFAAMAS, Paris, France, pp 957–964 (nominated for Jodi Best Student Paper award)

Download references

Author information

Authors and Affiliations

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

    Radja Boukharrou, Ahmed-Chawki Chaouche & Djamel Eddine Saïdouni

  2. LIP6, UMR 7606 UPMC - CNRS, 75005, Paris, France

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

Authors
  1. Radja Boukharrou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ahmed-Chawki Chaouche
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amal El Fallah Seghrouchni
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jean-Michel Ilié
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Boukharrou, R., Chaouche, AC., El Fallah Seghrouchni, A. et al. Dealing with temporal failure in ambient systems: a dynamic revision of plans. J Ambient Intell Human Comput 6, 325–336 (2015). https://doi.org/10.1007/s12652-015-0266-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12652-015-0266-y

Keywords

Search

Navigation