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

提出了机构元知识的表达及机构元的计算机编码方法 ,并在此基础上 ,构建机构元库 ;给出了基于机构元库的双向递归搜索的求解算法及对推理求解得出的初步可行方案的模糊评价与优选准则 ,最后根据上述方法。