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.
Yoosef Abushark, John Thangarajah, Tim Miller, and James Harland. Checking consistency of agent designs against interaction protocols for early-phase defect location. In Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, pages 933–940. International Foundation for Autonomous Agents and Multiagent Systems, 2014.
2.
Al-SaqqarFaisal, BentaharJamal, SultanKhalid and ElMenshawy Mohamed. On the interaction between knowledge and social commitments in multi-agent systems. Applied Intelligence, 41(1) (2014), 235–259.
3.
AnconaD., BarbieriM. and MascardiV. Constrained global types for dynamic checking of protocol conformance in multiagent systems. SAC 2013. ACM, 2013.
4.
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi and Patrick Taillibert. Efficient verification of MASs with projections. In Fabiano Dalpiaz and Jürgen Dix M. Birna van Riemsdijk, editors, Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Revised Selected Papers, volume 8758 of Lecture Notes in Computer Science, (2014), 246–270.
5.
Davide Ancona, Daniela Briola, Angelo Ferrando, and Viviana Mascardi. Global protocols as first class entities for self-adaptive agents. In Rafael Bordini, Edith Elkind, Gerhard Weiss, and Pinar Yolum, editors, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 4–8, 2015, Istanbul, Turkey. IFAAMAS/ACM, 2015.
6.
Davide Ancona, Sophia Drossopoulou and Viviana Mascardi. Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason. In DALT X. Revised, Selected and Invited Papers, volume 7784 of LNAI, Springer.
7.
Matteo Baldoni, Cristina Baroglio and Federico Capuzzimati. 2COMM: A commitment-based MAS architecture. In Massimo Cossentino, Amal El Fallah Seghrouchni, and Michael Winikoff, editors, Engineering Multi-Agent Systems, volume 8245 of Lecture Notes in Computer Science, (2013), 38–57, Springer Berlin Heidelberg.
8.
BaldoniMatteo, BaroglioCristina and CapuzzimatiFederico. A commitment-based infrastructure for programming sociotechnical systems. ACM Trans Internet Technol14(4) (2014), 1–23.
9.
Matteo Baldoni, Cristina Baroglio and Federico Capuzzimati. Typing multi-agent systems via commitments. In Engineering Multi-Agent Systems (2014), 388–405, Springer.
10.
Matteo Baldoni, Cristina Baroglio and Federico Capuzzimati. Typing multi-agent systems via commitments. In Fabiano Dalpiaz, Jãijrgen Dix, and M.Birna van Riemsdijk, editors, Engineering Multi-Agent Systems, volume 8758 of Lecture Notes in Computer Science (2014), 388–405, Springer International Publishing.
11.
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio. Programming with commitments and goals in JaCaMo+. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS ’15, pages 1705–1706, Richland, SC, 2015. International Foundation for Autonomous Agents and Multiagent Systems.
12.
Mihai Barbuceanu and Mark S. Fox. COOL: A language for describing coordination in multi agent systems. In Victor R. Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA (1995), 17–24, The MIT Press
13.
Andreas Bauer, Martin Leucker, and Christian Schallhart. Monitoring of real-time properties. In S. Arun-Kumar and Naveen Garg, editors, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, volume 4337 of Lecture Notes in Computer Science (2006), 260–272, Springer.
14.
Fabio Luigi Bellifemine, Giovanni Caire and Dominic Green-wood. Developing Multi-Agent Systems with JADE. Wiley, 2007.
15.
Rafael Bordini, Jomi F. Hübner, and MichaelWooldridge. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, 2007.
16.
Daniela Briola, Viviana Mascardi, and Davide Ancona. Distributed runtime verification of JADE multiagent systems. In Dd Camacho, Lars Braubach, Salvatore Venticinque, and Costin Badica, editors, Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014, volume 570 of Studies in Computational Intelligence (2014), 81–91, Springer.
17.
CastagnaGiuseppe, Dezani-CiancagliniMariangiola and PadovaniLuca. On global types and multi-party session. Logical Methods in Computer Science8(1) (2012).
18.
ChaoucheAhmed-Chawki, ElFallah-Seghrouchni Amal, IliéJean-Michel and SaïdouniDjamel-Eddine. A higher-order agent model with contextual planning management for ambient systems. T. Computational Collective Intelligence8780 (2014), 146–169.
19.
Michael H. Coen. Design principles for intelligent environments. In Jack Mostow and Chuck Rich, editors, Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA. (1998), 547–554, AAAI Press/The MIT Press.
20.
CriadoNatalia, ArgenteEstefania, NoriegaPablo and BottiVicente J.. Reasoning about constitutive norms in BDI agents. Logic Journal of the IGPL22(1) (2014), 66–93.
21.
Paul Davidsson and Magnus Boman. Sng energy and providing value added services in intelligent buildings: A MAS approach. In Dd Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürich, Switzerland, September 13-15, 2000, Proceedings, volume 1882 of Lecture Notes in Computer Science (2000), 166–177, Springer.
22.
Yves Demazeau. From interactions to collective behaviour in agent-based systems. In In Proceedings of the 1st European Conference on Cognitive Science. Saint-Malo (1995), 117–132.
23.
DoctorFaiyaz, HagrasHani and CallaghanVictor. A fuzzy embedded agent-based approach for realizing ambient intelligence in intelligent inhabited environments. IEEE Transac18 D. Ancona, D. Briola, A. Ferrando, V. Mascardi / Runtime Verification of Fail-Uncontrolled and AmI Systems tions on Systems, Man, and Cybernetics, Part A, 35(1) (2005), 55–65.
24.
D’SouzaDeepak. A logical characterisation of event clock automata. Int J Found Comput Sci14(4) (2003), 625–640.
25.
Nora Faci, Zahia Guessoum and Olivier Marin. DimaX: A fault-tolerant multi-agent platform. In Barbara Dunin-Keplicz, Andrea Omicini, and Julian A. Padget, editors, EUMAS, volume 223 of CEUR Workshop Proceedings, CEUR-WS.org, 2006.
26.
Artur Freitas, Daniela Schmidt, Alison Panisson, Rafael H Bordini, Felipe Meneguzzi and Renata Vieira. Applying ontologies and agent technologies to generate ambient intelligence applications. In Agent Technology for Intelligent Mobile Services and Smart Societies (2015), 22–33, Springer.
27.
GascueñaJosé M, NavarroElenaFernández-SotosPatricia, Fernández-CaballeroAntonio and PavónJuan. Idk and icaro to develop multi-agent systems in support of ambient intelligence. Journal of Intelligent and Fuzzy Systems, 2014.
28.
Scott N. Gerard and Munindar P. Singh. Evolving protocols and agents in multiagent systems. In Proceedings of the 2013 International Conference on Autonomous Agents and Multiagent Systems, AAMAS ’13, pages 997–1004, Richland, SC, 2013. International Foundation for Autonomous Agents and Multiagent Systems.
29.
Zahia Guessoum, Mikal Ziane and Nora Faci. Monitoring and organizational-level adaptation of multi-agent systems.In AAMAS (2004), 514–521, IEEE Computer Society.
30.
Gery Gutnik. Monitoring large-scale multi-agent systems using overhearing. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS ’05, pages 1377–1377, New York, NY, USA, 2005. ACM.
31.
Staffan Hägg. A sentinel approach to fault handling in multiagent systems. Second AustralianWorkshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996, s. 181–95, 1997.
32.
HagrasHani, CallaghanVictor, ColleyMartin, ClarkeGraham, Pounds-CornishAnthony and DumanHakan. Creating an ambient-intelligence environment using embedded agents. IEEE Intelligent Systems19(6) (2004), 12–20.
33.
BaroglioC.BaldoniM. and CapuzzimatiF.. Reasoning about social relationships with Jason. Autonomous Agents and Multi-Agent Systems, 2014.
34.
Ashok U. Mallya and Munindar P. Singh. Modeling exceptions via commitment protocols. In Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, and Michael Wooldridge, editors, AAMAS (2005), 122–129, ACM
35.
Ashok U. Mallya and Munindar P. Singh. Modeling exceptions via commitment protocols. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS ’05, pages 122–129, New York, NY, USA, 2005. ACM.
36.
Viviana Mascardi and Davide Ancona. Attribute global types for dynamic checking of protocols in logic-based multiagent systems (technical communication). To appear in Theory and Practice of Logic Programming, On-line Supplement, as technical communication of the ICLP 2013 conference, 2013.
37.
Viviana Mascardi, Daniela Briola and Davide Ancona. On the expressiveness of attribute global types: The formalization of a real multiagent system protocol. In Matteo Baldoni, Cristina Baroglio, Guido Boella, and Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings, volume 8249 of Lecture Notes in Computer Science (2013), 300–311, Springer.
38.
Michael C. Mozer. The neural network house: An environment that adapts to its inhabitants. In Proc Am Assoc Artificial Intelligence Spring Symp Intelligent Environments (1998), 110–114, AAAI Press.
39.
Andrei Olaru. Context-awareness in multi-agent systems for ambient intelligence. In Context in Computing (2014), 541–556, Springer.
40.
Amir Pnueli. The temporal logic of programs. In IEEE, editor, FOCS (1977), 46–57.
41.
David Powell, editor. Delta-4: A Generic Architecture for Dependable Distributed Computing (Research Reports Espirit Project 818/2252, Delta 4, Vol. 1). 1992.
42.
RamosCarlos, AugustoJuan Carlos and ShapiroDaniel. Ambient intelligence - the next step for artificial intelligence. IEEE Intelligent Systems23(2) (2008), 15–18.
43.
Jean-François Raskin. PhD thesis, Namur, BelgiumLogics, automata and classical theories for deciding real-time1999
44.
RutaMichele, SciosciaFloriano, LosetoGiuseppe and DiSciascio Eugenio. Semantic-based resource discovery and orchestration in home and building automation: A multi-agent approach. Industrial Informatics, IEEE Transactions on10(1) (2014), 730–741.
45.
Munindar P. Singh. Interaction-oriented programming: Concepts, theories, and results on commitment protocols. In Proceedings of the 19th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, AI’06, pages 5–6, Berlin, Heidelberg, 2006. Springer-Verlag.
46.
Monica Villaverde, David Perez and Felix Moreno. Cooperative learning model based on multi-agent architecture for embedded intelligent systems. In Industrial Electronics Society, IECON 2014-40th Annual Conference of the IEEE, 2724–2730, IEEE.
47.
AndrzejWalczak, Lars Braubach, Alexander Pokahr and Winfried Lamersdorf. Augmenting bdi agents with deliberative planning techniques. In Proceedings of the 4th International Conference on Programming Multi-agent Systems, Pro-MAS’06, pages 113–127, Berlin, Heidelberg, 2007. Springer-Verlag.
48.
YolumPinar and SinghMunindar P.. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Ann Math Artif Intell42(1-3) (2004), 227–253.
