Extended Boolean model

The Extended Boolean model was described in a Communications of the ACM article appearing in 1983, by Gerard Salton, Edward A. Fox, and Harry Wu. The goal of the Extended Boolean model is to overcome the drawbacks of the Boolean model that has been used in information retrieval. The Boolean model doesn't consider term weights in queries, and the result set of a Boolean query is often either too small or too big. The idea of the extended model is to make use of partial matching and term weights as in the vector space model. It combines the characteristics of the Vector Space Model with the properties of Boolean algebra and ranks the similarity between queries and documents. This way a document may be somewhat relevant if it matches some of the queried terms and will be returned as a result, whereas in the Standard Boolean model it wasn't.

Thus, the extended Boolean model can be considered as a generalization of both the Boolean and vector space models; those two are special cases if suitable settings and definitions are employed. Further, research has shown effectiveness improves relative to that for Boolean query processing. Other research has shown that relevance feedback and query expansion can be integrated with extended Boolean query processing.

Definitions

In the Extended Boolean model, a document is represented as a vector (similarly to in the vector model). Each i dimension corresponds to a separate term associated with the document.

The weight of term Template:Math associated with document Template:Math is measured by its normalized Term frequency and can be defined as:

$w_{x,j}=f_{x,j}*\frac{Id{f}_x}{ma{x}_{i}Id{f}_i}$

where Template:Math is inverse document frequency and Template:Math the term frequency for term x in document j.

The weight vector associated with document Template:Math can be represented as:

${𝐯}_{d_j}=[w_{1,j},w_{2,j},\dots ,w_{i,j}]$

The 2 Dimensions Example

Considering the space composed of two terms Template:Math and Template:Math only, the corresponding term weights are Template:Math and Template:Math. Thus, for query Template:Math, we can calculate the similarity with the following formula:

$sim(q_{or},d)=\sqrt{\frac{w_1^2+w_2^2}{2}}$

For query Template:Math, we can use:

$sim(q_{and},d)=1-\sqrt{\frac{(1-w_1{)}^2+(1-w_2{)}^2}{2}}$

Generalizing the idea and P-norms

We can generalize the previous 2D extended Boolean model example to higher t-dimensional space using Euclidean distances.

This can be done using P-norms which extends the notion of distance to include p-distances, where Template:Math is a new parameter.

• A generalized conjunctive query is given by:

$q_{or}=k_1{\vee }^p{k}_2{\vee }^p....{\vee }^p{k}_t$

• The similarity of $q_{or}$ and $d_j$ can be defined as:

:$sim(q_{or},d_j)=\sqrt[p]{\frac{w_1^p+w_2^p+....+w_t^p}{t}}$

• A generalized disjunctive query is given by:

$q_{and}=k_1{\wedge }^p{k}_2{\wedge }^p....{\wedge }^p{k}_t$

• The similarity of $q_{and}$ and $d_j$ can be defined as:

$sim(q_{and},d_j)=1-\sqrt[p]{\frac{(1-w_1{)}^p+(1-w_2{)}^p+....+(1-w_t{)}^p}{t}}$

Examples

Consider the query Template:Math. The similarity between query Template:Math and document Template:Math can be computed using the formula:

$sim(q,d)=\sqrt[p]{\frac{(1-\sqrt[p]{(\frac{(1-w_1{)}^p+(1-w_2{)}^p}{2}}){)}^p+w_3^p}{2}}$

Improvements over the Standard Boolean Model

Lee and Fox compared the Standard and Extended Boolean models with three test collections, CISI, CACM and INSPEC. Using P-norms they obtained an average precision improvement of 79%, 106% and 210% over the Standard model, for the CISI, CACM and INSPEC collections, respectively.
The P-norm model is computationally expensive because of the number of exponentiation operations that it requires but it achieves much better results than the Standard model and even Fuzzy retrieval techniques. The Standard Boolean model is still the most efficient.

Further reading

• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation

See also

• Information retrieval