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.

Taxonomy on Ambient Computing

“…'Intelligence'formsthebackboneoftheevolutionofInternet-of-Things(IoT)intoAmbientComputing. Thetermhasbeencoinedmuchearlierbuthasreceivedsubstantialattentionrecentlyinthelast decadeamongresearchersandbigtechnologybrands.AmbientComputingistheuseofcomputers andtheinternetwithoutconsciouslyusingthem.Itistheuseofintelligentagentswhoseoperating processutilizesacombinationofhardware,software,human-deviceinteraction,userexperienceand machinelearning.ThedramaticgrowthoftechnologyandthedrasticdevaluationofIoTcomponents haveaidedthepresentfocusonAmbientComputing.Withtheprojectedriseofintelligentdevices outnumberingthehumanpopulation5:1withinacoupleofyears,ithasbecomeimperativeforthe globalresearchcommunitytopropose,regulateandstandardizedevicesthatareshiftingthefocus frompersonalcomputingtoAmbientComputing.Progresshasalreadybeenmadewiththeproposal ofanalgebraiclanguagefordescribingthetime-dependentbehaviorofAmbientIntelligentSystem agents (Boukharrou, Ilié, & Saidouni, 2017). E-commerce being a crucial player in the domain, agentsposearealchallengeintermsofprovidingend-to-endservicequalityassurance (Gaoyong& Huiling,2008).ThemajordimensionsofAmbientComputingareCloudComputing,Structuredand Un-structuredstoragedevices,andBigData;allcatalyzingthegrowthofIoTdevices.Performance analysis (Mondal,Sanyal,Chattapadhyay,&Mondal,2019)andconsumerprivacy (Shamsi&Khojaye, 2018) (Yamin&Sen,2018)formapivotalpointinsuccessofsuchsystems.…”