Mechanized Documentation: The Logic Behind a Probabilistic Interpretation.

A discussion of the problem of information storage and retrieval in a library. The concepts of probability are required to frame the logic of the problem properly, since the transition from a user's request to the resulting retrieved documents must b...