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/CAHrUA3736DfzAAeQj6dS73P859U_1yRbr5f%3DCng%2B%3DvyPo9fOAQ%40mail.gmail.com.
