Although most computer-based information search systems in current use employ a Boolean search strategy, there is by no means a clear consensus throughout the information retrieval research community that the conventional Boolean approach is best. The well-known drawbacks of the Boolean design include an inhospitable request formalism, frequent null output and output overload, and lack of provi...

This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815-1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the diierent historical factors that innuenced this achievement has served as ...