The project is structured into four main research lines
Design of a formal language and cognitive network surrogates for explicit, structured representation of network state, events, actions, and causal relations.
Development of deductive reasoning mechanisms for multi-step, logic-driven inference, including causal and counterfactual reasoning.
Integration of deductive reasoning with inductive learning, enabling natural language queries and interactive cognitive partnership.
Rigorous theoretical analysis of reasoning correctness, stability, robustness, and new metrics for reasoning quality and explainability.
Ministero dell'Università e della Ricerca
Fondo Italiano per la Scienza
Università degli Studi di Firenze