认识逻辑

✍ dations ◷ 2025-09-30 18:33:13 #认识逻辑

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

相关

流汗汗液，或汗，是由人等高等动物透过汗腺所分泌出的液体。汗的分泌受到植物性神经系统调节。汗液的主要成分是水，约占总成分的98%到99%，其余物质为氯化钠，极少量的尿素、氨和其他盐类
凝血酶原时间凝血酶原时间（prothrombin time），简称PT，是一套检测外在凝血路径的方法。由于目前检测的标准是依照国际标准化比值（international normalized ratio，简称INR），因此该检测又称为“Pro
中西部美国中西部（英语：Midwest）通常指的是美国地理上中北部的州，包括俄亥俄州、印第安那州、密歇根州、伊利诺伊州、威斯康星州、艾奥瓦州、肯萨斯州、密苏里州、明尼苏达州、内布拉
美国西部美国西部（英语：Western United States）泛指美国西部各州。由于美国自建国以来疆域多次向西扩展，因此美国西部的定义也随着时代而变化。一般多以密西西比河作为美国东西部的分界
冰珠冰珠是固态降水的一种，由雪花落下时融化再凝固所形成，外形为半透明冰球，比雹还小、且与霰、雨夹雪不同，落至地表或撞击物体时会弹起、并发出比液态雨滴还要清脆的声音。冰珠堆积
枞阳县.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
沙林沙林（Sarin）是一种神经毒剂，通过抑制乙酰胆碱酯酶来破坏神经系统的功能。沙林在人体中的降解速度很慢，具有累积毒性。1938年，沙林由德国法本公司的研究者格哈德·施拉德(Gerhard
形态上的分类语言的形态分类（英语：morphological typology），是根据它们共同的形态结构对世界上的语言进行分类（参见语言类型学）的一种方法。该领域根据这些语言组合语素构成单词的方式来把语言
符码在符号学中，符码（code）是用于沟通意义的一套惯例。最常见的符码是口语语言，但此术语还可用来指任何叙事的形式：例如色彩的意象（红色代表危险）、游戏规则（国际象棋中军事的能指）。索绪
音拍音拍（英语：mora）是语言学上以固定长度划分的时间单位，与音节不同。在汉语中，每一个音节的长度几乎是一样的（例如普通话中，“汉”han和“哈”ha长度相同），因此，汉语中可以说音节就是拍