认识逻辑

✍ dations ◷ 2025-06-07 03:34:23 #认识逻辑

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

相关

猫抓病猫抓病是一种由巴通体科的韩瑟勒巴通氏菌（学名：Bartonella henselae）引起的亚急性细菌性疾病，至1950年代则发现此病多经猫抓伤或咬伤而造成感染，主要传播媒介是家猫，主要病发在小
头孢他美(英文:Cefetamet)头孢他美也称为“头孢米特”，是一种第三代头孢菌素。该抗生素以7-ADCA为原料合成，常以盐酸头孢他美酯（安塞他美）的形式生产。头孢他美对革兰氏阳性菌及革兰氏阴
群体感应群聚感应（Quorum sensing）是一种与族群密度有相互关系的刺激和反应的系统。许多细菌会透过群聚感应，根据其族群规模来调节基因的表现。有些社会性昆虫也会使用和群聚感应的相似
麦考酚酸霉酚酸（英文：Mycophenolic acid 或 mycophenolate，简称MPA），是肌苷单磷酸脱氢酶（IMPDH）的非竞争性可逆抑制剂，在嘌呤从头合成途径的关键限速酶，以及是用于预防器官移植手术中排斥的免
Nh5f14 6d10 7s2 7p1（预测）2, 8, 18, 32, 32, 18, 3（预测）主条目：鿭的同位素鿭（Nihonium，Nh）鿭是一种人工合成化学元素，化学符号为Nh，原子序数为113。它具有极高的放射性，该元素最稳定的
细胞色素细胞色素（英文：cytochrome）一般是指一类膜结合的血红素蛋白，以血基质为辅基，参与电子传递。它可以以单体的形式（如细胞色素c）或作为复合物酶中的一个亚基来发挥氧化还原作用。细胞
苗勒管发育不全苗勒管发育不全（Müllerian agenesis, Mayer-Rokitansky-Küster-Hauser syndrome or MRKH），取名于奥格斯特·佛列斯·杰斯佛·卡尔·苗勒（英语：August Franz Joseph Karl Mayer）
镫骨镫骨（stapes /ˈsteɪpiːz/、stirrup）是中耳的一块听小骨，存在于人类和其他哺乳动物。这块骨头形如马镫，贴在卵圆窗上，负责将声波震动由此处传送至内耳。镫骨是人体最小且最轻的
京都大学坐标：35°1′34″N 135°46′51″E / 35.02611°N 135.78083°E / 35.02611; 135.78083京都大学（日语：京都大学／きょうとだいがく Kyouto daigaku；英语译名：Kyoto University），简称
乌克兰乌克兰维尔纳茨基国家图书馆（乌克兰语：Національна бібліотека України імені В. І. Вернадського）是乌克兰规模最大的图书馆