作　　者： ; ; ;

机构地区： 中国科学院计算技术研究所

出　　处： 《计算机科学》 2004年第3期1-4,共4页

摘　　要： 目前信息检索系统的评估方式主要是黑箱方法,无法了解系统内部情况。逻辑方法为比较不同类型的信息检索系统的内部功能提供了途径。为此一些基本的定义和假设已经被建立,并被初步应用于理论研究,但目前的逻辑框架尚未完善。本文通过分析逻辑框架的语义基础,重新定义了基本语义概念,为逻辑框架提供了语义支持,使逻辑结果更逼近实际语义。 The most popular used method of evaluating information retrieval systems in the experimental approach at present- This kind of method cannot learn the internal function of the systems. The new logic method of information retrieval has provided a approach that can make functional comparison among different kind of systems. A basic framework,including definitions and postulations has been established and used in recent research. But the framework is not perfect yet. This paper analyzes the semantics basis of the logic framework, and redefines basic definitions and operations. These concepts provide semantics support for the logic reasoning. The reasoning results will be more accurate in semantics than that in original framework.

关 键 词： 信息检索系统 语义基础分析 信息载体 代数逻辑

领　　域： [文化科学]