next up previous
Next: From semantic networks to Up: Equivalence of models Previous: Equivalence of models

From vector spaces to semantic networks

It is shown here that given any vector space retrieval model with dot product as its object similarity function, there exists a semantic network retrieval model such that the two models are equivalent under ranked retrieval.

  thm451

Proof:Let tex2html_wrap_inline1619 , tex2html_wrap_inline1621 , and tex2html_wrap_inline1623 . For each tex2html_wrap_inline1625 , define tex2html_wrap_inline1627 where tex2html_wrap_inline1361 and tex2html_wrap_inline1373 are defined to be matrices of all zeros, tex2html_wrap_inline1633  |  tex2html_wrap_inline1637 , and tex2html_wrap_inline1639 . If tex2html_wrap_inline1641 , tex2html_wrap_inline1643 tex2html_wrap_inline1645 tex2html_wrap_inline1647 where tex2html_wrap_inline1485 completes tex2html_wrap_inline1487 , tex2html_wrap_inline1653 if tex2html_wrap_inline1419 contains tex2html_wrap_inline1657 , and f is the dot product of two sequences. If there is no tex2html_wrap_inline1481 such that tex2html_wrap_inline1485 completes tex2html_wrap_inline1487 , then tex2html_wrap_inline1667 .

It is shown that tex2html_wrap_inline1313 by proving that for all tex2html_wrap_inline1279 and for tex2html_wrap_inline1673 , tex2html_wrap_inline1675 .

( tex2html_wrap_inline1017 ) Let tex2html_wrap_inline1679 such that tex2html_wrap_inline1681 . Since tex2html_wrap_inline1683 , tex2html_wrap_inline1685 . Since tex2html_wrap_inline1687 is the dot product, tex2html_wrap_inline1689 . By definition of tex2html_wrap_inline1691 , tex2html_wrap_inline1693 tex2html_wrap_inline1695 .

The ordering of the labels of nodes in the semantic network model may only decrease the similarity between an object and the retrieval object. The dot product of two vectors representing objects containing the same set of tokens will have non-zero entries in all of those dimensions. In the spreading activation model two objects with the same set of tokens may have labels that list the tokens in different orders. Only the label with the tokens listed in the same order will allow completion. Hence tex2html_wrap_inline1645 tex2html_wrap_inline1699 , and tex2html_wrap_inline1701 tex2html_wrap_inline1703 . But by construction there is at least one label tex2html_wrap_inline1481 for tex2html_wrap_inline1375 and one label  tex2html_wrap_inline1709 for tex2html_wrap_inline1377 such that tex2html_wrap_inline1713 , tex2html_wrap_inline1715 .

Thus tex2html_wrap_inline1717 tex2html_wrap_inline1719 tex2html_wrap_inline1721 and tex2html_wrap_inline1723 tex2html_wrap_inline1719 tex2html_wrap_inline1727 . Hence tex2html_wrap_inline1729   tex2html_wrap_inline1701 tex2html_wrap_inline1647  so that tex2html_wrap_inline1735 , and tex2html_wrap_inline1737 .

( tex2html_wrap_inline1739 ) Let tex2html_wrap_inline1741 such that tex2html_wrap_inline1737 . By definition of tex2html_wrap_inline1745 , tex2html_wrap_inline1747 tex2html_wrap_inline1749 tex2html_wrap_inline1751 tex2html_wrap_inline1753 tex2html_wrap_inline1749 where tex2html_wrap_inline1481 , tex2html_wrap_inline1709 , tex2html_wrap_inline1483 and tex2html_wrap_inline1485 completes both tex2html_wrap_inline1487 and tex2html_wrap_inline1767 .

Since tex2html_wrap_inline1485 completes tex2html_wrap_inline1487 and tex2html_wrap_inline1767 , it must be the case that tex2html_wrap_inline1747 tex2html_wrap_inline1719 tex2html_wrap_inline1721 and tex2html_wrap_inline1753 tex2html_wrap_inline1749 = tex2html_wrap_inline1727 . By the definition of tex2html_wrap_inline1789 this means that tex2html_wrap_inline1791 tex2html_wrap_inline1751 tex2html_wrap_inline1795 . This means that tex2html_wrap_inline1797 tex2html_wrap_inline1751 tex2html_wrap_inline1801 so that tex2html_wrap_inline1803 < tex2html_wrap_inline1807 . Thus tex2html_wrap_inline1809 = tex2html_wrap_inline1813 as claimed. tex2html_wrap_inline1815


next up previous
Next: From semantic networks to Up: Equivalence of models Previous: Equivalence of models

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