A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision

摘要

A logical model for information retrieval is presented. Documents and queries are represented by propositional formulas and we apply techniques of the field of belief revision to get a measure of similarity between documents and queries. The model is further extended to deal with retrieval situations. Generality and expressiveness are fundamental properties of the model.