Posted on June 21, 2008 by Peter Turney
In a previous post, I discussed the distinction between attributes and relations:
This leads to a distinction between attributional similarity and relational similarity. Two things, X and Y, are attributionally similar when the attributes of X are similar to the attributes of Y. Two pairs, A:B and C:D, are relationally similar when the relations between A and B are similar to the relations between C and D. I’ve been thinking about the rules that govern attributional and relational similarity.
Let A:B::C:D be the assertion that A:B and C:D are relationally similar. The expression A:B::C:D is usually read as “A is to B as C is to D”. This is called a proportional analogy. Aristotle knew that proportional analogies obey certain logical rules:
(1) A:B::C:D → B:A::D:C
From (1) and (2), we can derive:
A:B::C:D → C:D::A:B
More recently, these rules have been studied by Yves Lepage and others. Rule (1) seems clear, but rule (2) is sometimes odd. It seems that rule (2) is reasonable when the items (A, B, C, and D) are all of the same general type, but it is less reasonable when they are different types:
uncle:aunt::brother:sister → aunt:uncle::sister:brother [same types: kin, rule (1)]
Let X~Y be the assertion that X and Y are attributionally similar. When X and Y have a very high degree of attributional similarity, we call them synonyms. I have argued that attributional similarity can be reduced to relational similarity, but not vice versa. Here is one way to do the reduction:
(3) X~Y = (by definition) for all Z, X:Z::Y:Z
In other words, X and Y are attributionally similar when, for all Z, the relations between X and Z are similar to the relations between Y and Z. This definition of attributional similarity results in a score of 83.75% on the TOEFL synonyms. (The paper is about tensors, not similarity measures, so it does not explain that the tensor is computing similarity by using definition (3).) Rules (1) and (2) give us:
X:Z::Y:Z → Z:X::Z:Y → Z:Z::X:Y [assuming X, Y, and Z are the same type?]
X~Y = for all Z, Z:Z::X:Y
Transitivity seems plausible for proportional analogies:
(4) A:B::C:D & A:B::E:F → C:D::E:F
Now we have a little theorem:
Theorem: A~C & A:B::C:D → B~D
I’m not sure about the significance of this, but I thought it was worth writing down.
This post was partly inspired by a blog post by Gustavo Lacerda. Suppose we have:
A = me
Then A~C & A:B::C:D → B~D. If I am similar to my lover’s past lovers (A~C) and I am attracted by my lover like my lover’s past lovers are attracted by my lover’s past lovers’ lovers (A:B::C:D), then my lover should be similar to my lover’s past lovers’ lovers (B~D). Thus I am likely to be attracted by my lover’s past lovers’ lovers.
I believe that similarity is a matter of degree, but the above discussion assumes that it is binary (true/false).