铸造方法选择专家系统知识库的完备性检验

The Completeness Checking of the Knowledgebase of the Expert System for Choosing the Casting Method

给出了问题可解的定义和知识库完备性的定义，并在理论上对知识库的完备性检验进行了探讨；讨论了知识库完备性检验的具体内容，并在铸造方法选择专家系统中得到了应用。

The definition of the problem solving and completeness of knowledgebase are given, and the theorem of completeness checking of knowledgebase is studied, in the meantime, the specific range of knowledgebase checking is also discussed. The methods mentioned above are found their applications in the expert system of casting method choice.