词条 | 认识逻辑 |
释义 | § 名称 认识逻辑学 认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。 认识逻辑的基本模态算子通常写为 K,它可以读做“有人知道...”,“...在认识上是必然的”,或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent),可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。 § 特征 认识逻辑与真势模态逻辑共享某些特征。例如模式 T, <math>\\Box \\phi \\rightarrow \\phi</math>, 陈述必然的事物是真的,这好象是正确的。它的认识版本是 <math>K \\phi \\rightarrow \\phi</math>, 陈述某知识为“已知”是真,这好象同样是正确的。在另一方面,很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4, <math>\\Box \\phi \\rightarrow \\Box \\Box \\phi</math>, 当把方框解释为“...(在形而上学上)是必然的”的时候好象是似是而非的。它的知识版本 <math>K \\phi \\rightarrow KK \\phi</math>, 陈述如果一个代理者知道某事,则他或她知道他知道这个事情,这不是个很明显的一个原理。 认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。 |
随便看 |
百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。