以集合论为理论基础的检索技术是布尔逻辑检索。