This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems. Key questions to be addressed include: What epistemological criteria should we use to evaluate current AI methods, such as machine learning and deep learning? What are the main components of an AI system, and what are its primary relationships with the humans or groups it interacts with? How can we represent these elements effectively? What role can logic play in investigating new AI-based technologies? Additionally, we will examine how these conceptual tools might help mitigate bias and manage risks in sensitive fields where AI is deployed.

Speakers
Christian J. Feldbacher-Escamilla (University of Cologne)
Roberta Ferrario (Laboratory for Applied Ontology – CNR)
Ekaterina Kubyshkina (University of Milan)
Catia Pesquita (University of Lisbon)
Giuseppe Primiero (University of Milan)
Camilla Quaresmini (Politecnico di Milano)

Programme
9:45 – 10:00 Opening
10:00 – 10:50 Roberta Ferrario (Laboratory for Applied Ontology – CNR)
Formal Ontologies: Enhancing computer-mediated communication between humans
10:50 – 11:20 Coffee break
11:20 – 12:10 Giuseppe Primiero (University of Milan)
Verification of trustworthiness for non-deterministic computations and their copies
12:10 – 13:00 Catia Pesquita (University of Lisbon)
Neuro-symbolic AI and Scientific Discovery
13:00 – 14:30 Lunch
14:30 – 15:20 Camilla Quaresmini (Politecnico di Milano)
Mitigating bias in AI: The case of gender and epistemic diversity
15:20 – 16:10 Christian J. Feldbacher-Escamilla (University of Cologne)
AI for a Social World – A Social World for AI
16:10 – 16:40 Coffee break
16:40 – 17:30 Ekaterina Kubyshkina (University of Milan)
Hyperintensional trust in AI

Zoom link
https://videoconf-colibri.zoom.us/j/98583273013?pwd=nOgE2FD8ACkpPqCQjAbZEz6lW3SWSa.1
Password: 083845