自认知逻辑

自认知逻辑是一种重要的非单调逻辑.它把缺省假设看做理想主体的自我信念的反映。自认知逻辑(autocpistcmic logic)一种重要的非单调逻辑.它把缺省假设看做理想主体的自我信念的反映，体现一种推理主体自知之明的内省，自认知逻辑的语言引人一个模态算子L表示信念，代表一类模态非单调逻辑的研究，它对描述关于理智状态的推理有直接的应用.人们称包含模态词I的公式为L公式，一个自知理论T是一个L公式集，一个自认知扩张S是满足以下等式的公式集: