Re: [opencog-dev] Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

2021-01-03 Thread Ben Goertzel
thanks! as you know a group of us are working on a radical redesign (and reimplementation of large parts of) of the OpenCog system (Hyperon) , which is currently at the prototype phase.. we are guided in large part by pragmatic lessons in working w. the current OpenCog version, but we also want to

Re: [opencog-dev] Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

2021-01-03 Thread Jacques BasaldĂșa
Thanks for the great reading, Ben. It is amazing how much work and thought you are putting into the foundations of opencog. I confess that I wasn't familiarized with the idea of paraconsistent logic and it helps understanding the brittleness of something too logic based. Carry on with the great wor