© 1986 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
A non-classical logic for information retrieval
Computer Science Department, The University, Glasgow G12 8QQ UK
Implicit in many information retrieval models is a logic. These logics are hardly ever formalised. This paper formalises 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.
Received January 1986.
* Address for correspondence: Computing Science Department, The University, Glasgow G12 8QQ.
Department of Computer Science, University, College, Dublin 4
![]()
CiteULike
Connotea
Del.icio.us What's this?
This article has been cited by other articles:
![]() |
G. SALTON Developments in Automatic Text Retrieval Science, August 30, 1991; 253(5023): 974 - 980. [Abstract] [PDF] |
||||
![]() |
D. Lucarella and R. Morara FIRST: Fuzzy Information Retrieval SysTem Journal of Information Science, January 1, 1991; 17(2): 81 - 91. [Abstract] [PDF] |
||||

