摘要
本文建立了一个基于逻辑理论的信息检索模型。首先给出信息系统逻辑化的方法 ,然后借助逻辑程序的不动点语义 ,定义了查询与文献的相关程度。
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.
出处
《情报学报》
CSSCI
北大核心
2000年第4期338-341,共4页
Journal of the China Society for Scientific and Technical Information
