增加了下载逻辑知识库的方法