本文建立了一个基于逻辑理论的信息检索模型。首先给出信息系统逻辑化的方法,然后借助逻辑程序的不动点语义,定义了查询与文献的相关程度。%We put forward a information rctrieval model based on logic theory in this papcr. First,we present a method to denote information retrieval system with logic theory. Second, we describe the correlation of a document and a query.
展开▼