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

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 o...

Full description

Saved in:
Bibliographic Details
Published in:International journal of theoretical physics 2014-10, Vol.53 (10), p.3279-3292
Main Authors: Beltrametti, Enrico, Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Roberto, Sergioli, Giuseppe
Format: Article
Language:English
Subjects:
Elementary Particles
Mathematical and Computational Physics
Physics
Physics and Astronomy
Quantum Field Theory
Quantum Physics
Theoretical
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0020-7748
1572-9575
DOI:10.1007/s10773-013-1642-z