可拓知识库系统及其应用

知识库系统是一种专门存储、管理大量知识的机构。文章以可拓学的理论和方法为指导，提出可拓知识表示法和可拓知识库系统的特点与构架。给出了可拓知识表示的形式化语义，其基本单元是知识物元；阐述了矛盾问题求解的形式表示，其核心是问题的物元模型，通过可拓算子把不相容问题转化为相容问题；相关方式推理是可拓知识库系统推理机的特点，是传统规则推理的推广。可拓知识库采用可拓知识表示方法，是传统知识库的一个超集；可拓知识库系统由目标库、条件库、公用知识库、分类知识库、推理机与知识库管理系统组成。