Hmm. On further thought, I'm still confused. I just posted to
https://github.com/opencog/atomspace/issues/977 but I will repost here,
because it seems important:
Aren't the following two equivalent?
ImplicationScopeLink
VariableNode x
P(x)
Q(x)
and
ForAllLink
VariableNode x
ImplicationLink
P(x)
Q(x)
If these two are NOT equivalent, then how are they different? If they are
equivalent, do we really need to have an ImplicationScopeLink?
--linas
On Mon, Nov 7, 2016 at 2:40 PM, linas <linasveps...@gmail.com> wrote:
>
> OK, I just got to the bottom of this email chain, and it looks OK to me.
>
> BTW, you may want to keep this in mind: the FreeLink is just a device to
> "memoize" the locations of variables in an expression. Thus, if you have
> an algorithm that needs to repeatedly search for variables in some link
> type, then it can be useful to inherit from FreeLink, -- this helps avoid
> the repeated search. The FreeLink has no additional semantics: it doesn't
> change the meaning of anything.
>
> --linas
>
--
You received this message because you are subscribed to the Google Groups
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/CAHrUA357E_cK%3DtOnkM2SztCyzdCmGWvAdMH5GWEnfJ7-Krfirg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
