Cited By
View all- Sengupta D(2020)Taxonomy on Ambient ComputingInternational Journal of Ambient Computing and Intelligence10.4018/IJACI.202001010111:1(1-33)Online publication date: 17-Jun-2020
Time and Space Reasoning for Ambient Systems
Abstract
This paper presents an algebraic language, called Time-AgLOTOS, to describe time-dependent behavior of intelligent agent for the design of Ambient Intelligence systems. This specification model provides a theoretical foundation for performing planning under timing constraints. Based on a true-concurrency semantics, a contextual model, called Spatio-Temporal Planning System STPS, is developed to capture all possible evolutions of an agent plan including context changes. The STPS provides formal description of possible actions to perform supporting timing constraints, action duration and spatial information. This structure offers new possibilities and strategies for taking agent real-time decisions in context-awareness manner.
References
[1]
Allen, J. F. 1983. Maintaining Knowledge About Temporal Intervals. Communication, 2611.
[2]
Alur, R., & Dill, D. L. 1994. A theory of timed automata. Theoretical Computer Science, 1262, 183-235.
[3]
Augusto, J. 2007. Ambient intelligence: The confluence of pervasive computing and artificial intelligence. In Schuster, A. Ed., Intelligent Computing Everywhere pp. 213-234.
[4]
Baier, C., & Katoen, J.-P. 2008. Principles of Model Checking. MIT Press.
[5]
Belala, N., Saïdouni, D.-E., Boukharrou, R., Chaouche, A.-C., Seraoui, A., & Chachoua, A. 2013. Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. International Journal of Embedded and Real-Time Communication Systems, 42, 62-83.
[6]
Bhatt, M., & Dylla, F. 2009. A Qualitative Model of Dynamic Scene Analysis and Interpretation in Ambient Intelligence Systems. International Journal of Robotics and Automation, 243.
[7]
Bordini, R. H., Braubach, L., Dastani, M., El Fallah Seghrouchni, A., Gomez-Sanz, J. J., Leite, J., & Ricci, A. et al . 2006. A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica Slovenia, 301, 33-44.
[8]
Bordini, R. H., Hübner, J. F., & Wooldridge, M. 2007. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons.
[9]
Boukharrou, R., Chaouche, A.-C., El Fallah Seghrouchni, A., Ilié, J.-M., & Saidouni, D. E. 2015. Dealing with Temporal Failure in ambient systems: A Dynamic Revision of Plans. Journal of Ambient Intelligence and Humanized Computing, 63, 325-336.
[10]
Boukharrou, R., Chaouche, A.-C., Ilié, J.-M., & Saïdouni, D. E. 2014. Contextual-Timed Planning Management for Ambient Systems. Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus pp. 107-114. IEEE Computer society.
[11]
Boukharrou, R., Ilié, J.-M., & Saidouni, D. E. 2016. Contextual Time Reasoning for Mobile Ambient Agents. International Journal of Wireless and Mobile Computing, 103, 250-260.
[12]
Chaouche, A.-C., El Fallah Seghrouchni, A., Ilié, J.-M., & Saïdouni, D. E. 2014. A Higher-order Agent Model with Contextual Management for Ambient Systems. In R. Kowalczyk, & N. T. Nguyen Éds., Transactions on Computational Collective Intelligence XVI, LNCS Vol. 8780, pp. 146-169.
[13]
Chen, G., & Kotz, D. 2000. A Survey of Context-Aware Mobile Computing Research.
[14]
Cook, D., Youngblood, M., & Das, S. K. 2006. A Multi-agent Approach to Controlling a Smart Environment. In J.C. Augusto & C.D. Nugent Éds. Designing Smart Homes pp. 165-182.
[15]
Corno, F., & Sanaullah, M. 2011. Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. ISAmI, 11, 9-16.
[16]
Coronato, A., & De Pietro, G. 2010. Formal Design of Ambient Intelligence Applications. Computer, 4312, 60-68.
[17]
Courtiat, J. P., & Saïdouni, D. E. 1995. Relating maximality-based semantics to action refinement in process algebras. In D.D. Hogrefe, & S. Leue Ed., Int. Conf. on FORTE'94 pp. 293-308. 10.1007/978-0-387-34878-0_24
[18]
Dastani, M. 2008. 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems, 163, 214-248.
[19]
de Silva, L., Dekker, A., & Harland, J. 2007. Planning with Time Limits in BDI Agent Programming Languages. Proceedings of CATS'07 pp. 131-139. Ballarat, Victoria, Australia: Australian Computer Society, Inc.
[20]
Dingli, A., Attard, D., & Mamo, R. 2012. Turning Homes into Low-Cost Ambient Assisted Living Environments. International Journal of Ambient Computing and Intelligence, 42, 1-23.
[21]
Domnitcheva, S. 2000. Location Modeling: State of the Art and Challenges.
[22]
Guesgen, H. W. 2014. A Fuzzy Set Approach to Expressing Preferences in Spatial Reasoning. In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation pp. 173-185.
[23]
Guesgen, H. W., & Marsland, S. 2010. Spatio-Temporal Reasoning and Context Awareness. In Handbook of Ambient Intelligence and Smart Environments pp. 609-634. Springer US.
[24]
Guivarch, V., Camps, V., & Péninou, A. 2014. AMADEUS: an adaptive multi-agent system to learn a user's recurring actions in ambient systems. Advances in Distributed Computing and Artificial Intelligence Journal, 13.
[25]
Hani Hagras, V. C.-C. 2004, November. Creating an Ambient-Intelligence Environment Using Embedded Agents. IEEE Intelligent Systems, 196, 12-20.
[26]
Hegarty, R., Lunney, T., Curran, K., & Mulvenna, M. 2010. Ambient Interface Design AID for the Ergonomically Challenged. International Journal of Ambient Computing and Intelligence, 22, 57-64.
[27]
Henricksen, K., & Indulska, J. 2006. Developing Context-aware Pervasive Computing Applications: Models and Approach. Pervasive and Mobile Computing, 21, 37-64.
[28]
Hindriks, K. 2014. Twenty Years of Engineering Multiagent Systems. Keynote of the EMAS workshop, part of AAMAS'14.
[29]
Hoogendoorn, M., Klein, M. C., Memon, Z. A., & Treur, J. 2013. Formal specification and analysis of intelligent agents for model-based medicine usage management. Computers in Biology and Medicine, 435, 444-457. 23566391
[30]
Hu, H., & Lee, D.-L. 2004. Semantic location modeling for location navigation in mobile environment. Proceedings of the International Conference on Mobile Data Management pp. 56-61.
[31]
Lee, K., Lunney, T., Curran, K., & Santos, J. 2009. Ambient Middleware for Context-Awareness AMiCA. International Journal of Ambient Computing and Intelligence, 13, 66-78.
[32]
Maarouk, T. M., Saïdouni, D.-E., & Khergag, M. 2012. Towards a Calculus for Distributed, Real-Time and Mobile Systems. JSW, 73, 564-574.
[33]
Meier, R., & Lee, D. 2009. Context-Aware Services for Ambient Environments. International Journal of Ambient Computing and Intelligence, 11, 1-14.
[34]
Najjar, M., Courtemanche, F., Hamam, H., Dion, A., & Bauchet, J. 2009. Intelligent Recognition of Activities of Daily Living for Assisting Memory and/or Cognitively Impaired Elders in Smart Homes. International Journal of Ambient Computing and Intelligence, 14, 46-62.
[35]
Nakashima, H., Aghajan, H., & Augusto, J. 2010. Handbook of Ambient Intelligence and Smart Environments. Springer.
[36]
Nunes, I., & Luck, M. 2014. Softgoal-based Plan Selection in Model-driven BDI Agents. AAMAS, 14, 749-756.
[37]
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. 15 pp. 149-174. Springer.
[38]
Poland, M. P., Nugent, C. D., Wang, H., & Chen, L. 2009. Smart Home Research: Projects and Issues. International Journal of Ambient Computing and Intelligence, 14, 32-45.
[39]
Preuveneers, D., & Novais, P. 2012. A survey of software engineering best practices for the development of smart applications in Ambient Intelligence. JAISE, 43, 149-192.
[40]
Rao, A. S., & Georgeff, M. 1995. BDI Agents: from theory to practice. Proceedings of ICMAS '95 pp. 312-319.
[41]
Saïdouni, D. E., & Belala, N. 2006. Actions duration in timed models. Proceedings of ACIT'06, Irbid, Jordan.
[42]
Sardina, S., de Silva, L., & Padgham, L. 2006. Hierarchical planning in BDI agent programming languages: a formal approach. AAMAS'06 pp. 1001-1008. Hakodate, Japan: ACM.
[43]
Sardina, S., & Padgham, L. 2007. Goals in the Context of BDI Plan Failure and Planning. Proceedings of AAMAS'07 pp. 16-23. Hawaii, USA: ACM Press.
[44]
Schultz, C. P., Amor, R., & Guesgen, H. W. 2009. Unit Testing for Qualitative Spatial and Temporal Reasoning. In H. C. Lane & H. W. Guesgen Eds., Proceedings of FLAIRS'09. AAAI Press.
[45]
Wallgrün, J., Frommberger, L., Wolter, D., Dylla, F., & Freksa, C. 2007. Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox. In T. Barkowsky, M. Knauff, G. Ligozat, & D. R. Montello Eds., Spatial Cognition V Reasoning, Action, Interaction, LNCS Vol. 4387, pp. 39-58. Springer Berlin Heidelberg.
[46]
Waters, M., Padgham, L., & Sardina, S. 2014. Evaluating Coverage Based Intention Selection. AAMAS, 14, 957-964.
Recommendations
Contextual time reasoning for mobile ambient agents
The Time-AgLOTOS algebraic language and its true concurrency semantics proposed in this paper provide a theoretical foundation to develop on-the-fly planning of actions to be executed under timing constraints. We first show how to produce an ...
Extending the SCR Method for Real-Time Systems
We propose timed SCR specifications, which are a generalization of SCR specifications, intended to specify quantitative timing properties of real-time systems. We extend the tabular notation of the SCR method to deal with sporadic and periodic timing ...
Contextual-Timed Planning Management for Ambient Systems
ICTAI '14: Proceedings of the 2014 IEEE 26th International Conference on Tools with Artificial IntelligenceIn this paper, we propose an algebraic language, called Time-AgLOTOS, which is dedicated to express BDI agent plans, according to the features and requirements of Ambient Intelligence (AmI) systems. Plan expressions are written and composed using Time-...
Comments
Information & Contributors
Information
Published In
Publisher
IGI Global
United States
Publication History
Published: 01 July 2017
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Feb 2025
Other Metrics
Citations
Cited By
View all- Sengupta D(2020)Taxonomy on Ambient ComputingInternational Journal of Ambient Computing and Intelligence10.4018/IJACI.202001010111:1(1-33)Online publication date: 17-Jun-2020