Facilitating the Ambient Intelligent Vision: A Theorem, Representation and Solution for Instability in Rule-Based Multi-Agent Systems

Multi-agent systems underpin the vision for ambient intelligence. However, developing multi-agent systems is a complex and challenging process. For example, pervasive computing has been found susceptible to instability, due to unwanted behaviour arising from unplanned interaction between rule based agents. This instability is impossible to predict, as it depends on the rules of interaction, the initial state of the system, the user interaction, and in the time delay of the system (due to network traffic, different speed of processing, etc). In this paper we present a theoretical framework, an Interaction Network (IN), together with a communication locking strategy that we call INPRES (Instability Prevention System) that can be used to identify and eliminate this problem. In addition we describe a Multi-Dimensional Model (MDM) to represent the agents and the state of each agent over time. A theorem showing the role of delays in an unstable system is presented. We present experimental results based on simulations and a physical emulation that demonstrate the effectiveness of these methods.

[1]  Ronald Fagin,et al.  A formal model of knowledge, action, and communication in distributed systems: preliminary report , 1985, PODC '85.

[2]  Víctor Zamudio,et al.  Unwanted Periodic Behaviour in Pervasive Computing Environments , 2006, 2006 ACS/IEEE International Conference on Pervasive Services.

[3]  Steven Skiena,et al.  Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica ® , 2009 .

[4]  Jadwiga Indulska,et al.  Modeling Context Information in Pervasive Computing Systems , 2002, Pervasive.

[5]  Gian Luca Foresti,et al.  Ambient Intelligence: A New Multidisciplinary Paradigm , 2005 .

[6]  Paddy Nixon,et al.  Categorisation and modelling of quality in context information , 2005, IJCAI 2005.

[7]  K. G. Troitzsch,et al.  Iruba : An Agent-Based Model of the Guerrilla War Process , 2005 .

[8]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[9]  M. Weiser,et al.  Hot topics-ubiquitous computing , 1993 .

[10]  Robert L. Axtell,et al.  Effects of Interaction Topology and Activation Regime in Several Multi-Agent Systems , 2000, MABS.

[11]  Gaurav S. Sukhatme,et al.  Connecting the Physical World with Pervasive Networks , 2002, IEEE Pervasive Comput..

[12]  Stephen H. Unger,et al.  Hazards, Critical Races, and Metastability , 1995, IEEE Trans. Computers.

[13]  Chris Hanson,et al.  Amorphous computing , 2000, Commun. ACM.

[14]  Hani Hagras,et al.  The Essex iDorm: A Testbed for Exploring Intelligent Energy Usage Technologies in the Home , 2007 .

[15]  Sue Whitesides,et al.  Discrete mathematics for computer science , 2005 .

[16]  Mario Kolberg,et al.  Feature interactions in services for Internet personal appliances , 2002, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).

[17]  Jim Doran,et al.  Simulating Societies using Distributed Artificial Intelligence , 1995, Social Science Microsimulation.

[18]  Hani Hagras,et al.  Programming iSpaces — A Tale of Two Paradigms , 2006 .

[19]  Miranda Mowbray,et al.  Resilience for Autonomous Agents , 2003 .

[20]  M. Kolberg,et al.  An online approach for the service interaction problem in home automation , 2005, Second IEEE Consumer Communications and Networking Conference, 2005. CCNC. 2005.

[21]  L.R. Brothers,et al.  Feature interaction detection , 1993, Proceedings of ICC '93 - IEEE International Conference on Communications.

[22]  Arran Holmes,et al.  The iDorm : Gateway to Heterogeneous Networking Environments , 2003 .

[23]  Keith Cheverst,et al.  Using Context as a Crystal Ball: Rewards and Pitfalls , 2001, Personal and Ubiquitous Computing.

[24]  Graham Clarke,et al.  An End-User Programming Paradigm for Pervasive Computing Applications , 2006, 2006 ACS/IEEE International Conference on Pervasive Services.

[25]  K. Haigh,et al.  The Independent LifeStyle Assistant: Lessons Learned , 2006, Assistive technology : the official journal of RESNA.

[26]  Graham Clarke,et al.  Ubiquitous Computing, Informatization, Urban Structures and Density , 2007 .

[27]  Douglas Lewin,et al.  Logical design of switching circuits , 1968 .

[28]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[29]  Hani Hagras,et al.  Creating an ambient-intelligence environment using embedded agents , 2004, IEEE Intelligent Systems.

[30]  H. Hagras,et al.  The Cognitive Disappearance of the Computer : Intelligent Artifacts and Embedded Agents ( or , do artefact based computers need to be intelligent to disappear ? ) , 2001 .

[31]  Stephen Wolfram,et al.  The Mathematica book, 5th Edition , 2003 .

[32]  Mahadev Satyanarayanan,et al.  Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..

[33]  Rachid Alami,et al.  How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[34]  José M.F. Ferreira,et al.  The CUSTODIAN tool: simple design of home automation systems for people with special needs , 2000 .

[35]  Víctor Zamudio,et al.  A Multi-dimensional Model for Task Representation and Allocation in Intelligent Environments , 2005, EUC Workshops.