Can We Make Sense of Relational Quantum Mechanics?

Can We Make Sense of the Notion of Trustworthy Technology?

In this paper we raise the question whether technological artifacts can properly speaking be trusted or said to be trustworthy. First, we set out some prevalent accounts of trust and trustworthiness and explain how they compare with the engineer’s notion of reliability. We distinguish between pure rational-choice accounts of trust, which do not differ in principle from mere judgments of reliabi...

Events Can Make Sense

Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associated with other event libraries. Like threaded code, tamed code uses standard control flow, automatically-managed local variables, and modular interfaces between callers and callees. Tame’s implementation consists of C++ lib...

Relational Quantum Mechanics

Relational Quantum Mechanics

In this internship report, we present Carlo Rovelli’s relational interpretation of quantum mechanics, focusing on its historical and conceptual roots. A critical analysis of the Einstein-Podolsky-Rosen argument is then put forward, which suggests that the phenomenon of ‘quantum non-locality’ is an artifact of the orthodox interpretation, and not a physical effect. A speculative discussion of th...

Can We (and Should We) Make Formal Sense of General Knowledge Expressed in Ordinary Language?

It has generally been assumed that the knowledge employed by an AI reasoning system needs to be in an unambiguous, formally interpretable form. From that perspective, general knowledge expressed in ordinary language (e.g., “dogs bark”) is unacceptably ambiguous and incomplete. However, we can achieve at least a partial transformation of such knowledge into formal, generically quantified sentenc...