摘要： 目前信息检索系统的评估方式主要是黑箱方法，无法了解系统内部情况。逻辑方法为比较不同类型的信息检索系统的内部功能提供了途径。为此一些基本的定义和假设已经被建立，并被初步应用于理论研究，但目前的逻辑框架尚未完善。本文通过分析逻辑框架的语义基础，重新定义了基本语义概念，为逻辑框架提供了语义支持，使逻辑结果更逼近实际语义。

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