知识库的校验研究

以基于规则的知识表达方式为例，论述了短短库的完整性和一致性校验的内容和方法，给出了各种非确定性处理方法统一的抽象描述，研究了非确定性处理对校验的影响，一些结构已应用于自行设计的圈闭评价专家系统中。