Research

Logics for trustworthy digital copies

To explore digital simulations, LUCI investigates the concepts of copy, replica, and digital counterpart. A central question is how to define logical criteria for the trustworthiness of a digital copy of a physical system.

Transparent cases

When a system is transparent, the copy can be assessed against theoretical expectations and formal behavioural constraints.

Opaque cases

When source code or internal mechanisms are inaccessible, trustworthiness must often be checked by comparing observed frequencies and outcomes rather than theoretical structure alone.

Weak reliability criteria

In many applications the copy need not match every feature of the target system. Trust can depend on preserving the right level of granularity for the task at hand.