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

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

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

,

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

,

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

,

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

,

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

認識邏輯的早期提議者包括E. J. Lemmon雅各·辛提卡

參見

編輯


外部連結

編輯