Abstract: Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (generally, density operators of some Hilbert spaces), which can be stored and transmitted by means of quantum particles. This approach can be applied to a semantic characterization of epistemic logical operations, which may occur in sentences like "At time t0 Bob knows that at time t Alice knows that the spin-value is up". Each epistemic agent (say, Alice, Bob,...) has a characteristic truth-perspective, corresponding to a particular orthonormal basis of the Hilbert space C^2. From a physical point of view, a truth-perspective can be associated to an apparatus that allows one to measure a given observable. An important feature that characterizes the knowledge of any agent is the amount of information that is accessible to him/her (technically, a special set of density operators, which also represents the internal memory of the agent in question). One can prove that interesting epistemic operations are special examples of quantum channels, which generally are not unitary. The act of knowing may involve some intrinsic irreversibility due to possible measurement procedures or to a loss of information about the environment. We also illustrate some relativistic-like effects that arise in the behavior of epistemic agents.
Recommendations
- A quantum computational semantics for epistemic logical operators. I: Epistemic structures
- Epistemic quantum computational structures in a Hilbert-space environment
- A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
- A quantum computational semantics for epistemic logical operators. II: Semantics
- Quantum teleportation and quantum epistemic semantics
Cites work
- A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
- A quantum computational semantics for epistemic logical operators. I: Epistemic structures
- Epistemic quantum computational structures in a Hilbert-space environment
- LOGICS FROM QUANTUM COMPUTATION
- Quantum teleportation and quantum epistemic semantics
- States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
Cited in
(17)- A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
- Strategic knowledge of the past in quantum cryptography
- Quantum mechanics, mathematics, cognition and action. Proposals for a formalized epistemology
- A matrix representation of quantum circuits over non-adjacent qudits
- Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem
- Ontological models with epistemic constraints: local reconstruction of a dual-rail qubit
- Epistemic quantum computational structures in a Hilbert-space environment
- How to spell out the epistemic conception of quantum states
- Quantum aspects of semantic analysis and symbolic artificial intelligence
- Epistemic View of Quantum Communication
- A quantum computational semantics for epistemic logical operators. I: Epistemic structures
- A quantum computational semantics for epistemic logical operators. II: Semantics
- Quantum teleportation and quantum epistemic semantics
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Correlated knowledge: an epistemic-logic view on quantum entanglement
- A logical analysis of quantum voting protocols
- A dynamic-logical perspective on quantum behavior
This page was built for publication: Quantum approach to epistemic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1701677)
