UMBC ebiquity
AI

FIm classic Metropolis opens tonight in Baltimore

June 11th, 2010, by Tim Finin, posted in GENERAL

The newly restored complete version of Metropolis opens tonight the Senator Theater for a one-week run. If you like movies about robots, or dystopian futures or just like classic fims that made a difference, it is well worth seeing.

Baltimore is lucky to be one of about ten cities in the US screening it this summer and the only one on the east coast outside of Boston. From the Baltimore Sun

“This “complete” version of Lang’s silent sci-fi extravaganza restores all of its subplots and nearly all of its surging imagery. With Gottfried Huppertz’s soaring romantic score heard in full for the first time, “Metropolis” offers an engulfing audiovisual experience. It leaves you shaking your head in wonder and disbelief.

Those new to the film can sit back and be overwhelmed. Those who’ve seen it have the additional pleasure of watching a puzzle solved before your eyes. Roughly 25 minutes longer than the 2002 version, this print of “Metropolis” uses footage from a 16-millimeter dupe negative found in Buenos Aires to fill in some major bits and pieces — and some minor ones.

You can tell the 16-mm footage from the drop in picture quality. But the effect is thrilling, not jarring. This print combines the ecstasy of seeing a peak accomplishment in pristine form with the frisson movie-lovers get from viewing films as artifacts of their time, aging the way gardens or buildings do.”

RPI group developing Second Life robot

May 18th, 2008, by Tim Finin, posted in Agents, AI, GAIM, Social media

AP reports that an RPI group is developing a robot for Second Life, Researchers teach ‘Second Life’ avatar to think. Actually, it’s a robot with the brain of a four-year old pre-schooler.

“Edd Hifeng barely merits a second glance in “Second Life.” A steel-gray robot with lanky limbs and linebacker shoulders, he looks like a typical avatar in the popular virtual world. But Edd is different.

His actions are animated not by a person at a keyboard but by a computer. Edd is a creation of artificial intelligence, or AI, by researchers at Rensselaer Polytechnic Institute, who endowed him with a limited ability to converse and reason. It turns out “Second Life” is more than a place where pixelated avatars chat, interact and fly about. It’s also a frontier in AI research because it’s a controllable environment where testing intelligent creations is easier.

“It’s a very inexpensive way to test out our technologies right now,” said Selmer Bringsjord, director of the Rensselaer Artificial Intelligence and Reasoning Laboratory.”

There’s more information in an article on Virtual World News. Apparently the goal is not to build interesting Second Life Bots using a variety of hacks, but to demonstrate human-like behaviour using more principled techniques.

“RPI is looking, initially, at a “theory of mind” for children, specifically with a false-belief test. In the real world, a child (age 4) would be shown a person placing a teddy bear in a cabinet. When the first person leaves, a second person would move the bear to another spot, like a refrigerator. When asked where the first person will look for the bear, they usually answer with the refrigerator due to a lack of understanding of other people. In Second Life, an automated theorem prover and procedures for converting conversational English into formal logic make up the brain of “Eddie,” the four-year-old avatar. When posed the above problem, Eddie responded as the human child would.”

Here’s a video of Eddie in action.


Solving Rubik’s Cube requires 25 or fewer moves

March 29th, 2008, by Tim Finin, posted in AI

Tomas Rokicki has written up a proof that any Rubik’s Cube configuration can be solved in 25 or fewer moves. In his paper, Twenty-Five Moves Suffice for Rubik’s Cube, Rokicki proves that there are no configurations that can be solved in exactly 26 moves. Taken with earlier results, this means that 25 movies should suffice for any solution.

“How many moves does it take to solve Rubik’s Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or more moves; this is a surprisingly large gap. This paper describes a program that is able to find solutions of length 20 or less at a rate of more than 16 million positions a second. We use this program, along with some new ideas and incremental improvements in other techniques, to show that there is no position that requires 26 moves.”

KFC writes on the the physics arXiv blog that

“Rokicki’s proof is a neat piece of computer science. He’s used the symmetry of the cube to study transformations of the cube in sets, rather than as individual moves. This allows him to separate the “cube space” into 2 billion sets each containing 20 billion elements. He then shows that a large number of these sets are essentially equivalent to other sets and so can be ignored. Even then, to crunch through the remaining sets, he needed a workstation with 8GB of memory and around 1500 hours of time on a Q6600 CPU running at 1.6GHz.”

Rokicki is working to establish a bound of 24 moves and thinks that a bound of 20 can eventually be proved.