Abstract
In this paper, we address the building of ambient systems as autonomous and context-aware intelligent agents. The original contribution is an algebraic language, namely AgLOTOS, used to automatically build the plan of an agent from its intentions. As plans are formally conceived as a structured set of concurrent processes, we show how to define a guidance service, helping the agent to maximize the satisfaction of its intentions. The underlying structure, called Contextual Planning System (CPS), takes the contextual information into account to predict the ability to execute the processes in plans. The last part of the paper talks about our current experiment integrating the proposed technique to assist user in a smart campus university.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Sardina, S., de Silva, L., Padgham, L.: Hierarchical planning in BDI agent programming languages: a formal approach. In: AAMAS 2006, pp. 1001–1008 (2006)
Meneguzzi, F., Zorzo, A.F., da Costa Móra, M., Luck, M.: Incorporating planning into BDI agents. Scalable Computing: Practice and Experience 8, 15–28 (2007)
Chaouche, A.C., El Fallah Seghrouchni, A., Ilié, J.M., Saïdouni, D.E.: A dynamical plan revising for ambient systems. Procedia Computer Science 32, 37–44 (2014)
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Nebel, B., Rich, C., Swartout, W.R. (eds.) KR, pp. 439–449. Morgan Kaufmann (1992)
Brinksma, E. (ed.): ISO 8807, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (1988)
Chaouche, A.C., El Fallah Seghrouchni, A., Ilié, J.M., Saïdouni, D.E.: A Higher-order Agent model for ambient systems. Procedia Computer Science 21, 156–163 (2013)
Galván-Tejada, C.E., García-Vázquez, J.P., García-Ceja, E., Carrasco-Jiménez, J.C., Brena, R.F.: Evaluation of four classifiers as cost function for indoor location systems. Procedia Computer Science 32, 453–460 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Chaouche, AC., El Fallah Seghrouchni, A., Ilié, JM., Saïdouni, D.E. (2014). A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. In: Bazzan, A., Pichara, K. (eds) Advances in Artificial Intelligence -- IBERAMIA 2014. IBERAMIA 2014. Lecture Notes in Computer Science(), vol 8864. Springer, Cham. https://doi.org/10.1007/978-3-319-12027-0_64
Download citation
DOI: https://doi.org/10.1007/978-3-319-12027-0_64
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12026-3
Online ISBN: 978-3-319-12027-0
eBook Packages: Computer ScienceComputer Science (R0)