>
> Okay, so this binds the variables in the expression, as described here <http://wiki.opencog.org/w/AverageLink>; can the AverageLink be passed to the pattern matcher?
>
>
It probably shouldn't be.  Right now, AverageLink, ExistsLink, ForAllLink
all derive from BindLink.

I've been thinking of creating a PatternLink (dervied from BindLink)  and
alter the pattern matcher to only accept PatternLink's.

BTW, you could perhaps play the following interesting game:  If the pattern
matcher sees an AverageLink, then, when it gets a match, it would alter the
TV on the AverageLink using the accepted formula, instead of doing its
usual output.

(that is, it would accumulate truth values for all the matches, take the
averge tv, and set it on an averageLink.)

This might not be the best way to do averaging, but it is a way...

--linas