4.4.1 演绎式信息检索