Injecting (Micro)Intelligence in the IoT: Logic-Based Approaches for (M)MAS

  • Andrea OmiciniEmail author
  • Roberta Calegari
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11422)


Pervasiveness of ICT resources along with the promise of ubiquitous intelligence is pushing hard both our demand and our fears of AI: demand mandates for the ability to inject (micro) intelligence ubiquitously, fears compel the behaviour of intelligent systems to be observable, explainable, and accountable. Whereas the first wave of the new “AI Era” was mostly heralded by sub-symbolic approaches, features like explainability are better provided by symbolic techniques. In this paper we focus on logic-based approaches, and discuss their potential in pervasive scenarios like the IoT and open (M)MAS along with our latest results in the field.


Pervasive system MMAS Micro-intelligence Logic-based LPaaS 


  1. 1.
    Brownlee, J.: Clever Algorithms: Nature-inspired Programming Recipes (2011)Google Scholar
  2. 2.
    Calegari, R.: Micro-intelligence for the IoT: logic-based models and technologies. Ph.D. thesis, Alma Mater Studiorum—Università di Bologna, Bologna, Italy (2018).
  3. 3.
    Calegari, R., Ciatto, G., Mariani, S., Denti, E., Omicini, A.: Micro-intelligence for the IoT: SE challenges and practice in LPaaS. In: 2018 IEEE International Conference on Cloud Engineering (IC2E 208), 17–20 April 2018, pp. 292–297. IEEE Computer Society (2018).
  4. 4.
    Calegari, R., Denti, E., Dovier, A., Omicini, A.: Extending logic programming with labelled variables: model and semantics. Fundam. Inform. 161, 53–74 (2018). Special Issue CILC 2016MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Calegari, R., Denti, E., Mariani, S., Omicini, A.: Towards logic programming as a service: experiments in tuProlog. In: Santoro, C., Messina, F., De Benedetti, M. (eds.) WOA 2016 – 17th Workshop “From Objects to Agents”, 29–30 July 2016. CEUR Workshop Proceedings, vol. 1664, pp. 91–99. Sun SITE Central Europe, RWTH Aachen University (2016)., Proceedings of the 17th Workshop “From Objects to Agents” co-located with 18th European Agent Systems Summer School (EASSS 2016)
  6. 6.
    Calegari, R., Denti, E., Mariani, S., Omicini, A.: Logic Programming as a Service (LPaaS): intelligence for the IoT. In: Fortino, G., et al. (eds.) 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017), pp. 72–77. IEEE, May 2017.
  7. 7.
    Calegari, R., Denti, E., Mariani, S., Omicini, A.: Logic programming as a service. Theory Pract. Log. Program. 18(5–6), 846–873 (2018). Special Issue “Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming”MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Calegari, R., Denti, E., Mariani, S., Omicini, A.: Logic programming as a service in multi-agent systems for the Internet of Things. Int. J. Grid Util. Comput. (in press)Google Scholar
  9. 9.
    Castelfranchi, C.: Modelling social action for AI agents. Artif. Intell. 103(1–2), 157–182 (1998). Scholar
  10. 10.
    Ciancarini, P.: Coordination models and languages as software integrators. ACM Comput. Surv. 28(2), 300–302 (1996). Scholar
  11. 11.
    Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: the coordination viewpoint. In: Jennings, N.R., Lespérance, Y. (eds.) ATAL 1999. LNCS (LNAI), vol. 1757, pp. 250–259. Springer, Heidelberg (2000). Scholar
  12. 12.
    Ciatto, G., Mariani, S., Omicini, A., Zambonelli, F., Louvel, M.: Twenty years of coordination technologies: state-of-the-art and perspectives. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 51–80. Springer, Cham (2018). Scholar
  13. 13.
    Crevier, D.: AI: The Tumultuous History of the Search for Artificial Intelligence. Basic Books, New York (1993)Google Scholar
  14. 14.
    Cusumano, M.: Cloud computing and SaaS as new computing platforms. Commun. ACM 53(4), 27–29 (2010). Scholar
  15. 15.
    Denti, E., Natali, A., Omicini, A.: Programmable coordination media. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 274–288. Springer, Heidelberg (1997). Scholar
  16. 16.
    Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC 1998), Atlanta, GA, USA, 27 February–1 March 1998, pp. 169–177. ACM, New York (1998). Special Track on Coordination Models, Languages and Applications
  17. 17.
    Familiar, B.: Microservices, IoT, and Azure: Leveraging DevOps and Microservice Architecture to Deliver SaaS Solutions, 1st edn. Apress, Berkely (2015)CrossRefGoogle Scholar
  18. 18.
    Fortino, G., Guerrieri, A., Russo, W.: Agent-oriented smart objects development. In: 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2012), pp. 907–912. IEEE, May 2012.
  19. 19.
    Gabbay, D.M.: Labelled Deductive Systems, vol. 1. Oxford Logic Guides, vol. 33. Clarendon Press, Oxford (1996).
  20. 20.
    Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985). Scholar
  21. 21.
    Holzbaur, C.: Metastructures vs. attributed variables in the context of extensible unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol. 631, pp. 260–268. Springer, Heidelberg (1992). Scholar
  22. 22.
    Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: Alferes, J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 167–183. Springer, Cham (2016). Scholar
  23. 23.
    Jamont, J.P., Occello, M.: Meeting the challenges of decentralised embedded applications using multi-agent systems. Int. J. Agent-Oriented Softw. Eng. 5(1), 22–68 (2016). Scholar
  24. 24.
    Kato, T., Chiba, R., Takahashi, H., Kinoshita, T.: Agent-oriented cooperation of IoT devices towards advanced logistics. In: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSACW 2015), vol. 3, pp. 223–227, July 2015.
  25. 25.
    Khan, R., Khan, S.U., Zaheer, R., Khan, S.: Future internet: the Internet of Things architecture, possible applications and key challenges. In: 10th International Conference on Frontiers of Information Technology (FIT 2012), pp. 257–260, December 2012.
  26. 26.
    Larrucea, X., Combelles, A., Favaro, J., Taneja, K.: Software engineering for the Internet of Things. IEEE Softw. 34(1), 24–28 (2017). Scholar
  27. 27.
    Loke, S.W.: Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective. Knowl. Eng. Rev. 19(3), 213–233 (2004). Scholar
  28. 28.
    Manzalini, A., Zambonelli, F.: Towards autonomic and situation-aware communication services: the CASCADAS vision. In: IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications (DIS 2006), pp. 383–388, June 2006.
  29. 29.
    Oliya, M., Pung, H.K.: Towards incremental reasoning for context aware systems. In: Abraham, A., Lloret Mauri, J., Buford, J.F., Suzuki, J., Thampi, S.M. (eds.) ACC 2011, Part I. CCIS, vol. 190, pp. 232–241. Springer, Heidelberg (2011). Scholar
  30. 30.
    Omicini, A.: SODA: societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001). Scholar
  31. 31.
    Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97–117 (2007). 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), CONCUR 2006, Bonn, Germany, 31 August 2006. Post-proceedingsCrossRefGoogle Scholar
  32. 32.
    Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277–294 (2001). Scholar
  33. 33.
    Omicini, A., Denti, E., Natali, A.: Agent coordination and control through logic theories. In: Gori, M., Soda, G. (eds.) AI*IA 1995. LNCS, vol. 992, pp. 439–450. Springer, Heidelberg (1995). Scholar
  34. 34.
    Omicini, A., Mariani, S.: Agents & multiagent systems: en route towards complex intelligent systems. Intell. Artif. 7(2), 153–164 (2013). Special Issue Celebrating 25 years of the Italian Association for Artificial IntelligenceCrossRefGoogle Scholar
  35. 35.
    Omicini, A., Ricci, A., Viroli, M.: Agens Faber: toward a theory of artefacts for MAS. Electron. Notes Theor. Comput. Sci. 150(3), 21–36 (2006). Scholar
  36. 36.
    Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Auton. Agents Multi-Agent Syst. 17(3), 432–456 (2008). Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent SystemsCrossRefGoogle Scholar
  37. 37.
    Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286–293. ACM, New York, 19–23 July 2004.
  38. 38.
    Omicini, A., Ricci, A., Zaghini, N.: Distributed workflow upon linkable coordination artifacts. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 228–246. Springer, Heidelberg (2006). Scholar
  39. 39.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Agents Multi-Agent Syst. 2(3), 251–269 (1999). Special Issue: Coordination Mechanisms for Web AgentsCrossRefGoogle Scholar
  40. 40.
    Omicini, A., Zambonelli, F.: MAS as complex systems: a view on the role of declarative approaches. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 1–16. Springer, Heidelberg (2004). Scholar
  41. 41.
    Savaglio, C., Fortino, G., Ganzha, M., Paprzycki, M., Bădică, C., Ivanović, M.: Agent-based computing in the Internet of Things: a survey. In: Ivanović, M., Bădică, C., Dix, J., Jovanović, Z., Malgeri, M., Savić, M. (eds.) IDC 2017. SCI, vol. 737, pp. 307–320. Springer, Cham (2018). Scholar
  42. 42.
    Silver, D., et al.: Mastering the game of Go with deep neural networks and tree search. Nature 529, 484–489 (2016). Scholar
  43. 43.
    Spanoudakis, N., Moraitis, P.: Engineering ambient intelligence systems using agent technology. IEEE Intell. Syst. 30(3), 60–67 (2015). Scholar
  44. 44.
    Tan, L., Wang, N.: Future internet: the Internet of Things. In: 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010), vol. 5, pp. V376–V380, August 2010.
  45. 45.
    Viroli, M., Omicini, A.: Coordination as a service. Fundam. Inform. 73(4), 507–534 (2006). Special Issue: Best papers of FOCLASA 2002MathSciNetzbMATHGoogle Scholar
  46. 46.
    Xiang, C., Li, X.: General analysis on architecture and key technologies about Internet of Things. In: IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012), pp. 325–328, June 2012.
  47. 47.
    Zambonelli, F.: Key abstractions for IoT-oriented software engineering. IEEE Softw. 34(1), 38–45 (2017). Scholar
  48. 48.
    Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Auton. Agents Multi-Agent Syst. 9(3), 253–283 (2004). Special Issue: Challenges for Agent-Based ComputingCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Dipartimento di Informatica — Scienza e Ingegneria (DISI)Alma Mater Studiorum–Università di BolognaBolognaItaly

Personalised recommendations