修改了逻辑知识库的应用