Re: [agi] Is there any Contest or test to ensure that a System is AGI?
What is the difference between laying concrete at 50C and fighting Israel?. That is my question my 2 pennyworth. Other people can elaborate. If that question can be answered you can have an automated advisor in BQ. Suppose I want to know about the characteristics of concrete. Of course one thing you could do is go to BQ and ask them what they would be looking for in an avatar. - Ian Parker On 19 July 2010 02:43, Colin Hales c.ha...@pgrad.unimelb.edu.au wrote: Try this one ... http://www.bentham.org/open/toaij/openaccess2.htm If the test subject can be a scientist, it is an AGI. cheers colin Steve Richfield wrote: Deepak, An intermediate step is the reverse Turing test (RTT), wherein people or teams of people attempt to emulate an AGI. I suspect that from such a competition would come a better idea as to what to expect from an AGI. I have attempted in the past to drum up interest in a RTT, but so far, no one seems interested. Do you want to play a game?! Steve On Sun, Jul 18, 2010 at 5:15 AM, deepakjnath deepakjn...@gmail.comwrote: 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 *agi* | Archives https://www.listbox.com/member/archive/303/=now https://www.listbox.com/member/archive/rss/303/ | Modifyhttps://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/ | Modifyhttps://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/ | Modifyhttps://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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
Ian: Suppose I want to know about the characteristics of concrete You seem to think you can know about an object without ever having seen it or physically interacted with it? As long as you have a set of words for the world, you need never have actually experienced or been in the world? You can fight Israel and lay concrete merely by manipulating words? From: Ian Parker Sent: Monday, July 19, 2010 10:39 AM To: agi Subject: Re: [agi] Is there any Contest or test to ensure that a System is AGI? What is the difference between laying concrete at 50C and fighting Israel?. That is my question my 2 pennyworth. Other people can elaborate. If that question can be answered you can have an automated advisor in BQ. Suppose I want to know about the characteristics of concrete. Of course one thing you could do is go to BQ and ask them what they would be looking for in an avatar. - Ian Parker On 19 July 2010 02:43, Colin Hales c.ha...@pgrad.unimelb.edu.au wrote: Try this one ... http://www.bentham.org/open/toaij/openaccess2.htm If the test subject can be a scientist, it is an AGI. cheers colin Steve Richfield wrote: Deepak, An intermediate step is the reverse Turing test (RTT), wherein people or teams of people attempt to emulate an AGI. I suspect that from such a competition would come a better idea as to what to expect from an AGI. I have attempted in the past to drum up interest in a RTT, but so far, no one seems interested. Do you want to play a game?! Steve On Sun, Jul 18, 2010 at 5:15 AM, deepakjnath deepakjn...@gmail.com wrote: 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 agi | Archives | Modify Your Subscription agi | Archives | Modify Your Subscription 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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
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 RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
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/ | Modifyhttps://www.listbox.com/member/?;Your Subscription http://www.listbox.com -- cheers, Deepak --- 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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
not really. On Sun, Jul 18, 2010 at 9:41 AM, 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.comwrote: 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/ | Modifyhttps://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/ | Modifyhttps://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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
Deepak wrote on Sun, 18 Jul 2010: I wanted to know if there is any bench mark test that can really convince a majority of today's AGIers that a System is true AGI? Obvious AGI functionality is the default test for AGI. http://www.scn.org/~mentifex/AiMind.html is an incipient AGI with slowly accreting AGI functionality and with easy accessability due to its running in the MSIE browser. Is there some real prize like the XPrize for AGI or AI in general? thanks, Deepak As others on the AGI list have pointed out, there may not yet be such an AGI Prize, but it would be easy to create one and announce it in http://groups.google.com/group/comp.programming.contests on Usenet. Meanwhile, in other A(G)I news, someone is creating an AI Cookbook in wiki format, with e.g. http://aicookbook.com/wiki/AiMind as a stub added yesterday by Yours Truly, ATM/Mentifex --- 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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
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/formalmethodsWe 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.comwrote: 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/ | Modifyhttps://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/ | Modifyhttps://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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
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/formalmethodsWe 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.comwrote: 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/ | Modifyhttps://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/ | Modifyhttps://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/ | Modifyhttps://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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
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 davidher...@gmail.com 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/formalmethodsWe 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.comwrote: 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/ | Modifyhttps://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/ | Modifyhttps://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/ | Modifyhttps://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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
Deepak, An intermediate step is the reverse Turing test (RTT), wherein people or teams of people attempt to emulate an AGI. I suspect that from such a competition would come a better idea as to what to expect from an AGI. I have attempted in the past to drum up interest in a RTT, but so far, no one seems interested. Do you want to play a game?! Steve On Sun, Jul 18, 2010 at 5:15 AM, deepakjnath deepakjn...@gmail.com wrote: 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 *agi* | Archives https://www.listbox.com/member/archive/303/=now https://www.listbox.com/member/archive/rss/303/ | Modifyhttps://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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
Try this one ... http://www.bentham.org/open/toaij/openaccess2.htm If the test subject can be a scientist, it is an AGI. cheers colin Steve Richfield wrote: Deepak, An intermediate step is the reverse Turing test (RTT), wherein people or teams of people attempt to emulate an AGI. I suspect that from such a competition would come a better idea as to what to expect from an AGI. I have attempted in the past to drum up interest in a RTT, but so far, no one seems interested. Do you want to play a game?! Steve On Sun, Jul 18, 2010 at 5:15 AM, deepakjnath deepakjn...@gmail.com mailto:deepakjn...@gmail.com wrote: 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 *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 [Powered by Listbox] 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 [Powered by Listbox] 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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
Re: [agi] Is there any Contest or test to ensure that a System is AGI?
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=8660244id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com