bgoertzel

yah -- This seems like a reasonable approach for now.. any thoughts from Dr. Geisweiller? ben On Tue, Jul 7, 2015 at 10:29 AM, Linas Vepštas [email protected] wrote: > Hi...

Hmm, OK, well if you really want CountTV to be like this, then we will need to come up with another name for the simplistic CountTV that we want (without...

> I guess PLN has a set of formulas for mashing together distributions in some way, during inference? Indeed it does ;) On Wed, Oct 17, 2018 at 10:36 PM...

A histomorphism is basically a fold operation w/ a memory (so each step of the fold can take place incorporating knowledge of what's been done in the folding process so...

Ba-Da-Boom !! Here finally is what I was thinking when I passed around that paper on Programming with Galois Connections some time ago... This is in the same vein as...

Hmm... I have read this thread moderately carefully, and unfortunately it is not yet quite clear to me how Linas wants to see Anatoly/Vitaly implement their desired functionality.... On Fri,...

Linas, I don't understand your metaphor "GroundedSchema and ExecutionOutput are ugly hacks meant to solve simple problems, and you are pushing them far beyond what they can carry, ExecutionOutput/GroundedScheme are...

hey, this looks pretty cool ... it all looks very clean to me, and I think this can interestingly pave the way toward a Haskell interface to the Atomspace as...

> > Let's also define a type for it since it is used a lot > > > > Predicate == [Atom] -> TV > > > > EVALUATION_LINK ::...

> IMPLICATION_LINK :: Predicate -> Predicate -> TV > > > EQUIVALENCE_LINK :: Predicate -> Predicate -> TV > > > > Both the above seem wrong as well. I...