Towards an information logic

摘要: '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 therefore somewhat surprising that even now no formal computational model for IR exists. There well-defined logic to describe information retrieval, and there proof or theory talk about truths IR.This paper argues much work in past steps direction a IR. These have taken by developing models but date none are complete nor could any claim be To appreciate this development I shall present picture IR, describing bits puzzle which may fit together point new framework within described.