可拓知识表示及知识库系统的开发

针对现有知识表示方法在智能设计中的局限，提出了一种基于可拓模型的知识表示方法。给出了该方法的定义、语法规范和存储结构。详细论述了基于可拓知识表示的菱形求解策略，包括可拓约束图的构建、物元拓展推理、关联函数计算和条件可拓集合的生成；开发了基于可拓知识表示及菱形求解策略的知识库系统。将该系统应用于水轮机选型设计，得到了比基于规则知识库系统更合理的结果，初步证明了可拓知识表示在解决智能设计知识表示问题时的可行性。