LOGSI si pone l’obiettivo di investigare le logiche sottostanti a diversi tipi di inferenza scientifica e di produrre framework basati sulla teoria dell’argomentazione logica da essere usati nel campo di eXplainable Artificial Intelligence (XAI). Durante il progetto visiterò periodicamente il IIIA-CSIC di Barcellona così da ampliare la mia rete di collaborazione. I risultati della ricerca saranno presentati alle principali conferenze pertinenti all'argomento del progetto (PROGIC, ECSQARU, ISIPTA o, più orientate all'AI, LORI e KR). Al completamento di ogni obiettivo di ricerca prevedo di scrivere un articolo destinato alle principali riviste dell'area (ad esempio, Annals of Pure and Applied Logic, International Journal of Approximate Reasoning, Journal of Logic and Computation). Le pubblicazioni prodotte durante il progetto saranno disponibili attraverso sistemi di Open Access. Per raggiungere un pubblico più ampio prevedo di organizzare seminari e un workshop destinati a ricercatori e a studenti presso l’Università di Milano e l’istituto IIIA-CSIC di Barcellona.