In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
Moreover, the model can avoid the difficulty in automatically supporting the modification and verification of the use case description under pure graphical representation.
同时，采用该模型还可以避免纯图形方式下难以采用自动工具支持用例描述的修改和验证等问题。
A new method and a process model for manufacturing system reconfiguration based on CBR are proposed. The key problems including the case representation and organization are probed.
提出了基于事例的制造系统重构方法，建立了基于事例的制造系统重构的过程模型，研究了事例的描述和事例库的组织等关键问题。
应用推荐