必威电竞|足球世界杯竞猜平台

來源：互聯網

認識邏輯是關心與知識有關的推理的模態邏輯子領域。(認識這個詞的希臘語是 Episteme)。它應用于哲學、計算機科學、人工智能和其他領域。

名稱

\

認識邏輯的基本模態算子通常寫為 K，它可以讀做“有人知道...”，“...在認識上是必然的”，或“不...與已知相矛盾”。如果有多于一個的其知識要被表現的代理者(agent)，可以向這個算子附加下標(Ka, Kb, etc.)來指示談論的是哪個代理者。

特征

認識邏輯與真勢模態邏輯共享某些特征。例如模式 T，

<數學>\Box \phi \rightarrow \phi,

陳述必然的事物是真的，這好像是正確的。它的認識版本是

$K\; \backslash phi\; \backslash rightarrow\; \backslash phi$,

陳述某知識為“已知”是真，這好像同樣是正確的。在另一方面，很多在真勢模態邏輯中似是而非的公式在按知識來解釋的時候就更加可疑了。例如模式 4，

$\backslash Box\; \backslash phi\; \backslash rightarrow\; \backslash Box\; \backslash Box\; \backslash phi$,

當把方框解釋為“...(在形而上學上)是必然的”的時候好像是似是而非的。它的知識版本

<數學>K \phi \rightarrow KK \phi,

陳述如果一個代理者知道某事，則他或她知道他知道這個事情，這不是個很明顯的一個原理。

認識邏輯的早期提議者包括 E. J. Lemmon 和 Jaakko Hintikka。

參考資料 >