自认知逻辑

自认知逻辑（autoepistemic logic），计算机科学技术名词，摩尔（Moore）于1985年提出的一种基于模态逻辑语言的非单调推理系统。侧重刻画理性智能体（agent）信念集的稳定性以及稳定扩张。