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

作者:Beltrametti Enrico; Chiara Maria Luisa Dalla; Giuntini Roberto; Leporini Roberto; Sergioli Giuseppe*
来源:International Journal of Theoretical Physics, 2014, 53(10): 3279-3292.
DOI:10.1007/s10773-013-1642-z

摘要

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 %26quot;Alice knows that Bob does not understand that pi is irrational%26quot; as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to knowaEuro broken vertical bar) 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 %26quot;memorizing and retrieving information%26quot; can be formally represented, in this framework, by using a quantum teleportation phenomenon.

  • 出版日期2014-10