International Journal of Theoretical Physics

, Volume 53, Issue 10, pp 3279–3292 | Cite as

A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures

  • Enrico Beltrametti
  • Maria Luisa Dalla Chiara
  • Roberto Giuntini
  • Roberto Leporini
  • Giuseppe Sergioli


Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences like “Alice knows that Bob does not understand that π is irrational” as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to know…) are dealt with as (generally irreversible) quantum operations, which are, in a sense, similar to measurement-procedures. This approach permits us to model some characteristic epistemic processes, that concern both human and artificial intelligence. For instance, the operation of “memorizing and retrieving information” can be formally represented, in this framework, by using a quantum teleportation phenomenon.


Truth perspectives Epistemic structure Quantum channel 


  1. 1.
    Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: Epistemic quantum computational structures in a Hilbert-space environment. Fundam. Inform. 115, 1–14 (2012). doi: 10.3233/FI-2012-637 MATHMathSciNetGoogle Scholar
  2. 2.
    Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Sergioli, G.: Quantum teleportation and quantum epistemic semantics. Math. Slovaca 62, 1–24 (2012) CrossRefMathSciNetADSGoogle Scholar
  3. 3.
    Chiribella, G., D’Ariano, G.M., Perinotti, P.: Transforming quantum operations: quantum supermaps. Europhys. Lett. 83, 1–6 (2008) CrossRefGoogle Scholar
  4. 4.
    Dalla Chiara, M.L., Freytes, H., Giuntini, R., Ledda, A., Leporini, R., Sergioli, G.: Entanglement as a semantic resource. Found. Phys. 40, 1494–1518 (2011) CrossRefADSGoogle Scholar
  5. 5.
    Fan, H.-y., Hu, L.-y.: Infinite-dimensional Kraus operators for describing amplitudue-damping channel and laser process. Opt. Commun. 282, 932–935 (2009) CrossRefADSGoogle Scholar
  6. 6.
    Kraus, K.: States, Effects and Operations. Springer, Berlin (1983) MATHGoogle Scholar
  7. 7.
    Leporini, R., Sergioli, G.: Quantum channels and knowledge operations (submitted) Google Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  • Enrico Beltrametti
    • 1
  • Maria Luisa Dalla Chiara
    • 2
  • Roberto Giuntini
    • 3
  • Roberto Leporini
    • 4
  • Giuseppe Sergioli
    • 3
  1. 1.Dipartimento di FisicaUniversità di GenovaGenovaItaly
  2. 2.Dipartimento di FilosofiaUniversità di FirenzeFirenzeItaly
  3. 3.Dipartimento di FilosofiaUniversità di CagliariCagliariItaly
  4. 4.Dipartimento di IngegneriaUniversità di BergamoDalmineItaly

Personalised recommendations