Oh, I wanted to add one thing that I've learned recently. The core problem of AGI is to come up with hypotheses (hopefully the "right" hypothesis or one that is good enough is included) and then determine whether the hypothesis is 1) acceptable and 2) better than other hypotheses. In addition, you have to have a way to decide *when* to look for better hypotheses, because you can't just always be looking at all possible hypotheses.
So, with that in mind, the reason that natural language can only be very roughly approximated without a lot more knowledge is because there isn't sufficient knowledge to say that one hypothesis is better than another in the vast majority of cases. The AI doesn't have sufficient *reason* to think that the right hypothesis is better than others. The only way to give it that "sufficient reason" is to give it sufficient knowledge. Dave 2010/7/18 David Jones <[email protected]> > Ian, > > Although most people see natural language as one of the most important > parts of AGI, if you think about it carefully, you'll realize that solving > natural language could be done with sufficient knowledge of the world and > sufficient ability to learn this knowledge automatically. That's why i don't > consider natural language a problem we can focus on until we solve the > knowledge problem... which is what I'm focusing on. > > Dave > > 2010/7/18 Ian Parker <[email protected]> > > In my view the main obstacle to AGI is the understanding of Natural >> Language. If we have NL comprehension we have the basis for doing a whole >> host of marvellous things. >> >> There is the Turing test. A good question to ask is "What is the >> difference between laying concrete at 50C and fighting Israel. Google >> translated "wsT jw AlmErkp or وسط جو المعركة " as "central air battle". >> Correct is "the climatic environmental battle" or a more free translation >> would be "the battle against climate and environment". In Turing >> competitions no one ever asks the questions that really would tell AGI apart >> from a brand X chatterbox. >> >> http://sites.google.com/site/aitranslationproject/Home/formalmethods >> >> <http://sites.google.com/site/aitranslationproject/Home/formalmethods>We >> can I think say that anything which can carry out the program of my blog >> would be well on its way. AGI will also be the link between NL and >> formal mathematics. Let me take yet another example. >> >> http://sites.google.com/site/aitranslationproject/deepknowled >> >> Google translated it as 4 times the temperature. Ponder this, you have in >> fact 3 chances to get this right. >> >> 1) درجة means degree. GT has not translated this word. In this context >> it means "power". >> >> 2) If you search for "Stefan Boltzmann" or "Black Body" Google gives you >> the correct law. >> >> 3) The translation is obviously mathematically incorrect from the >> dimensional stand-point. >> >> This 3 things in fact represent different aspects of knowledge. In AGI >> they all have to be present. >> >> The other interesting point is that there are programs in existence now >> that will address the last two questions. A translator that produces OWL >> solves "2". >> >> If we match up AGI to Mizar we can put dimensions into the proof engine. >> >> There are a great many things on the Web which will solve specific >> problems. NL is *THE* problem since it will allow navigation between the >> different programs on the Web. >> >> MOLTO BTW does have its mathematical parts even though it is primerally >> billed as a translator. >> >> >> - Ian Parker >> >> On 18 July 2010 14:41, deepakjnath <[email protected]> wrote: >> >>> Yes, but is there a competition like the XPrize or something that we can >>> work towards. ? >>> >>> On Sun, Jul 18, 2010 at 6:40 PM, Panu Horsmalahti <[email protected]>wrote: >>> >>>> 2010/7/18 deepakjnath <[email protected]> >>>> >>>>> I wanted to know if there is any bench mark test that can really >>>>> convince majority of today's AGIers that a System is true AGI? >>>>> >>>>> Is there some real prize like the XPrize for AGI or AI in general? >>>>> >>>>> thanks, >>>>> Deepak >>>>> >>>> >>>> Have you heard about the Turing test? >>>> >>>> - Panu Horsmalahti >>>> *agi* | Archives <https://www.listbox.com/member/archive/303/=now> >>>> <https://www.listbox.com/member/archive/rss/303/> | >>>> Modify<https://www.listbox.com/member/?&;>Your Subscription >>>> <http://www.listbox.com> >>>> >>> >>> >>> >>> -- >>> cheers, >>> Deepak >>> *agi* | Archives <https://www.listbox.com/member/archive/303/=now> >>> <https://www.listbox.com/member/archive/rss/303/> | >>> Modify<https://www.listbox.com/member/?&;>Your Subscription >>> <http://www.listbox.com> >>> >> >> *agi* | Archives <https://www.listbox.com/member/archive/303/=now> >> <https://www.listbox.com/member/archive/rss/303/> | >> Modify<https://www.listbox.com/member/?&;>Your Subscription >> <http://www.listbox.com> >> > > ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
