认识逻辑

✍ dations ◷ 2025-06-27 16:21:17 #认识逻辑

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

相关

查理斯·尚柏朗查理斯·尚柏朗（Charles Chamberland，1851年3月12日-1908年5月2日）是一位法国微生物学家。1884年，他发明了现在称作尚柏朗滤器的过滤设备。该滤器有比细菌直径还小的孔洞，这样便
减毒病毒疫苗减毒活病毒（英语：attenuated virus，又译弱化病毒）是指致病性被削弱的病毒，这些病毒在毒性降低的同时，仍保有活性，也就是并未被杀死。制造这类病毒的主要目的是为了生产疫苗。与其相
肌张力障碍肌张力障碍（Dystonia）是由于身体的肌肉不随意地持续收缩，造成肌肉产生变形，而无法依照自身的意思活动。肌张力障碍是一组疾病的总称，是骨骼肌张力的病理性改变。患者的肌张力时高
睑痉挛眼睑痉挛，俗称眼睛跳，是指眼睑肌肉不自控的痉挛现象。这现象可以同时发生于双眼，亦有左右眼分别跳动的现象。眼眉跳（粤）应该属于 Eyelid Myokymia.据知眼睑痉挛成因有三：除此之外
消化不良消化不良（Dyspepsia或Indigestion）是一种临床症候群，是由胃动力障碍所引起的疾病，也包括胃蠕动不好的胃轻瘫和食道反流病，常见表现为上腹、胸部疼痛或肠胃不适，例如上腹痛、饱胀、
黄病毒科见内文黄病毒科（学名：Flaviviridae）的病毒主要感染哺乳类动物，遗传物质为单股线型的RNA，长度约9.6-12.3kb，5'端帽带有甲基化的核苷酸。病毒颗粒具有外套膜，直径约40-60nm。黄病毒科
铅酸蓄电池铅酸蓄电池，又称铅蓄电池，是蓄电池的一种，电极主要由铅制成，电解液是硫酸溶液的一种蓄电池。一般分为开口型电池及阀控型电池两种。前者需要定期注酸维护，后者为免维护型蓄电池。
行为行为是指有机体（包括人类与其他动物）的动作、行动方式，以及对所处环境与其他生物体或物体的一种反应。词性为中性。在生物适应环境上，行为有很重要的意义，有助于避免受到负面的环
台北厅台北厅为台湾日治时期的一个行政区划，初设于1901年（明治34年）11月“废县置厅”之际。当时将台北县废除，并将所属十个办务署重新分割为基隆、台北、深坑、桃园、新竹五个厅；其中台
关系代名词关系代名词(Relative Pronoun)是一类标明关系子句的代名词，其指称的对象和主句中由关系子句修饰的事物(通常是名词或名词词组)相同。汉语没有关系代名词。一个英语关系代名词