Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach

We propose an approach for designing, formalizing and implementing, on top of existing MultiAgent Systems and without interfering with them, sentinels that detect errors in fail-uncontrolled multiagent systems, and controllers that identify particular situations in ambient intelligence (AmI) systems. The formalism we use for representing the expected patterns of actions is that of trace expressions extended with features for dealing with exceptions, timeouts, and their handlers. In this paper we provide the syntax and semantics of the extended trace expressions formalism and examples of their use, in the different contexts of fail-uncontrolled and AmI systems.

[1]  Baldoni Matteo,et al.  Reasoning about Social Relationships with Jason , 2014 .

[2]  Munindar P. Singh,et al.  Evolving protocols and agents in multiagent systems , 2013, AAMAS.

[3]  Davide Ancona,et al.  Distributed Runtime Verification of JADE Multiagent Systems , 2014, IDC.

[4]  Paul Davidsson,et al.  Saving Energy and Providing Value Added Services in Intelligent Buildings: A MAS Approach , 2000, ASA/MA.

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

[6]  Juan Carlos Augusto,et al.  Ambient Intelligence—the Next Step for Artificial Intelligence , 2008, IEEE Intelligent Systems.

[7]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[8]  Jamal Bentahar,et al.  On the interaction between knowledge and social commitments in multi-agent systems , 2014, Applied Intelligence.

[9]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[10]  Martin Leucker,et al.  Monitoring of Real-Time Properties , 2006, FSTTCS.

[11]  Roberto Micalizio,et al.  Programming with Commitments and Goals in JaCaMo+ , 2015, AAMAS.

[12]  Mikal Ziane,et al.  Monitoring and organizational-level adaptation of multi-agent systems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[13]  Davide Ancona,et al.  On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol , 2013, AI*IA.

[14]  Félix Moreno,et al.  Cooperative learning model based on multi-agent architecture for embedded intelligent systems , 2014, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society.

[15]  Antonio Fernández-Caballero,et al.  IDK and ICARO to develop multi-agent systems in support of Ambient Intelligence , 2015, J. Intell. Fuzzy Syst..

[16]  Luca Padovani,et al.  On Global Types and Multi-Party Session , 2012, Log. Methods Comput. Sci..

[17]  Andrei Olaru.  Context-Awareness in Multi-agent Systems for Ambient Intelligence , 2014, Context in Computing.

[18]  Davide Ancona,et al.  Constrained global types for dynamic checking of protocol conformance in multi-agent systems , 2013, SAC '13.

[19]  Djamel-Eddine Saïdouni,et al.  A Higher-order Agent Model with Contextual Management for Ambient Systems , 2016 .

[20]  Davide Ancona,et al.  Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems , 2013, Theory Pract. Log. Program..

[21]  Michael H. Coen,et al.  Design Principles for Intelligent Environments , 1998, AAAI/IAAI.

[22]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[23]  Winfried Lamersdorf,et al.  Augmenting BDI Agents with Deliberative Planning Techniques , 2006, PROMAS.

[24]  Davide Ancona,et al.  Efficient Verification of MASs with Projections , 2014, EMAS@AAMAS.

[25]  Munindar P. Singh,et al.  Modeling exceptions via commitment protocols , 2005, AAMAS '05.

[26]  Hani Hagras,et al.  A fuzzy embedded agent-based approach for realizing ambient intelligence in intelligent inhabited environments , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[27]  Fabio Bellifemine,et al.  Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology) , 2007 .

[28]  Gery Gutnik,et al.  Monitoring large-scale multi-agent systems using overhearing , 2005, AAMAS '05.

[29]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[30]  Olivier Marin,et al.  DimaX: a fault-tolerant multi-agent platform , 2006, SELMAS '06.

[31]  Reasoning about constitutive norms in BDI agents , 2014, Log. J. IGPL.

[32]  Deepak D'Souza.  A Logical Characterisation of Event Clock Automata , 2003, Int. J. Found. Comput. Sci..

[33]  Cristina Baroglio,et al.  A Commitment-Based Infrastructure for Programming Socio-Technical Systems , 2014, TOIT.

[34]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[35]  Cristina Baroglio,et al.  Typing Multi-Agent Systems via Commitments , 2014, EMAS@AAMAS.

[36]  Rafael H. Bordini,et al.  Applying Ontologies and Agent Technologies to Generate Ambient Intelligence Applications , 2014, ARE/AVSA@AAMAS.

[37]  Cristina Baroglio,et al.  2COMM: A Commitment-based MAS Architecture , 2013, WOA@AI*IA.

[38]  Michael C. Mozer,et al.  The Neural Network House: An Environment that Adapts to its Inhabitants , 1998 .

[39]  Davide Ancona,et al.  Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason , 2012, DALT.

[40]  Naveen Garg,et al.  FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings , 2006, FSTTCS.

[41]  Munindar P. Singh.  Interaction-Oriented Programming: Concepts, Theories, and Results on Commitment Protocols , 2006, Australian Conference on Artificial Intelligence.

[42]  Eugenio Di Sciascio,et al.  Semantic-Based Resource Discovery and Orchestration in Home and Building Automation: A Multi-Agent Approach , 2014, IEEE Transactions on Industrial Informatics.