Advertisement

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)

Abstract

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.

Keywords

Pervasive system MMAS Micro-intelligence Logic-based LPaaS 

References

  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).  https://doi.org/10.6092/unibo/amsdottorato/8521
  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).  https://doi.org/10.1109/IC2E.2018.00061
  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).  https://doi.org/10.3233/FI-2018-1695. 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). http://ceur-ws.org/Vol-1664/w14.pdf, 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.  https://doi.org/10.1109/ICNSC.2017.8000070
  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).  https://doi.org/10.1017/S1471068418000364. 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).  https://doi.org/10.1016/S0004-3702(98)00056-3CrossRefzbMATHGoogle Scholar
  10. 10.
    Ciancarini, P.: Coordination models and languages as software integrators. ACM Comput. Surv. 28(2), 300–302 (1996).  https://doi.org/10.1145/234528.234732CrossRefGoogle 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).  https://doi.org/10.1007/10719619_19CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-92408-3_3CrossRefGoogle 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).  https://doi.org/10.1145/1721654.1721667CrossRefGoogle 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).  https://doi.org/10.1007/3-540-63383-9_86CrossRefGoogle 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).  https://doi.org/10.1145/330560.330665. 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.  https://doi.org/10.1109/CSCWD.2012.6221929
  19. 19.
    Gabbay, D.M.: Labelled Deductive Systems, vol. 1. Oxford Logic Guides, vol. 33. Clarendon Press, Oxford (1996). http://global.oup.com/academic/product/labelled-deductive-systems-9780198538332
  20. 20.
    Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985).  https://doi.org/10.1145/2363.2433CrossRefzbMATHGoogle 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).  https://doi.org/10.1007/3-540-55844-6_141CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-42019-6_11CrossRefGoogle 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).  https://doi.org/10.1504/IJAOSE.2015.078435CrossRefGoogle 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.  https://doi.org/10.1109/COMPSAC.2015.237
  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.  https://doi.org/10.1109/FIT.2012.53
  26. 26.
    Larrucea, X., Combelles, A., Favaro, J., Taneja, K.: Software engineering for the Internet of Things. IEEE Softw. 34(1), 24–28 (2017).  https://doi.org/10.1109/MS.2017.28CrossRefGoogle 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).  https://doi.org/10.1017/S0269888905000263CrossRefGoogle 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.  https://doi.org/10.1109/DIS.2006.71
  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).  https://doi.org/10.1007/978-3-642-22709-7_24CrossRefGoogle 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).  https://doi.org/10.1007/3-540-44564-1_12CrossRefGoogle Scholar
  31. 31.
    Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97–117 (2007).  https://doi.org/10.1016/j.entcs.2007.03.006. 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).  https://doi.org/10.1016/S0167-6423(01)00011-9CrossRefzbMATHGoogle 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).  https://doi.org/10.1007/3-540-60437-5_43CrossRefGoogle Scholar
  34. 34.
    Omicini, A., Mariani, S.: Agents & multiagent systems: en route towards complex intelligent systems. Intell. Artif. 7(2), 153–164 (2013).  https://doi.org/10.3233/IA-130056. 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).  https://doi.org/10.1016/j.entcs.2006.03.003CrossRefGoogle 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).  https://doi.org/10.1007/s10458-008-9053-x. 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.  https://doi.org/10.1109/AAMAS.2004.10070
  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).  https://doi.org/10.1007/11767954_15CrossRefGoogle Scholar
  39. 39.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Agents Multi-Agent Syst. 2(3), 251–269 (1999).  https://doi.org/10.1023/A:1010060322135. 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).  https://doi.org/10.1007/978-3-540-25932-9_1CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-66379-1_27CrossRefGoogle Scholar
  42. 42.
    Silver, D., et al.: Mastering the game of Go with deep neural networks and tree search. Nature 529, 484–489 (2016).  https://doi.org/10.1038/nature16961CrossRefGoogle Scholar
  43. 43.
    Spanoudakis, N., Moraitis, P.: Engineering ambient intelligence systems using agent technology. IEEE Intell. Syst. 30(3), 60–67 (2015).  https://doi.org/10.1109/MIS.2015.3CrossRefGoogle 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.  https://doi.org/10.1109/ICACTE.2010.5579543
  45. 45.
    Viroli, M., Omicini, A.: Coordination as a service. Fundam. Inform. 73(4), 507–534 (2006). http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04. 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.  https://doi.org/10.1109/ICSESS.2012.6269471
  47. 47.
    Zambonelli, F.: Key abstractions for IoT-oriented software engineering. IEEE Softw. 34(1), 38–45 (2017).  https://doi.org/10.1109/MS.2017.3CrossRefGoogle 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).  https://doi.org/10.1023/B:AGNT.0000038028.66672.1e. 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