图形 知识表示 分布式 方法建立 智能教育 知识库方法 教育系统