RE: [agi] An AGI Test/Prize

2007-10-22 Thread John G. Rose
Ben, That is sort of a neat kind of device. Will have to think about that as it is fairly dynamic I may have to look that one up and potentially experiment on it. The kinds of algebraic structures I'm talking about basically are as many as possible. Also things like sets w/o operators,

Re: [agi] An AGI Test/Prize

2007-10-22 Thread J Storrs Hall, PhD
On Monday 22 October 2007 08:05:26 am, Benjamin Goertzel wrote: ... but dynamic long-term memory, in my view, is a wildly self-organizing mess, and would best be modeled algebraically as a quadratic iteration over a high-dimensional real non-division algebra whose multiplication table is

Re: [agi] An AGI Test/Prize

2007-10-22 Thread Benjamin Goertzel
On 10/22/07, J Storrs Hall, PhD [EMAIL PROTECTED] wrote: On Monday 22 October 2007 08:05:26 am, Benjamin Goertzel wrote: ... but dynamic long-term memory, in my view, is a wildly self-organizing mess, and would best be modeled algebraically as a quadratic iteration over a high-dimensional

RE: [agi] An AGI Test/Prize

2007-10-22 Thread John G. Rose
Holy writhing Mandelbrot sets, Batman! Why real and non-division? I particularly don't like real -- my computer can't handle the precision :-) Robin - forget all this digital stuff it's a trap, we need some analog nano-computers to help fight these crispy impostors! John - This list

Re: [agi] An AGI Test/Prize

2007-10-22 Thread Richard Loosemore
Benjamin Goertzel wrote: On 10/22/07, *J Storrs Hall, PhD* [EMAIL PROTECTED] mailto:[EMAIL PROTECTED] wrote: On Monday 22 October 2007 08:05:26 am, Benjamin Goertzel wrote: ... but dynamic long-term memory, in my view, is a wildly self-organizing mess, and would best be

RE: [agi] An AGI Test/Prize

2007-10-22 Thread John G. Rose
Yeah I'm not really agreeing with you here. I feel that, though I haven't really studied other cognitive software structures, but I feel that they can built simpler and more efficient. But I shouldn't come out saying that unless I attack some of the details right? But that's a gut reaction I have

RE: [agi] An AGI Test/Prize

2007-10-22 Thread John G. Rose
Vladimir, I'm using system as kind of a general word for a set and operator(s). You are understanding it correctly except templates is not right. The templates are actually a vast internal complex of structure which includes morphisms which are like templates. But you are right it does

RE: [agi] An AGI Test/Prize

