Monday, April 27, 2009
Humanity Close to Passing the Hofstadter-Turing Test?
A version of the Turing Test now running in Second Life could one day prove that humanity is truly intelligent.
Various versions of the Turing test have been put forward over the years but only one is so tough that even humans haven't yet passed it. That will change if Florentin Neumann at the University of Paderborn in Germany and a couple of pals have their way.
This alternate exam is called the Hofstadter-Turing Test, after Douglas Hofstadter who put forward a version of the idea in an essay called Coffee House Conversation in 1982. Here's how it works (pay attention because it contains a certain circularity to the argument):
An entity passes the Hofstadter-Turing Test if it first creates a virtual reality, then creates a computer program within that reality which must finally recognise itself as an entity within this virtual environment by passing the Hofstadter-Turing Test.
Spot the tricky circularity to this test? Players can only pass if they create a virtual intelligence which must then pass the test itself. And since that hasn't been achieved by any human in history, nobody has yet passed.
What's interesting about the paper though, is that Neumann and co claim that humanity is moving closer to achieving a pass. First of all, we're half way there because we've already built various virtual worlds. And now Neumann and co claim to have implemented a version of the Hofstadter-Turing Test in the Second Life virtual world.
"We have succeeded in implementing within Second Life the following virtual scenario: a keyboard, a projector, and a display screen. An avatar may use the keyboard to start and play a variant of game classic Pac-Man, i.e. control its movements via arrow keys."
They go on to say:
"With some generosity, this may be considered as 2.5 levels of the Hofstadter-Turing Test:
1st: The human user installs Second Life on his computer and sets up an avatar.
2nd: The avatar implements the game of Pac-Man within Second Life.
3rd: Ghosts run through the mace on the virtual screen.
Observe that the ghosts indeed contain some (although admittedly very limited)
form of intelligence represented by a simple strategy to pursue Pacman."
They're absolutely right that taking this on board requires a remarkable amount of generosity: the Ghosts in a Pacman game are unlikely to ever put in a decent challenge in any other type of Turing Test.
But suppose we give them the generosity they desire. The process raises some interesting ways of analysing the various levels of reality that could occur when machines become intelligent. And what of the possibility that our efforts may be validating the intelligence of a programmer exactly one level higher than us?
Ref: arxiv.org/abs/0904.3612: Variations of the Turing Test in the Age of Internet and Virtual Reality
Comments
chrisjmiller
04/27/2009
Posts:26
contain a source programming series of commands
that will be used not only to design the 2nd stage,
but also be a part of the last stage language used
to program the end game.
fegbdf
04/27/2009
Posts:4
The problem, and the beauty, of many of the works by Hofstadter lies exactly in the circularity of their definitions.
To fulfill the H-T test we need to build a synthetic intelligence which needs to build another synthetic intelligence which needs to build [ecc]... It's not a problem of logic, this process is possible from a theoretical point of view but, considering every step as possible in a finite time, the complete loop would take an infinite time !
P.S.: a even more subtile problem with this kind of recursive definitions regards entropy... even if we could use an infinite time to build all this intelligence-tree the system would need an infinite amount of energy and an infinite amount of space. The only moment the humanity will see the problem solved will be both after an infinite time and one second before the universe will blow up !!
riccardo.s
04/28/2009
Posts:3
micro commands which in various combinationss form
macro commands which in various combinations form
super macro commands and so FORTH.
fegbdf
04/28/2009
Posts:4
mikew12345
05/02/2009
Posts:2
Henry57069
04/28/2009
Posts:1
z0rr0
04/28/2009
Posts:54
asiwel
04/30/2009
Posts:8
Thank you
fegbdf
05/01/2009
Posts:4
clarification. In this case Entropic refers to the
code or design that when carried to subsequent levels becomes unneccessary, however is executed at
each level along with the uneccessary code
that is carried to each added subsequent level that
may when accumulated prevent the equation from ever
reaching the end result.
fegbdf
05/11/2009
Posts:4