信息检索相关性逻辑的语义分析

摘要

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