(2) Agent 和多重Agent 系统环境中的知识与信念的表示和处理,通常使用认知逻辑和 自认知逻辑(autoepistemic logic)表示。 (3) 程序的逻辑,这里动态逻辑被有效地应用于验证程序的性质。
基于26个网页-相关网页
autoepistemic logic
autoepistemic逻辑
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动