认识逻辑

✍ dations ◷ 2025-08-19 15:00:41 #认识逻辑

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

相关

炭疽杆菌炭疽杆菌是一种棒状的革兰氏阳性菌，长约1至6微米，这种细菌通常以内孢子之型态出现在土壤中，并可借此状态存活数十年之久，一旦由牲畜摄入，孢子便开始在动物体内大量复制，最后造成死
水葬水葬，是将尸体投入江河湖海中的一种丧葬方式。这种习俗主要流行于大洋洲的部分族群和亚洲中国南方的部分地区中。而水葬中目前最为出名的海葬，则主要流行于欧美地区。早在中国
增生增生可能意指下列事物：
例外主义美国例外论（英语：American Exceptionalism），又译美国卓异主义、美国例外主义、美式例外主义，一种理论与意识形态，认为美利坚合众国是个独特的国家，与其他国家完全不同。为亚历西斯
泽西泽西（Jersey），英国王冠属地，位于诺曼地半岛外海20公里处的海面上，是英吉利海峡靠近法国海岸线的海峡群岛里，面积与人口数都最大的一座。泽西岛与周边两座无人岛群——曼逵尔（Minqui
工业与组织心理学异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
Z-testZ检验，也称“U检验”，是为了检验在零假设情况下测试数据能否可以接近正态分布的一种统计测试。根据中心极限定理，在大样本条件下许多测验可以被贴合为正态分布。在不同的显著性
苏必利尔湖苏必利尔湖（英语：Lake Superior）是北美洲五大湖中最大的一座，被加拿大的安大略省与美国的明尼苏达州、威斯康星州和密歇根州所环绕。苏必利尔湖是世界上面积最大的淡水湖；以蓄水
乳房X光摄影乳房摄影术（英语：Mammography）是利用低剂量（约为 0.7毫西弗）的X光检查人类（主要是女性）的乳房，它能侦测各种乳房肿瘤、囊肿等病灶，有助于早期发现乳癌，并降低其死亡率。除了影像检查之
迪尔巴尔语迪尔巴尔语（英语：Dyirbal或Djirubal）是一种通行于昆士兰东北部数名迪尔巴尔部落居民之间的澳大利亚原住民语言。它是帕马-恩永甘语系迪尔巴尔语族的语言之一。它有着许多在语言