Use of an infinite-valued propositional calculus in a document retrieval system
John R.A Miller · International Symposium on Multiple-Valued Logic · 1978
It is proposed that a particular infinite-valued propositional calculus be used to define a retrieval function for a document retrieval system in which queries are well-formed formulas of the propositional calculus. With this approach, “weighted” queries may be processed in a simple, straightforward manner; queries may be represented as highly sparse vectors, and this representation may be transformed easily into the more conventional truth-table representation, and conversely; feedback techniques may be used; and a means is provided for circumventing the “independence assumption” with regard to subject identifiers.