论文部分内容阅读
建立主体认知推理模型涉及对各种认知算子的逻辑特征的系统分析，以及主体认知世界的界定及结构分析这样两个层次的问题。如果说分析认知算子旨在建立具有普遍适用性的逻辑排演系统，那么主体认知世界的分析及界定则总是同具体问题相关因而足局部的，其关键是主体知识库的表达问题。本文讨论了概念逻辑ALCKB系统，说明以其为基础建立主体模型，能够在统一的框架中表达的描述主体的知识信仰，以及主体在其中活动的世界。