?自认知逻辑

(2) Agent 和多重Agent 系统环境中的知识与信念的表示和处理，通常使用认知逻辑和 自认知逻辑(autoepistemic logic)表示。 (3) 程序的逻辑，这里动态逻辑被有效地应用于验证程序的性质。