|
|
|
@inproceedings{DBLP:conf/sigir/Rijsbergen89,
author = {C. J. van Rijsbergen},
editor = {Nicholas J. Belkin and
C. J. van Rijsbergen},
title = {Towards an Information Logic},
booktitle = {SIGIR'89, 12th International Conference on Research and Development
in Information Retrieval, Cambridge, Massachusetts, USA, June
25-28, 1989, Proceedings},
publisher = {ACM},
year = {1989},
isbn = {0-89791-321-3},
pages = {77-86},
ee = {db/conf/sigir/Rijsbergen89.html},
crossref = {DBLP:conf/sigir/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
'Probability is expectation founded upon partial knowledge.' (Boole, 1854)
Information retrieval based on stored program electronic computers has been an active area of research since the time these machines were invented. It is therefore somewhat surprising that even now no formal computational model for IR exists. There is no well-defined logic to describe information retrieval, and there is no proof or model theory to talk about the truths of IR.
This paper argues that much of the research work in the past has been steps in the direction of a logic for IR. These steps have been taken by developing formal models for information retrieval, but to date none of these are complete nor could any claim to be a computational model for IR. To appreciate this development I shall present a picture of IR, describing bits of a puzzle which may fit together to point to a new framework within which a computational model or logic could be described.
Copyright © 1989 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.