Numbers combined together are a form of language that can form every other language.
and... If you insist on using a "natural language", why don't you use the language most natural to computers - ie code ( which can directly translates to numbers - machine language ...) Code is better because you can automatically test then observe to see if your new code combination works. It's also more pedantic and doesn't allow ambiguity. On Sun, 2010-07-18 at 21:28 +0100, Ian Parker wrote: > 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 > > > 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 | Modify > Your Subscription > > > > > -- > cheers, > Deepak > agi | Archives | Modify Your > Subscription > > > > agi | Archives | Modify Your > Subscription > ------------------------------------------- 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
