...
【24h】

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

机译:认知逻辑运算符的量子计算语义学。第二部分:语义

获取原文
获取原文并翻译 | 示例
           

摘要

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 π 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.
机译:通过使用本文第一部分中研究的抽象结构,我们为一种认知语言开发了一种语义,该语义表达了诸如“爱丽丝知道鲍勃不理解π是不合理的”之类的句子。一种是处理量子计算语义的整体形式,其中纠缠起着根本性的作用。因此,全局表达式的含义决定了其各个部分的上下文含义,但通常并非相反。用这种语义表示的认知情况似乎反映了获取信息的实际过程的某些特征限制。由于知识通常不会因逻辑后果而封闭,因此这里避免了逻辑全知的不愉快现象。

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号