人工智能 InterModeller专家系统 外壳工具，用于知识表示以及知识表示之间的转换。