Linas, yes, I've heard about AtomSpaceLink proposal, and I'm really happy
that Atomese is moving forward in the directions we also consider useful
because it justifies our own conclusions. And I meant neither that
AtomSpaceLink would be difficult to add nor that we are lacking it so
badly. My point was that the necessity for this link can follow from the
underlying formal semantics of Atomese (in sense of possible new design),
and if it will be so, we'll get a lot of additional useful properties "for
free" instead of just adding one independent feature after another, which
will be lacking these properties (or will be not that easy to implement).

-- Alexey

чт, 16 июл. 2020 г. в 21:03, Linas Vepstas <[email protected]>:

> Alexey .. continuing to listen to you talk .. you should be aware of
> AtomSpaceLink. This is a proposed link type that would allow you to write
> things like
>
> (AtomSpaceLink
>      (Node "name of the atomsapace")
>      (Atom "stuff"))
>
> Details are discussed in one of the github design proposal issues.
>
> Implementing this is *easy* (I could do it in a day or two) but the
> primary problem is that the obvious implementation would cost a fair amount
> of RAM. Since no one was demanding this feature urgently, it was never
> implemented.
>
> (I dislike anything that increases RAM usage, or slows things down)
>
> -- linas
>
> --
> Verbogeny is one of the pleasurettes of a creatific thinkerizer.
>         --Peter da Silva
>
> --
> 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/CAHrUA35mY2Wg%3D%2BHd5qpVz8jbBTQ3TGsgnj%3D%3DPX2OWgDjxxggfg%40mail.gmail.com
> <https://groups.google.com/d/msgid/opencog/CAHrUA35mY2Wg%3D%2BHd5qpVz8jbBTQ3TGsgnj%3D%3DPX2OWgDjxxggfg%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/CABpRrhxabS8M7t2yXguD2PpOa_Eay4QwL6ZMYuwAeryrXYLNBQ%40mail.gmail.com.

Reply via email to