2007-10-21 Thread Edward W. Porter
- From: John G. Rose [mailto:[EMAIL PROTECTED] Sent: Saturday, October 20, 2007 10:58 PM To: agi@v2.listbox.com Subject: RE: [agi] An AGI Test/Prize Edward, Oops missed that - CA (cellular automata) is something that some other people on the list could really enlighten you on as it gets really

Re: [agi] An AGI Test/Prize

2007-10-21 Thread Vladimir Nesov
On 10/21/07, John G. Rose [EMAIL PROTECTED] wrote: Vladimir, That may very well be the case and something that I'm unaware of. The system I have in mind basically has I/O that is algebraic structures. Everything that it deals with is modeled this way. Any sort of system that it analyzes

Re: [agi] An AGI Test/Prize

2007-10-20 Thread Gabriel Recchia
Has anyone come across (or written) any papers that argue for particular low-level capabilities that any system capable of human-level intelligence must possess, and which posits particular tests for assessing whether a system possesses these prerequisites for intelligence? I'm looking for

Re: [agi] An AGI Test/Prize

2007-10-20 Thread David McFadzean
On 10/19/07, Matt Mahoney [EMAIL PROTECTED] wrote: http://www.vetta.org/documents/ui_benelearn.pdf Unfortunately the test is not computable. True but how about testing intelligence by comparing the performance of an agent across several computable environments (randomly-generated finite

RE: [agi] An AGI Test/Prize

2007-10-20 Thread Edward W. Porter
:27 PM To: agi@v2.listbox.com Subject: RE: [agi] An AGI Test/Prize Interesting background about on some thermodynamics history J. But basic definitions of intelligence, not talking about reinventing particle physics here, a basic, workable definition, not rigorous mathematical proof just

Re: [agi] An AGI Test/Prize

2007-10-20 Thread Robert Wensman
Regarding testing grounds for AGI. Personally I feel that ordinary computer games could provide an excellent proving ground for the early stages of AGI, or maybe even better if they are especially constructed. Computer games are usually especially designed to encourage the player towards

RE: [agi] An AGI Test/Prize

2007-10-20 Thread John G. Rose
No you are not mundane. All these things on the list (or most) are very well to be expected from a generally intelligent system or its derivatives. But I have this urge, being a software developer, to smash all these things up into their constituent components, partition commonalties, eliminate

RE: [agi] An AGI Test/Prize

2007-10-20 Thread John G. Rose
Well I'm neck deep in 55,000 semi-colons of code in this AI app I'm building and need to get this bastich out the do' and it's probably going to grow to 80,000 before version 1.0. But at some point it needs to grow a brain. Yes I have my AGI design in mind since late 90's and had been watching

Re: [agi] An AGI Test/Prize

2007-10-20 Thread Benjamin Goertzel
:* Benjamin Goertzel [mailto:[EMAIL PROTECTED] *Sent:* Saturday, October 20, 2007 4:01 PM *To:* agi@v2.listbox.com *Subject:* Re: [agi] An AGI Test/Prize On 10/20/07, Edward W. Porter [EMAIL PROTECTED] wrote: John, So rather than a definition of intelligence you want a recipe for how

RE: [agi] An AGI Test/Prize

2007-10-20 Thread Edward W. Porter
, October 20, 2007 4:44 PM To: agi@v2.listbox.com Subject: RE: [agi] An AGI Test/Prize Well I’m neck deep in 55,000 semi-colons of code in this AI app I’m building and need to get this bastich out the do’ and it’s probably going to grow to 80,000 before version 1.0. But at some point it needs

Re: [agi] An AGI Test/Prize

2007-10-20 Thread Benjamin Goertzel
?act=STf=21t=23 -- Ben -Original Message- *From:* Benjamin Goertzel [mailto:[EMAIL PROTECTED] *Sent:* Saturday, October 20, 2007 5:24 PM *To:* agi@v2.listbox.com *Subject:* Re: [agi] An AGI Test/Prize Ah, gotcha... The recent book Advances in Artificial General Intelligence gives

RE: [agi] An AGI Test/Prize

2007-10-20 Thread John G. Rose
http://en.wikipedia.org/wiki/Algebraic_structure http://en.wikipedia.org/wiki/Cellular_automata Start reading.. John From: Edward W. Porter [mailto:[EMAIL PROTECTED] John, [A]bstract algebra based engine that's basically an algebraic structure pump sounds really

Re: [agi] An AGI Test/Prize

2007-10-20 Thread Vladimir Nesov
On 10/21/07, John G. Rose [EMAIL PROTECTED] wrote: http://en.wikipedia.org/wiki/Algebraic_structure http://en.wikipedia.org/wiki/Cellular_automata Start reading…. John, It doesn't really help in understanding how system described by such terms is related to implementation of AGI. It

RE: [agi] An AGI Test/Prize

2007-10-20 Thread John G. Rose
Vladimir, That may very well be the case and something that I'm unaware of. The system I have in mind basically has I/O that is algebraic structures. Everything that it deals with is modeled this way. Any sort of system that it analyzes it converts to a particular structure that represents the

RE: [agi] An AGI Test/Prize

2007-10-20 Thread John G. Rose
Hi Edward, I don't see any problems dealing with either discrete or continuous. In fact in some ways it'd be nice to eliminate discrete and just operate in continuous mode. But discrete maps very well with binary computers. Continuous is just a lot of discrete, the density depending on

RE: [agi] An AGI Test/Prize

2007-10-20 Thread Edward W. Porter
] -Original Message- From: John G. Rose [mailto:[EMAIL PROTECTED] Sent: Saturday, October 20, 2007 10:39 PM To: agi@v2.listbox.com Subject: RE: [agi] An AGI Test/Prize Hi Edward, I don’t see any problems dealing with either discrete or continuous. In fact in some ways it’d be nice to eliminate

Re: [agi] An AGI Test/Prize

2007-10-19 Thread Benjamin Goertzel
Well, one problem is that the current mathematical definition of general intelligence is exactly that -- a definition of totally general intelligence, which is unachievable by any finite-resources AGI system... On the other hand, IQ tests and such measure domain-specific capabiities as much as

Re: [agi] An AGI Test/Prize

2007-10-19 Thread Mike Tintner
John: I think that there really needs to be more very specifically defined quantitative measures of intelligence. ...Other qualities like creativity and imagination would need to be measured in other ways. The only kind of intelligence you can measure with any precision is narrow AI -

RE: [agi] An AGI Test/Prize

2007-10-19 Thread John G. Rose
I think that there really needs to be more very specifically defined quantitative measures of intelligence. If there were questions that could be asked of an AGI that would require x units of intelligence to solve otherwise they would be unsolvable. I know that this is a hopeless foray on this

Re: [agi] An AGI Test/Prize

2007-10-18 Thread Benjamin Goertzel
I guess, off the top of my head, the conversational equivalent might be a Story Challenge - asking your AGI to tell some explanatory story about a problem that had occurred to it recently, (designated by the tester), and then perhaps asking it to devise a solution. Just my first thought -

Re: [agi] An AGI Test/Prize

2007-10-18 Thread Russell Wallace
On 10/18/07, Benjamin Goertzel [EMAIL PROTECTED] wrote: Hmmm... the storytelling direction is interesting. E.g., you could tell the first half of a story to the test-taker, and ask them to finish it... Or better, draw an animation of (both halves of) it. - This list is sponsored by

Re: [agi] An AGI Test/Prize

2007-10-18 Thread Vladimir Nesov
I think AGI test should fundamentally be a learning ability test. When there's a specified domain in which the system should demonstrate it competency (like 'chatting' or 'playing Go'), it's likely easier to write narrow solution. If system is not a RSI AI already, resulted competency depends on