On Tue, Jun 20, 2017 at 2:29 AM, Nil Geisweiller
<[email protected]> wrote:
> What do you mean exactly by "useful(A==>D)"?
What I was thinking was: If the implication [666], e.g.
ImplicationLink [handle=666]
EvaluationLink
PredicateNode "eat"
ListLink
ConceptNode "Ben"
ConceptNode "cockroach"
InheritanceLink
ConceptNode "Ben"
ConceptNode "weird"
was used or created by the BC, and was found to be useful for whatever
inference the BC was doing when it used or created [666], then the
utility of this link should be annotated via
EvaluationLink
PredicateNode "useful"
ListLink
[666]
[111]
where [111] is the handle of the target of the BC inference the BC was
doing when it created [666].
So maybe my example should look more like
A ==> B, B==>C |- A==>C
A==>C, C ==> D |- A ==>D
HebbianLink (D,B)
useful(A==>D, T)
where T is a variable that matches the target of prior BC inferences...
ben
--
Ben Goertzel, PhD
http://goertzel.org
"I am God! I am nothing, I'm play, I am freedom, I am life. I am the
boundary, I am the peak." -- Alexander Scriabin
--
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 post to this group, send email to [email protected].
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/CACYTDBfn6c2Zi1aL4gdKbOq_mmkE1TU7H_%3DuchxFQKAvoh2bPA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
