Affiliation:
1. Constantine 2 University. MISC Laboratory, Constantine, Algeria
2. Université Pierre et Marie Curie, LIP6 Laboratory, Paris, France
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.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Decentralized Negotiation-based Protocol for Cooperative Smart Environments;2023 5th International Conference on Pattern Analysis and Intelligent Systems (PAIS);2023-10-25
2. A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation;International Journal of Ambient Computing and Intelligence;2022-05-24
3. Taxonomy on Ambient Computing;International Journal of Ambient Computing and Intelligence;2020-01
4. Big Data Approach for Managing the Information from Genomics, Proteomics, and Wireless Sensing in E-health;Big Data for Remote Sensing: Visualization, Analysis and Interpretation;2018-05-24