arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1602.07514quant-ph
收藏

认知逻辑算子的量子计算语义。第一部分认知结构

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

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

摘要:

认知逻辑的一些关键的开放问题可以在量子计算方法的框架下进行研究。其基本思想是将句子--比如爱丽丝知道鲍勃不理解π是无理数--解释为量子信息(通常由方便的希尔伯特空间的密度算符表示)。逻辑认知算子(理解,知道……)被处理为(通常不可逆的)量子操作,在某种意义上,类似于测量程序。这种方法使我们能够模拟一些特征的认知过程,涉及人类和人工智能。例如,\memorizing的操作和"检索信息”可以在这个框架中通过使用量子隐形传态现象来形式化地表示。

英文摘要:

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

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