机械元知识表达与推理求解策略的研究

提出了机构元知识的表达及机构元的计算机编码方法，并在此基础上，构建机构元库；给出了基元机构元库的双向递归搜索的求解算法及对推理求解得出的初步可以方案的模糊评价与优选准则，最后根据上述方法，策略与准则研制成机编码方案设计专家系统。