On 1/17/20 12:08 AM, Linas Vepstas wrote:> Since the ExistsLink and
ForAllLink are more-or-less unused, and as
such, they do not really have any well-defined semantics. I guess the
PLN book talks about them ... but the book and the code-base are
divergent in various ways. I suspect that there are no PLN rules
ExistsLink and ForAllLink have well defined PLN semantics (explained
somewhere in http://goertzel.org/PLN_BOOK_6_27_08.pdf), and have one or
two badly implemented rules
https://github.com/opencog/pln/tree/master/opencog/pln/rules/wip.
They have been underused because in practice implication/inheritance
tend to suffice (and can be used to reason about conditional
generalization/instantiation). Once we get back to OpenCog as artificial
mathematician, progress will likely continue on that front.
Nil
written for them (I don't know). If I look at the code, I see this:
atom_types.script:FORALL_LINK <- SCOPE_LINK,CRISP_OUTPUT_LINK "ForAllLink"
atom_types.script:EXISTS_LINK <- SCOPE_LINK,CRISP_OUTPUT_LINK
I'm pretty sure I wrote that because it seemed to "make sense" at the
time. So, yes a ScopeLink is "binding" (if we're talking about the same
thing).
This is a good time to narrow-down and give a precise semantics for
these two link-types. And/or use or abuse them, since they are
currently lying fallow, unclaimed, unused.
-- Linas
--
cassette tapes - analog TV - film cameras - you
--
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 [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/CAHrUA36yW87i8aysd4%2BXmE832rkLEb6BdOBaq3x0EQH0tAhcJw%40mail.gmail.com
<https://groups.google.com/d/msgid/opencog/CAHrUA36yW87i8aysd4%2BXmE832rkLEb6BdOBaq3x0EQH0tAhcJw%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/f446b992-89a4-66e8-383e-9ac92810bddd%40gmail.com.
