自认知逻辑

来自术语
跳转至: 导航搜索

    Moore1985年提出的一种基于模态逻辑语言的非单调推理系统,侧重刻画理性agent信念集的稳定性以及稳定扩张。

英文名 autoepistemic logic



链接

Wikipedia https://en.wikipedia.org/wiki/autoepistemic_logic