Quantized Mereology

Abstract

This paper investigates quantized mereology, which merges quantum information theory with classical mereology, the formal analysis of the part-whole relationship. It emphasizes that information about crisp mereological relations is captured by classical bits, whereas mereological vagueness involves the use of quantum bits, or qubits, to capture mereological information. Transitioning from classical bits to qubits offers a new understanding of part-whole relations among entities that are subject to mereological vagueness. This paper methodically studies the quantized mereology that arises from the classical RCC5 formalism, one of the most widely studied formalisms in Qualitative Reasoning (QR), a subfield of Artificial Intelligence. The argument is made that this method can be extended to quantize more sophisticated QR formalisms, mirroring how strategies are used in physics to transition from classical to quantum systems. The study explores: (i) the conversion of bits to qubits while understanding that these (qu)bits convey mereological information; (ii) the representation of qubit states via set partitions, acknowledging that set theory aligns more closely with classical logic than with the complex vector spaces employed in quantum physics; (iii) demonstrating that classical QR formalisms can be seen as special cases within quantized formalisms; and (iv) showing that qubits more effectively encapsulate information about vague phenomena.