Abstract
Multi-Agent Systems (MAS) are popular because they provide a paradigm that naturally meets the current demand to design and implement distributed intelligent systems. When developing a multi-agent application, it is common to use ontologies to provide the domain-specific knowledge and vocabulary necessary for agents to achieve the system goals. In this paper, we propose an approach in which agents can query semantic reasoners and use the received inferences to build explanations for such reasoning. Also, thanks to an internal representation of inference rules used to build explanations, in the form of argumentation schemes, agents are able to reason and make decisions based on the answers from the semantic reasoner. Furthermore, agents can communicate the built explanation to other agents and humans, using computational or natural language representations of arguments. Our approach paves the way towards multi-agent systems able to provide explanations from the reasoning carried out by semantic reasoners.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Note that argumentation schemes are modelled as agents beliefs, and the annotation [as(as_name)] is used to distinguish argumentation schemes from other beliefs.
- 2.
- 3.
Frequently, they are not easily understood even by users of those technologies.
- 4.
- 5.
- 6.
All rules are available at https://github.com/DeboraEngelmann/explaining-ontological-reasoning/blob/main/base_rules.md.
- 7.
We omitted the premises of argumentation schemes we did not present in this paper. All argumentation schemes are available in the GitHub repository.
References
Akata, Z., et al.: A research agenda for hybrid intelligence: augmenting human intellect with collaborative, adaptive, responsible, and explainable artificial intelligence. Computer 53(8), 18–28 (2020)
Baskar, J., Janols, R., Guerrero, E., Nieves, J.C., Lindgren, H.: A multipurpose goal model for personalised digital coaching. In: Montagna, S., Abreu, P.H., Giroux, S., Schumacher, M.I. (eds.) A2HC/AHEALTH 2017. LNCS (LNAI), vol. 10685, pp. 94–116. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-70887-4_6
Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F.: Multi-Agent Programming: Languages, Tools and Applications. Springer, Heidelberg (2009)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Hoboken (2007)
Cheng, C.Y., Qian, X., Tseng, S.H., Fu, L.C.: Recommendation dialogue system through pragmatic argumentation. In: 2017 26th IEEE International Symposium on Robot and Human Interactive Communication, pp. 335–340. IEEE (2017)
De Nicola, A., Villani, M.L.: Smart city ontologies and their applications: a systematic literature review. Sustainability 13(10), 5578 (2021)
Donadello, I., Dragoni, M., Eccher, C.: Explaining reasoning algorithms with persuasiveness: a case study for a behavioural change system. In: Proceedings of the 35th Annual ACM Symposium on Applied Computing, pp. 646–653 (2020)
Engelmann, D., Couto, J., Gabriel, V., Vieira, R., Bordini, R.: Towards an ontology to support decision-making in hospital bed allocation. In: Proceedings of 31st International Conference on Software Engineering & Knowledge Engineering, pp. 71–74 (2019)
Engelmann, D., et al.: Dial4JaCa – a demonstration. In: Dignum, F., Corchado, J.M., De La Prieta, F. (eds.) PAAMS 2021. LNCS (LNAI), vol. 12946, pp. 346–350. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-85739-4_29
Engelmann, D., et al.: Dial4JaCa – a communication interface between multi-agent systems and chatbots. In: Dignum, F., Corchado, J.M., De La Prieta, F. (eds.) PAAMS 2021. LNCS (LNAI), vol. 12946, pp. 77–88. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-85739-4_7
Engelmann, D.C., Cezar, L.D., Panisson, A.R., Bordini, R.H.: A conversational agent to support hospital bed allocation. In: Britto, A., Valdivia Delgado, K. (eds.) BRACIS 2021. LNCS (LNAI), vol. 13073, pp. 3–17. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-91702-9_1
Engelmann, D.C.: An interactive agent to support hospital bed allocation based on plan validation. Dissertation, PUCRS (2019)
Freitas, A., Panisson, A.R., Hilgert, L., Meneguzzi, F., Vieira, R., Bordini, R.H.: Integrating ontologies with multi-agent systems through CArtAgO artifacts. In: 2015 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) (2015)
Freitas, A., Panisson, A.R., Hilgert, L., Meneguzzi, F., Vieira, R., Bordini, R.H.: Applying ontologies to the development and execution of multi-agent systems. In: Web Intelligence, vol. 15, pp. 291–302. IOS Press (2017)
Freitas, A., Schmidt, D., Panisson, A., Bordini, R.H., Meneguzzi, F., Vieira, R.: Applying ontologies and agent technologies to generate ambient intelligence applications. In: Koch, F., Meneguzzi, F., Lakkaraju, K. (eds.) AVSA CARE 2014. CCIS, vol. 498, pp. 22–33. Springer, Cham (2014). https://doi.org/10.1007/978-3-662-46241-6_3
Grando, A., Moss, L., Bel-Enguix, G., Jiménez-López, M.D., Kinsella, J.: Argumentation-based dialogue systems for medical training. In: Neustein, A., Markowitz, J. (eds.) Where Humans Meet Machines, pp. 213–232. Springer, New York (2013). https://doi.org/10.1007/978-1-4614-6934-6_10
Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)
Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing? Int. J. Hum. Comput. Stud. 43(5), 907–928 (1995)
da Silveira Grübler, M., da Costa, C.A., Righi, R., Rigo, S., Chiwiacowsky, L.: A hospital bed allocation hybrid model based on situation awareness. Comput. Inform. Nurs. 36, 249–255 (2018)
Gunning, D., Stefik, M., Choi, J., Miller, T., Stumpf, S., Yang, G.Z.: XAI-explainable artificial intelligence. Sci. Robot. 4(37) (2019)
Kökciyan, N., et al.: A collaborative decision support tool for managing chronic conditions. In: MedInfo, pp. 644–648 (2019)
Li, W., Tropea, G., Abid, A., Detti, A., Le Gall, F.: Review of standard ontologies for the web of things. In: 2019 Global IoT Summit (GIoTS), pp. 1–6 (2019)
Mascardi, V., Ancona, D., Bordini, R.H., Ricci, A.: CooL-AgentSpeak: enhancing AgentSpeak-DL agents with plan exchange and ontology services. In: 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, vol. 2, pp. 109–116. IEEE (2011)
Moreira, Á.F., Vieira, R., Bordini, R.H., Hübner, J.F.: Agent-oriented programming with underlying ontological reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 155–170. Springer, Heidelberg (2006). https://doi.org/10.1007/11691792_10
O’Connor, M.: The semantic web rule (2009)
Panisson, A.R., Bordini, R.H.: Knowledge representation for argumentation in agent-oriented programming languages. In: 2016 Brazilian Conference on Intelligent Systems, BRACIS (2016)
Panisson, A.R., Bordini, R.H.: Uttering only what is needed: enthymemes in multi-agent systems. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 1670–1672. International Foundation for Autonomous Agents and Multiagent Systems (2017)
Panisson, A.R., Bordini, R.H.: Towards a computational model of argumentation schemes in agent-oriented programming languages. In: International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) (2020)
Panisson, A.R., Engelmann, D.C., Bordini, R.H.: Engineering explainable agents: an argumentation-based approach. In: Alechina, N., Baldoni, M., Logan, B. (eds.) EMAS 2021. LNCS, vol. 13190, pp. 273–291. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-97457-2_16
Panisson, A.R., et al.: Arguing about task reallocation using ontological information in multi-agent systems. In: 12th International Workshop on Argumentation in Multiagent Systems, vol. 108 (2015)
Panisson, A.R., McBurney, P., Bordini, R.H.: A computational model of argumentation schemes for multi-agent systems. Argument Comput. 1–39 (2021)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0031845
Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agent. Multi-Agent Syst. 23(2), 158–192 (2011)
Ricci, A., Viroli, M., Omicini, A.: CArtAgO: an infrastructure for engineering computational environments in MAS. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS), pp. 102–119 (2006)
Schmidt, D., Panisson, A.R., Freitas, A., Bordini, R.H., Meneguzzi, F., Vieira, R.: An ontology-based mobile application for task managing in collaborative groups. In: Florida Artificial Intelligence Research Society Conference (2016)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)
Tapia-Leon, M., Rivera, A.C., Chicaiza, J., Luján-Mora, S.: Application of ontologies in higher education: a systematic mapping study. In: 2018 IEEE Global Engineering Education Conference (EDUCON), pp. 1344–1353 (2018)
Vieira, R., Abdalla, D.S., Silva, D.M., Santana, M.R.: Web Semântica: Ontologias, Lógica de Descrição e Inferência, pp. 127–167. SBC (2005)
Walton, D., Reed, C., Macagno, F.: Argumentation Schemes. Cambridge University Press, Cambridge (2008)
Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, Hoboken (2009)
Acknowledgements
This research was partially funded by CNPq and CAPES.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ferreira, C.E.A., Panisson, A.R., Engelmann, D.C., Vieira, R., Mascardi, V., Bordini, R.H. (2022). Explaining Semantic Reasoning Using Argumentation. In: Dignum, F., Mathieu, P., Corchado, J.M., De La Prieta, F. (eds) Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection. PAAMS 2022. Lecture Notes in Computer Science(), vol 13616. Springer, Cham. https://doi.org/10.1007/978-3-031-18192-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-18192-4_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-18191-7
Online ISBN: 978-3-031-18192-4
eBook Packages: Computer ScienceComputer Science (R0)