Pattern gram in the current implementation is about the numbers of root Links one pattern contains. A 1-gram pattern can contain many many variablenodes if there are many many Links nested in a root Link, in this case, the ExecutionOutputLinks .
On Wed, Jun 14, 2017 at 4:01 PM, Ben Goertzel <[email protected]> wrote: > Hi, > > I'm busy tonight and tomorrow but can look at this Friday, unless Nil > has studied it first ;) > > About > > > GroundedSchemaNode and TypeNode are not considered to become > VariableNodes. > > Seems it doesn't make a lot of sense to make them into variables. > > well it does make sense to make these into variables, but it may not > be urgent... > > In dependent type theory one has lots of type-valued variables, it's > actually critical to programming in languages like Agda that are based > on dependent types and Curry-Howard correspondence, etc. > > About pattern gram, I'm a little confused. We do want patterns > involving more than one PatternVariableNode, in mining patterns from > the PLN inference histories... don't we? > > 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/CALpD4-%2Btexqpj9UkSM0CdRsawmLS%3DW7D5zbAhP80mgej0Och%2BQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
