A NONCLASSICAL LOGIC FOR INFORMATION-RETRIEVAL

This paper formalizes a non-classical logic underlying information retrieval. It shows how a particular conditional logic is the 'right' logic to do Information Retrieval. Its relationship to existing retrieval mechanisms is investigated. The semantics of the logic are expressed in probability theory, and evaluated through a possible-world analysis, thus establishing an intensional logic. In doing so, we motivate a new principle, the logical uncertainty principle, which gives a measure of the uncertainty associated with an inference.