认识逻辑

✍ dations ◷ 2025-11-10 02:15:28 #认识逻辑

认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。认识逻辑的基本模态算子通常写为 K，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent)，可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。认识逻辑与真势模态逻辑共享某些特征。例如模式 T，陈述必然的事物是真的，这好像是正确的。它的认识版本是陈述某知识为“已知”是真，这好像同样是正确的。在另一方面，很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4，当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本陈述如果一个代理者知道某事，则他知道他知道这个事情，这不是个很明显的一个原理。认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。

相关

醋醋（英语：Vinegar），旧称为醯、苦酒等，是烹饪中常用的一种液体酸味调味料。醋的成分通常含有3%-5%的醋酸，有的还有少量的酒石酸、柠檬酸等。理论上讲，几乎任何含有糖分的液体都可以发
肝性脑病肝性脑病（英文：Hepatic encephalopathy, HE）是一种因肝衰竭引发思维混淆（英语：Confusion）、意识下降（英语：Altered level of consciousness）和昏迷的疾病。严重时称为肝性昏迷，甚至会
人类体质人类学文化人类学语言人类学分子人类学社会人类学考古学应用人类学民族志参与观察文化相对论文化 • 社会史前史 • 人类演化亲属婚姻 • 家庭物质文化种
视网膜视网膜又称视衣，是脊椎动物和一些头足纲动物眼球后部的一层非常薄的细胞层。它是眼睛里面将光转化为神经信号的部分。视网膜含有可以感受光的视杆细胞和视锥细胞。这些细胞将
活性化学中，活性（Activity）即某物质的“有效浓度”，或称为物质的“有效莫尔分率”。此概念由吉尔伯特·牛顿·路易斯首先提出。将理想混合物中组分i的化学势表示式中的莫尔分率（xi）替
系统分类学系统分类学（英语：systematics）是研究物种的演化历史，以及他与其它物种间的关系的学科。关系被可视化为进化树（别名：进化树，系统发生树，系统发育）。系统发育有两个组成部分，分支顺序（显
配子配子（英语：Gamete）是单倍体细胞，它由行有性生殖的生物在特定的器官通过减数分裂产生。两性配子通过配子结合产生合子。有性生殖的好处是遗传讯息的重组，这也是物种内遗传信息的
麦角新碱麦角新碱，英文名为Ergometrine ，或者 ergonovine 又或者称为D-麦角酸β-氨基丙醇, 是一类用于引起子宫收缩来治疗阴道产后出血的药物。它可用于口服，肌肉注射或静脉注射。
蒸气压一种物质的蒸气压也称作饱和蒸气压，指的是这种物质的气相与其非气相达到平衡状态时的压强。任何物质（包括液态与固态）都有挥发成为气态的趋势，其气态也同样具有凝结为液态或者凝
耳蜗神经前庭耳蜗神经（Vestibulocochlear nerve）是12对脑神经当中的第8对，同时也称作听神经。它是支配内耳的脑神经，其中又可分为掌管听力的耳蜗神经、掌管平衡的前庭神经。本神经位在颞