It's the hard problem of intelligence because it is incomputable and because once you've solved it, you have optimal prediction. What's left after compression is sequential decision theory which, while hard, is at least computable.
On Sun, Oct 6, 2019 at 5:33 AM Stefan Reich via AGI <[email protected]> wrote: > Why is compression "the hard problem of intelligence"? We have > compression. I'd say the hard problem of intelligence is making an AI that > builds a boat and sails in it. We do not have that yet. > > On Sun, 6 Oct 2019 at 06:37, James Bowery <[email protected]> wrote: > >> Chuck chose my question the first to answer on Slashdot circa 2001 >> <https://developers.slashdot.org/story/01/09/11/139249/chuck-moore-holds-forth>. >> As it pertains to the relationship between programming and compression -- >> specifically programming _as_ compression -- and as compression is The Hard >> Problem of Intelligence, you my want to take a gander and consider whether >> you are barking up the right tree with your approach. So far as I can >> tell, involves inference based on something other than an optimally >> compressed set of facts -- which means it's ill-founded. Don't feel alone, >> however. The vast majority of machine learning folks are wandering without >> that compass in the same general desert -- although they are armed with a >> bag of tricks that may have been discovered by those possessing said >> compass. >> >> On Sat, Oct 5, 2019 at 6:38 PM A.T. Murray <[email protected]> wrote: >> >>> MindForth resets associative tags before each operation of Indicative >>> module. >>> >>> In the MindForth artificial intelligence (AI) for robots, we will now >>> start to display an apparatus of diagnostic messages at the start of the >>> Indicative module to tell us the values being held in variables which serve >>> the purpose of creating associative tags to interconnect the concepts being >>> expressed as English words during the operation of the Indicative >>> mind-module. Since the ConJoin module will often insert a conjunction >>> between two thoughts being generated, the AI Mind Maintainer needs >>> assurance that variable-values operative during one thought do not >>> erroneously get carried over past a conjunction into the separate process >>> of generating another thought. >>> >>> Just by resetting the tsj time-of-subject variable to zero at the start >>> of the Indicative module, we have made the Forthmind able to trigger >>> repeated instances of logical InFerence. Each running of the Indicative >>> module amounts to a fresh declaration of the associative tags in the >>> conceptual flag-panel that supports the generation of ideas in the >>> MindGrid. The following dialog still has a few problems, but it shows the >>> repeated triggering of an inference. >>> >>> john is a student >>> >>> DOES JOHN READ BOOKS >>> no >>> >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> A JOHN DOES NOT READ BOOKS >>> >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> PROFESSORS TEACH THE STUDENTS AND >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> STUDENTS READ THE BOOKS >>> >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> I UNDERSTAND YOU AND >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> YOU ARE A MAGIC >>> andru is student >>> >>> DOES ANDRU READ THE BOOKS >>> no >>> >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> AN ANDRU DOES NOT READ THE BOOKS AND >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> YOU READ THE BOOKS >>> >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> PROFESSORS TEACH THE STUDENTS AND >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> STUDENTS READ THE BOOKS >>> >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> STUDENTS READ THE BOOKS AND >>> Indicative: tsj= 0 tvb= 0 tdo= 0 >>> I THINK >>> >>> http://ai.neocities.org/mindforth.txt >>> >>> https://groups.google.com/d/msg/comp.lang.forth/7gUrhuaL9gc/j0zMg_3CBQAJ >>> >>> > > -- > Stefan Reich > BotCompany.de // Java-based operating systems > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/T2d0576044f01b0b1-Mf68b88381dafd59714cedc9e> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T2d0576044f01b0b1-M98f56bdcdcbbc80628157ea6 Delivery options: https://agi.topicbox.com/groups/agi/subscription
