本文是“863”国家科技攻关项目“基于案例的工业设计技术(Case Based Industrial Design CBID)和辅助设计应用系统研究”的研究子课题之一,文章研究重点为系统中数控机床工业设计中程序型知识检索,通过理论分析和实验研究,探讨其在CBID系统中的实际应用模式,最后引入模糊数学中隶属度的概念,探讨了其在系统中的实现方式。论文首先从理论方面讨论了基于设计问题域的程序型知识检索在CBID系统中运用的可行性。其后通过数控机床工业设计领域用户问题域实验分析,提取了该领域的典型设计问题域并在此基础上构建了程序型知识索引结构模型。在这个索引结构模型的规范下,进一步讨论了程序型知识检索在系统中的实现方式。具体研究工作包括:引入模糊数学隶属度概念,利用历史案例对于新问题的隶属度计算结果作为程序型知识案例提取的标准;完成21个程序型知识案例的权重值划分并制定历史案例权重值量化表。最后,本文论述了系统检索的两种思维模式:数据驱动与概念驱动,并讨论了基于问题域的程序型知识检索在CBID系统中的实现形式。