不完全代理的认知逻辑的单纯模型

💡 原文中文,约200字,阅读约需1分钟。
📝

内容提要

本文重新定义了认识规范的形式化方法,并提出了多种语义,其中一种等同于原定义的Gelfond语义。从推理能力的角度分析了其复杂度,并证明了这个方法在需要元推理的问题中的有效性。

🏷️

标签

➡️

继续阅读