CERNAI - Center for Reasoning, Normativity and AI
About
Updated 05/18/26Based at the University of Pavia, CERNAI brings together researchers in legal theory, formal logic, ethics, cognitive science and AI to study how human and machine agents reason from cases to principles, act under uncertainty and justify decisions within normative systems. Its core research programs cover foundations of reasoning and hyperintensional logic, generic reasoning in law and science, genericity-aware AI alignment and explainable AI reasoning, law-following AI agents, and formal models of agentic and existential risk.
Theory of Change
CERNAI aims to develop formal and conceptual accounts of generic reasoning and normativity and apply them to artificial intelligence and legal systems, so that AI agents reason with human-like generalizations, follow legal and ethical norms, and reduce agentic and existential risks. It pursues this by combining foundational work in hyperintensional and non-deductive logic with interdisciplinary collaborations in law, philosophy and AI, and by training researchers who can carry these methods into AI governance and system design.
Discussion
No comments yet. Be the first to share your thoughts.
Details
- Start Date
- Oct 29, 2025
- End Date
- -
- Expected Duration
- -
- Funding Raised to Date
- -