Subset dog animal
For more information, see InheritanceLink#Extensional_vs_Intensional.
In PLN the truth value of a SubsetLink relationship corresponds to a conditional probability over concepts, formally:
SubsetLink <TV> A B
corresponds to the conditional probability with truth value estimate:
where (Member x y).s is the degree to which x is a member of concept y, which can also be represented in the AtomSpace via a MemberLink. In case the truth values of such MemberLinks have confidences smaller than 1, then, due to being sums of random variables, convolution products must be used. In practice that isn't currently done due to its computational cost, even though it's likely that for some sub-cases, such as when the confidence is identical across all member links, an accurate estimate should be cost effective.
It should also be noted that such formula only works under the assumption that all members are equally weighted, that is the mass function over their singletons is uniform. Formally
If such assumption does not hold, or no knowledge of members is available, then a more general formula can be applied. Let be a partition of A, then the truth value of such subset is calculated as follows:
A formula for its confidence remains to be determined, although the size of the partition could be used as an approximation of its count.