认识逻辑

✍ dations ◷ 2025-10-20 22:59:34 #认识逻辑

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

相关

轮状病毒轮状病毒（Rotavirus，简称RV）是一种双链核糖核酸病毒，属于呼肠孤病毒科。它是引起婴幼儿腹泻的最常见原因，几乎世界上小孩在大约五岁时都曾感染过轮状病毒至少一次。然而，每一次感
胎儿胎儿（拉丁语：fetus）是指已经怀于母体但尚未出生的人类。在法律上，胎儿因为尚非为人，不具权利主体地位，没有权利能力。但是为了保护其将来得享有的利益，通常以非死产者为限，增设法律
化学处理化制处理是是将动物尸体或废弃屠体、内脏、皮、骨或蹄等经由加工处理，分解成油脂及蛋白质等可再利用之资源。在动物传染病防治条例细则定义以动物尸体、废弃屠体及其内脏、皮
夜惊夜惊（night terror、sleep terror，北方话称撒呓挣、夜惊症），在睡眠中突然尖叫、哭喊，意识呈朦胧状态，发作后约一至两分钟，又复入睡，隔天则不知何事。常见于儿童，其中男童又略多于女童
长尾噬菌体科λ噬菌体属(λ-like viruses) T1噬菌体属(T1-like viruses) T5噬菌体属(T5-like viruses) c2噬菌体属(c2-like viruses) L5噬菌体属(L5-like viruses) ψM1噬菌体属(ψM1-li
镰刀型红血球疾病镰刀型红血球疾病（英语：Sickle-cell disease, SCD）是一组通常由双亲遗传而来的血液疾病。其中最常见的一种类型，叫做镰状红血球贫血症（Sickle-cell anemia, SCA）。该疾病会引起红
纽约纽约都会区，也被称为三州地区，是全美国最大的都会区，也是全世界最大都会区之一，位于美国东北部。整个都会区以纽约市为中心，包括纽约州上州的六个郡与长岛的两个郡，新泽西州的十四
同一时期的全球历史后古代史（也称前现代史）是西方历史学划分出来的一段时期的历史。欧洲历史学界一般把历史分为三个阶段——古代、中世纪和近代，而后古代与中世纪是完全对应的，它位于古代史与现代
AOL美国在线（AOL Inc.，前身为：America Online，AOL），著名的互联网服务提供者，现为电信商威讯旗下Verizon Media公司的子公司。今天的美国在线，源自20世纪80年代的一家计算机服务公司Cont
前额在人体解剖学中，前额是指头部前端、脸部上面的部分。前额的上方边界为发际线，其下界为眶上脊（在眼睛上方的骨头），两侧的边界则为颞骨（连接眶上脊、冠状缝以及更后方的骨头）。在解剖