认识逻辑

✍ dations ◷ 2025-11-30 06:54:40 #认识逻辑

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

相关

高热高热（英语：hyperthermia），亦称体温过高是指由于体温调节失衡而导致的体温升高的症状。当身体吸收热量高于散发热量时，这种症状便会出现，而若是出现急剧的体温升高症状的话，则需送往
断层扫描断层扫描（英语：Tomography），也称断层成像，是指通过任何可穿透的波，对物体进行分段成像的方法。该技术被应用在了影像诊断学、考古学、生物学、大气科学、地球物理学、海洋学、等离
醛固酮醛固酮（英语：Aldosterone）是一种类固醇类激素（盐皮质激素家族），由肾上腺皮质所产生，主要作用于肾脏，进行钠离子及水分的再吸收，以维持血压的稳定。整体来说，醛固酮为一种增进肾脏对于
果糖果糖（C6H12O6，Jmol 立体图）是一种简单的糖（单糖），极易溶于水，在许多食品中存在，和葡萄糖、半乳糖一起构成了血糖的三种主要成分，可在如蜂蜜、树上的水果、浆果、瓜类以及一些根类蔬菜
欧洲法院本文是欧洲联盟的政治与政府系列条目之一欧洲法院（法语：La Cour de justice de l'Union européenne (CJUE)；德语：Der Gerichtshof der Europäischen Union (EuGH)；英语：Europe
温带地中海型地中海式气候，又称作地中海气候、副热带夏干气候，其分布于中纬度地区（约南北纬30至40度）的大陆西岸地区，包括地中海沿岸地区、黑海沿岸地区、美国的加利福尼亚州、澳洲西南部伯斯
荷马荷马（Ὅμηρος，约前9世纪－前8世纪），相传为古希腊的吟游诗人，生于小亚细亚，失明，创作了史诗《伊利亚特》和《奥德赛》，两者统称《荷马史诗》。目前没有确切证据证明荷马的存在，所以
希氏脸希波克拉底面容 (拉丁语：facies Hippocratica)是指由于濒临死亡或长期患病、过度排泄、过度饥饿以及类似原因导致的面容改变。"容貌可以被描述如下：鼻子变尖，眼窝深陷，太阳穴下
恶性黑色素瘤黑色素瘤，又称恶性黑色素瘤，是一种从黑色素细胞发展而来的癌症，是皮肤癌中罕见的癌症。好发于皮肤但也可能出现在口腔、肠道或眼睛中。女性患者的黑色素瘤最常出现在腿，而男性患
黑心食品黑心食品，涉及食品污染（英语：Food Contamination）、微生物学或非法使用食品添加物事件时有发生，如因收获不佳或贮存的粮食衍生霉菌毒素（英语：Mycotoxin），使用违禁兽药产品，工业污染排