2把征询意见转换为可执行的内部形式： 查语法和语义 3并入知识库：查矛盾，冗余，环路等 4评价：用一些标准例子对新知识进行经 验测试，若出现不一致，表示新知识有 问题，反馈给指导者。 2 把征询意见转换为可执行的内部形式： 查语法和语义 3 并入知识库：查矛盾，冗余，环路等 4 评价：用一些标准例子对新知识进行经 验测试，若出现不一致，表示新知识有 问题，反馈给指导者