Toward a Smart City Using Tentacular AI
The European Initiative on Smart Cities  is an effort by the European Commission  to improve quality of life throughout Europe, while progressing toward energy and climate objectives. Many of its goals are relevant to and desirable in the world at large. We propose that it is essential that artificial agents in a Smart City have theories of the minds of its inhabitants. We describe a scenario in which such theories are indispensable, and cannot be adequately and usefully captured by current forms of ambient intelligence. Then, we show how a new form of distributed, multi-agent artificial intelligence, Tentacular AI, which among other things entails a capacity for reasoning and planning based in highly expressive cognitive calculi (logics), is able to intelligently address this situation.
KeywordsInternet of Things Artificial intelligence Multi-agent systems
This research is made possible by joint support from RPI and IBM under the AIRC program; we are grateful for this support. Some of the research reported on herein has been enabled by support from ONR and AFOSR, and for this too we are grateful.
- 1.Semantic sensor network ontology (2017). https://www.w3.org/TR/vocab-ssn/. Accessed 7 July 2018
- 2.European initiative on smart cities (2018). https://setis.ec.europa.eu/set-plan-implementation/technology-roadmaps/european-initiative-smart-cities. Accessed 25 June 2018
- 3.Tentacular AI (2018). http://kryten.mm.rpi.edu/TAI/tai.html. Accessed 7 July 2018
- 4.The European Commission’s Priorities (2018). https://ec.europa.eu/commission/index_en. Accessed 25 June 2018
- 7.Bringsjord, S., Licato, J., Govindarajulu, N., Ghosh, R., Sen, A.: Real robots that pass tests of self-consciousness. In: Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2015), pp. 498–504. IEEE, New York (2015)Google Scholar
- 8.Bringsjord, S., Govindaralajulu, N.S., Sen, A., Peveler, M., Srivastava, B., Talamadupula, K.: Tentacular artificial intelligence, and the architecture thereof, introduced. In: To be Presented at the FAIM Workshop on Architectures and Evaluation for Generality, Autonomy & Progress in AI (2018)Google Scholar
- 11.Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68–131, North-Holland, Amsterdam, The Netherlands (1935). This is an English version of the well-known 1935 German versionGoogle Scholar
- 12.Govindarajulu, N.S., Bringsjord, S.: On automating the doctrine of double effect. In: Sierra, C. (ed.) Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-2017, pp. 4722–4730, Melbourne, Australia (2017). https://doi.org/10.24963/ijcai.2017/658, Preprint available at this URL. https://arxiv.org/abs/1703.08922
- 13.Govindarajulu, N.S., Bringsjord, S.: Strength factors: an uncertainty system for a quantified modal logic (2017). https://arxiv.org/abs/1705.10726, Presented at Workshop on Logical Foundations for Uncertainty and Machine Learning at IJCAI 2017, Melbourne, Australia
- 15.Muñoz, A., Botía, J.A.: Developing an intelligent parking management application based on multi-agent systems and semantic web technologies. In: Graña Romay, M., Corchado, E., Garcia Sebastian, M.T. (eds.) Hybrid Artificial Intelligence Systems, pp. 64–72. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13769-3_8CrossRefGoogle Scholar
- 16.Sana, B., Riadh, H., Rafaa, M.: Intelligent parking management system by multi-agent approach: the case of urban area of Tunis. In: 2014 International Conference on Advanced Logistics and Transport (ICALT), pp. 65–71 (2014)Google Scholar