主体知识库的表达——概念语言C(ALCKB)

摘要：

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

关键词：认知逻辑、知识库、认知算子、主体模型

所属期刊栏目：18

分类号：B813(逻辑学(论理学))

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：16-18