認識邏輯是關心與知識有關的推理的模態邏輯子領域。(認識這個詞的希臘語是 Episteme)。它套用於哲學、計算機科學、人工智慧和其他領域。
基本介紹
- 中文名：認識邏輯
- 外文名：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。
