nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

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

verfasst von : Andrea Omicini, Roberta Calegari

Erschienen in: Massively Multi-Agent Systems II

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Distributed Speaking Objects: A Case for Massive Multiagent Systems

Nächstes Kapitel Integrating Internet of Services and Internet of Things from a Multiagent Perspective

Brownlee, J.: Clever Algorithms: Nature-inspired Programming Recipes (2011)

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

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

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 2016MathSciNetCrossRefMATH

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)

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

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”MathSciNetCrossRefMATH

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)

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-3CrossRefMATH

10.

Ciancarini, P.: Coordination models and languages as software integrators. ACM Comput. Surv. 28(2), 300–302 (1996). https://doi.org/10.1145/234528.234732CrossRef

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_19CrossRef

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_3CrossRef

13.

Crevier, D.: AI: The Tumultuous History of the Search for Artificial Intelligence. Basic Books, New York (1993)

14.

Cusumano, M.: Cloud computing and SaaS as new computing platforms. Commun. ACM 53(4), 27–29 (2010). https://doi.org/10.1145/1721654.1721667CrossRef

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_86CrossRef

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.

Familiar, B.: Microservices, IoT, and Azure: Leveraging DevOps and Microservice Architecture to Deliver SaaS Solutions, 1st edn. Apress, Berkely (2015)CrossRef

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.

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.

Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985). https://doi.org/10.1145/2363.2433CrossRefMATH

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_141CrossRef

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_11CrossRef

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.078435CrossRef

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.

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.

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.28CrossRef

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/S0269888905000263CrossRef

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.

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_24CrossRef

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_12CrossRef

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-proceedingsCrossRef

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-9CrossRefMATH

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_43CrossRef

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 IntelligenceCrossRef

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.003CrossRef

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 SystemsCrossRef

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.

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_15CrossRef

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 AgentsCrossRef

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_1CrossRef

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_27CrossRef

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/nature16961CrossRef

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.3CrossRef

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.

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 2002MathSciNetMATH

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.

Zambonelli, F.: Key abstractions for IoT-oriented software engineering. IEEE Softw. 34(1), 38–45 (2017). https://doi.org/10.1109/MS.2017.3CrossRef

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 ComputingCrossRef

Titel: Injecting (Micro)Intelligence in the IoT: Logic-Based Approaches for (M)MAS
verfasst von: Andrea Omicini
Roberta Calegari
Verlag: Springer International Publishing
Buch: Massively Multi-Agent Systems II
Print ISBN: 978-3-030-20936-0

Electronic ISBN: 978-3-030-20937-7

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-20937-7_2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"