Welcome to the LUCI Lab

At LUCI we do logic motivated by the goal of understanding reasoning, both human and artificial. We call what we do logics for practical reasoning. The plural is mandatory, as the pursuit of our goal leads  us to investigate a number of topics with a number of techniques.  The adjective “practical” bears a double connotation. First, it suggests that the logic we do is applied to problems of reasoning and decision-making. Second, and more ambitiously, it refers to the fact that whenever possible we aim at building logics representing the sort of reasoning which realistic, as opposed to highly idealised, agents are capable of performing. By the way, we do not think that classical logic is wrong. We use it all the time! We just think it is of limited use as a model of the kind of reasoning we are interested in.

Our core research topics include 

• the connection between information, uncertainty and rationality
• the interaction among rational agents (both human and artificial)
• the formalisation of epistemic, doxastic and dynamic attitudes
• the logical foundations of artificial intelligence

Our preferred research methods and techniques include

• Proof Theories
• Computational Logic
• Probability Logic
• Algebraic logic and Many-valued Logics
• Modal Logics

Current research projects

Practical Reasoning for Human-Centred AI, funded by University of Milan through NextGenerationEU Project (Scientific Supervisor: Hykel Hosni) 

PRIN2020 (2020SSKZ7R) Bias Risk and Opacity in AI (PI: Giuseppe Primiero)

Foundations of Fair and Trustworthy AI, funded by Department of Philosophy, University of Milan (Scientific Supervisors: Giuseppe Primiero, Marcello D’Agostino)

MOSAIC Marie Sklodowska-Curie RISE (Local Coordinaton: Hykel Hosni)

2020-2023 Foundations, Applications & Theory of Inductive Logic  (funded through a DFG Scientific Networks Grant, PI: Juergen Landes) 

PRIN2017 Logic and Cognition (Local Coordinator: Marcello D’Agostino)

We are always interested in hearing from talented PhD students and early stage researchers, so if you work in a field of interest to LUCI please get in touch.

To subscribe to our newsletter please write to luci@unimi.it.