next up previous
Next: Conclusion Up: Equivalence of models Previous: From vector spaces to

From semantic networks to vector spaces

It is now shown that given any semantic network retrieval model, there exists a vector space retrieval model such that the two models are equivalent under ranked retrieval.

  thm816

Proof:The idea is to have tex2html_wrap_inline1311 retrieve objects from the vector space whose dimensions are the elements of the tex2html_wrap_inline1315 -closure. Let tex2html_wrap_inline1619 and tex2html_wrap_inline1623 . Let the tex2html_wrap_inline1315 -closure be tex2html_wrap_inline1833 . Let tex2html_wrap_inline1625 . Define tex2html_wrap_inline1837 tex2html_wrap_inline1839 >, where tex2html_wrap_inline1843 is 1 if tex2html_wrap_inline1845 , and is 0 otherwise. Let tex2html_wrap_inline1279 and tex2html_wrap_inline1641 . Then tex2html_wrap_inline1851 . Finally, put tex2html_wrap_inline1853 .

tex2html_wrap_inline1309 and tex2html_wrap_inline1311 are equivalent under ranked retrieval because their similarity functions are the same. This is true since tex2html_wrap_inline1859 iff both tex2html_wrap_inline1607 and tex2html_wrap_inline1863 are defined along the tex2html_wrap_inline1487 dimension. So by definition tex2html_wrap_inline1867 where tex2html_wrap_inline1485 completes tex2html_wrap_inline1487 . So for every tex2html_wrap_inline1873 , tex2html_wrap_inline1875 . It follows that tex2html_wrap_inline1877 as claimed. tex2html_wrap_inline1815


Vladimir Kulyukin
Fri Oct 29 09:32:57 CDT 1999