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 <ianpark...@gmail.com> > 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 <deepakjn...@gmail.com> 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 <nawi...@gmail.com>wrote: >> >>> 2010/7/18 deepakjnath <deepakjn...@gmail.com> >>> >>>> 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