《形式化方法的研究进展与趋势》阅读心得

知识点科普

1. 增量式算法

        每当新增数据时，并不需要重建所有的知识库，而是在原有知识库的基础上，仅做由于新增数据所引起的更新。