Page
Logic
At LUCI Lab, logic is primarily a research mindset. We are inspired by, and seek to contribute to, the most pressing questions arising in science and technology. We are witnessing the coming of age of data-intensive and AI-driven science.
Research
Research
At LUCI Lab, logic is primarily a research mindset. We ask what should follow from data-driven knowledge while it is still in the making.
Our work develops logical tools for uncertainty, computation, and information, with a special focus on scientific inference, trustworthy digital systems, and fair AI.
Page
Uncertainty
What general criteria of validity can be put forward to allow humans, institutions, and machines to make inferences from uncertain premisses? At LUCI Lab we apply the most advanced tools and techniques from quantitative and qualitative representations of uncertainty.
Page
Computation
In the hands of Frege, Russell and then Hilbert, the scope of logic was circumscribed to mathematical proof. As that golden age came to a close, one of its offshoots — computer science — ignited the socio-technological revolution that led to our present information society.
Page
Logic and bounded rationality
Approximating ideal logics to model the deductive power of resource-bounded agents.
Page
Logic for scientific inference
Logical methods for uncertainty, evidence, and trustworthy inference in data-driven science.
Page
Logics for algorithmic bias detection and mitigation
Formal tools for identifying, comparing, and mitigating bias in machine-learning systems.
Page
Logics for trustworthy digital copies
Criteria for assessing the trustworthiness of digital counterparts, simulations, and opaque systems.