Total Knowledge and Partial Knowledge in Logical Models of Information Retrieval

Abst rac t . V~% here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling.. In that paper, among other things, we had pointed out how differenV ways of understanding the contribution of logic to IR have sprung from the (always unstated) adherence to either the total or the partial'knowledge assumption. Here we make our analysis more precise by relat.ing this dichotomy to the notion of vividness, as used in knowledge iepresentation, and to another dichotomy which has had a profound influence in DB theory, namely the distinction between the proof-theoretic and the model-theoretic views of a database, spelled out by Reiter in his "logical reconstruction of database theory". We show that precisely the same distinction can be applied to logical models of IR developed so far. The strengths and weaknesses of ~he adopti~,~ of either approach in logical models of [R are discussed.