Retrieval situations and belief change

Situational aspects are very helpful to decide relevance but they have often been left aside by information retrieval models. The standard logical approach to information retrieval, based on deciding relevance with the entailment d|=q, where d and q are logical representations of a document and a query respectively does not consider retrieval situations. In this work we propose to introduce these aspects through a revision process. The relevance test is generalized to be (S·d)|=q, where · is a belief revision operator and S is the logical representation of a retrieval simulation. Besides, we analyze the basic properties of different belief change methods and their adequacy to the modelization of S·d. We also study the close relation between our approach and other approaches dealing with counter-factuals