【摘要】本文建立了一个基于逻辑理论的信息检索模型。首先给出信息系统逻辑化的方法 ,然后借助逻辑程序的不动点语义 ,定义了查询与文献的相关程度。