Hi Linas, Thanks for listening. Yes, I know about these links and I mentioned that there is some machinery for types and signatures already introduced in Atomese. And I meant precisely these links. Maybe I should mention them on slides explicitly to avoid confusion. Of course, in the context of the current design, the incomplete functionality of type checking, etc. can be considered as minor issues, and the lack of interest in it is the reason for its incomplete state for sure. But my point was that these minor issues are actually connected to more interesting and more AGI-ish issues, which could be taken into account in a new design...
-- Alexey чт, 16 июл. 2020 г. в 20:45, Linas Vepstas <[email protected]>: > Listening to your talk, you mentioned "specified signatures for links" -- > and "type-checking". > > There is some code for this, it is incomplete, and unused, mostly because > no one was interested in it. For details, see > > https://wiki.opencog.org/w/SignatureLink > and > https://wiki.opencog.org/w/TypedAtomLink > and > https://wiki.opencog.org/w/ArrowLink > > --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/CABpRrhw9P6zutY3L-ywdHe5enDDEqEhV9AwPU-UEsLMSU9eVEQ%40mail.gmail.com.
