Abstract | ||
---|---|---|
Quantum computation and quantum computational logics are intrinsically connected with some puzzling epistemic problems. In the framework of a quantum computational approach to epistemic logic we investigate the following question: is it possible to interpret the basic epistemic operations (having information, knowing) as special kinds of Hilbert-space operations? We show that non-trivial knowledge operations cannot be represented by unitary operators. We introduce the notions of strong epistemic quantum computational structure and of epistemic quantum computational structure, where knowledge operations are identified with special examples of quantum operations. This represents the basic tool for developing an epistemic quantum computational semantics, where epistemic sentences (like “Alice knows that the spin-value in the x-direction is up”) are interpreted as quantum pieces of information that may be stored by quantum objects. |
Year | DOI | Venue |
---|---|---|
2012 | 10.3233/FI-2012-637 | Fundam. Inform. |
Keywords | Field | DocType |
quantum object,strong epistemic quantum computational,basic epistemic operation,quantum operation,quantum computational approach,quantum computation,epistemic quantum computational structure,epistemic quantum computational semantics,quantum computational logic,epistemic quantum computational structures,quantum piece,hilbert-space environment | Epistemic modal logic,Hilbert space,Quantum,Algebra,Computational semantics,Quantum computer,Unitary state,Operator (computer programming),Quantum information science,Epistemology,Mathematics | Journal |
Volume | Issue | ISSN |
115 | 1 | 0169-2968 |
Citations | PageRank | References |
2 | 0.70 | 2 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Enrico Beltrametti | 1 | 2 | 0.70 |
Maria Luisa Dalla Chiara | 2 | 32 | 10.24 |
Roberto Giuntini | 3 | 118 | 26.43 |
Roberto Leporini | 4 | 22 | 6.57 |
Giuseppe Sergioli | 5 | 23 | 11.03 |