UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO INSTITUTO DE INVESTIGACIONES FILOSÓFICAS

Aldo Iván Ramírez Abarca es especialista en métodos formales para IA responsable. Nació el 5 de marzo de 1987 en la Ciudad de México, México. Después de obtener una licenciatura en Matemáticas en la Universidad Nacional Autónoma de México (UNAM) en 2012, obtuvo una maestría en Lógica en el Instituto de Lógica, Lenguaje y Computación (ILLC), Universidad de Ámsterdam, en 2015. Durante sus estudios, se especializó en Topología, Análisis, Lógica (específicamente lógica modal epistémica) y Álgebra. Para su tesis de maestría, desarrolló lógicas sólidas y completas de conocimiento grupal y creencias sobre modelos topológicos, bajo la tutela del Dr. Alexandru Baltag. Comenzó su trabajo de doctorado en la Universidad de Utrecht en agosto de 2016 en el proyecto de investigación titulado 'Sistemas Inteligentes Responsables,' que fue dirigido por el Prof. Jan Broersen y financiado por el Consejo Europeo de Investigación. Como parte de su investigación doctoral, desarrolló lógicas correctas y completas de agencia, conocimiento práctico, elección basada en creencias, obligación, intencionalidad y responsabilidad. El objetivo era proporcionar fundamentos teóricos para técnicas simbólicas en el desarrollo de IA ética. Más recientemente, ha trabajado en la explicabilidad y verificación de la IA subsimbólica, en el contexto de mejorar la transparencia y la rendición de cuentas de los sistemas de IA. Ha impartido cursos sobre matemáticas, lógica, inteligencia artificial y filosofía, y ha publicado en actas de congresos y revistas académicas. Sus intereses de investigación incluyen la IA simbólica (IA responsable, modelado basado en agentes, representación del conocimiento, sistemas multiagente, verificación de modelos, aprendizaje automático explicable), lógica (lógica de acción, lógica epistémica, lógica doxástica, lógica deóntica) y filosofía formal (teoría epistémica de juegos, teoría de la decisión). Fue parte de la división de investigación y desarrollo en IA generativa de la empresa Wizeline y ha fungido como consultor en IA responsable para las empresas Neuforce.ai y  PIT Policy Lab.

Peer-Reviewed Publications

• Abarca, A. I. R. (2023). A logic-based analysis of responsibility. Electronic Proceedings in Theoretical Computer Science, 379, 470–486, doi:10.4204/Eptcs.379.36.
   
• Abarca, A. I. R. (2023). Logics of Responsibility (Doctoral Dissertation). doi:10.33540/1822.

• Abarca, A. I. R., & Broersen, J (2023). A stit logic of intentionality. In: Areces, C., Costa, D. (eds) Dynamic Logic. New Trends and Applications. DaLí 2022. Lecture Notes in Computer Science, vol 13780. Springer, 125–153. doi:10.1007/978-3-031-26622-5_8.

• Abarca, A. I. R., & Broersen, J. (2022). A stit logic of responsibility. In Proceedings of the 21st international conference on autonomous agents and multiagent systems (pp. 1717–1719). https:// dl.acm.org/doi/10.5555/3535850.3536087.

• Abarca, A. I. R., & Broersen, J. (2021b). Stit semantics for epistemic notions based on information disclosure in interactive settings. Journal of Logical and Algebraic Methods in Programming, 123, 100708. doi:10.1016/j.jlamp.2021.100708.

• Abarca, A. I. R., & Broersen, J. (2021a). A deontic stit logic based on beliefs and expected utility. Electronic Proceedings in Theoretical Computer Science, 335, 281–294. doi:10.4204%2Feptcs.335.27.

• Abarca, A. I. R., & Broersen, J. (2019b). Stit semantics for epistemic notions based on information disclosure in interactive settings. In International workshop on dynamic logic (pp. 171–189). doi:10.1007/978-3-030-38808-9_11.

• Abarca, A. I. R., & Broersen, J. (2019a). A logic of objective and subjective oughts. In European conference on logics in artificial intelligence (pp. 629–641). doi:10.1007/978-3-030-19570-0_41.

• Abarca, A. I. R. (2015). Topological Models for Group Knowledge and Belief (MSc Thesis, Universiteit van Amsterdam). https://eprints.illc.uva.nl/id/eprint/2250

• Broersen, J., & Abarca, A. I. R. (2018b). Knowledge and subjective oughts in stit logic. In Proceedings of DEON (pp. 51–69). https://dblp.uni-trier.de/rec/conf/deon/BroersenA18.html.

• Broersen, J., & Abarca, A. I. R. (2018a). Formalising oughts and practical knowledge without resorting to action types. In Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (pp. 1877–1879). https://dl.acm.org/doi/abs/10.5555/3237383.3238009.

• Duijf, H., Broersen, J., Kuncová, A., & Abarca, A. I. R. (2021).  Doing without action types.  The  Review of Symbolic Logic, 14(2), 380–410. doi:10.1017/S1755020320000362.

• Kuncová, A., Broersen, J., Duijf, H., & Abarca, A. I. R. (2025). Ability and knowledge: from epistemic transition systems to labelled stit models. Autonomous Agents and Multi-Agent Systems, 39(1), 2. doi:10.1007/s10458-024-09661-w.

Other Publications

• “A logic-based analysis of responsibility” - TARK conference poster, 2023.

• “A deontic logic based on beliefs and expected utility” - TARK conference poster, 2021.

• “A logic of subjective and objective ought-to-do’s” - JELIA conference poster (University of Calabria, Rende, Italy), 2019.

• “Oughts in symbolic AI” - REINS conference (Utrecht University, Utrecht, The Netherlands), 2019.

• “Knowledge and subjective oughts” - DEON conference poster (Utrecht University, Utrecht, The Netherlands), 2018.

• “Formalising oughts and practical knowledge without resorting to action types” - Current Trends in Deontic Logic poster (Bratislava, Slovakia), 2017.