自認知邏輯

自認知邏輯是一種重要的非單調邏輯.它把預設假設看做理想主體的自我信念的反映。

自認知邏輯(autocpistcmic logic)一種重要的非單調邏輯.它把預設假設看做理想主體的自我信念的反映，體現一種推理主體自知之明的內省，自認知邏輯的語言引人一個模態運算元L表示信念，代表一類模態非單調邏輯的研究，它對描述關於理智狀態的推理有直接的套用.人們稱包含模態詞I的公式為L公式，一個自知理論T是一個L公式集，一個自認知擴張S是滿足以下等式的公式集:

這裡Th表示經典邏輯的演繹閉包，進一步，自認知
模型可以基於模態邏輯的可能世界語義直接定義.