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

认知逻辑算子的量子计算语义。部分II:语义

A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics

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

摘要:

通过使用本文第一部分中研究的抽象结构,我们开发了一种认知语言的语义,它表达了这样的句子“Alice知道Bob不理解PI是非理性的”。一种是处理量子计算语义的整体形式,其中纠缠起着基本的作用,因此,全局表达式的含义决定了其部分的上下文含义,但通常不是相反。这种语义学所代表的认知情境似乎反映了获取信息的真实过程的某些特征性局限。由于知识一般不封闭在逻辑后果之下,逻辑全知这种令人不快的现象在这里得以避免。

英文摘要:

By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that Bob does not understand that PI is irrational". One is dealing with a holistic form of quantum computational semantics, where entanglement plays a fundamental role, thus, the meaning of a global expression determines the contextual meanings of its parts, but generally not the other way around. The epistemic situations represented in this semantics seem to reflect some characteristic limitations of the real processes of acquiring information. Since knowledge is not generally closed under logical consequence, the unpleasant phenomenon of logical omniscience is here avoided.

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

↑