认识逻辑

✍ dations ◷ 2025-04-03 10:38:01 #认识逻辑

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

相关

奶油奶油可以指：
葡萄膜炎虹彩炎，是葡萄膜炎的一种，是一种虹膜以及睫状体的急性发炎的眼疾。发病原因至今不甚清楚，主要是自体免疫系统的问题，很有可能是自发性或反应性关节炎。临床症状上，常会有眼睛红、
肾丝球过滤率肾功能（Renal function）是描述肾脏状态及其在肾生理作用的角色。肾小球滤过率（Glomerular filtration rate/GFR、肾丝球滤过率）描述了通过肾脏过滤流体之流速。肌酸酐清除率（Crea
红州与蓝州红州与蓝州是指美国近年来选举得票数分布的倾向。红色为共和党的代表色，蓝色则是民主党的代表色。一般说来，在西部沿海、东北部新英格兰地区的选民投票倾向较支持民主党，故有蓝
氧化银电池氧化银电池，又称银锌电池或锌-氧化银电池，是以银的氧化物作正极、锌作负极、碱性溶液作电解质的一种电池。既可做成一次电池，也可做成蓄电池，但两者的其他辅助成分与制造方式有
急救急救（First-aid）即紧急救治的意思，是指在急病或意外发生时，在医生与护理人员到达前为生病或受伤的人，进行初步的救援及护理。急救的主要目标可以概括为三个关键点：急救员抵达现场
彭世洛府彭世洛府（泰语：จังหวัดพิษณุโลก，皇家转写：Changwat Phitsanulok，泰语发音：）是泰国的北部之一个府。顺时针向东开始邻近省份是：黎府、碧差汶府、披集府、甘烹碧府、素
基督教文化基督教文化（英语：Christian culture）是信仰基督教为主的人群长期以来形成的一种文化，并构成了基督教文明（Christian civilization）的主体。基督教源于中东地区游牧民族以色列人的
循证人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学实证医学（英语：Evidence-based medicine
雪盲症雪盲症是一种由于眼睛视网膜受到强光刺激引起暂时性失明的一种症状。雪地对日光的反射率极高，可达到将近95%，直视雪地正如同直视阳光，由于这种症状常在登高山、雪地和极地探险