Archives
 
 
 
  Special
 
 
 
  About Us
 
 
 

Newsletter
Free E-mail Newsletter from BYTE.com

 
    
           
Visit the home page Browse the four-year online archive Download platform-neutral CPU/FPU benchmarks Find information for advertisers, authors, vendors, subscribers Request free information on products written about or advertised in BYTE Submit a press release, or scan recent announcements Talk with BYTE's staff and readers about products and technologies

ArticlesA Model for Future AI Research


March 1995 / Books & CD-ROMs / A Model for Future AI Research
JON UDELL

FLUID CONCEPTS AND CREATIVE ANALOGIES: COMPUTER MODELS OF THE FUNDAMENTAL MECHANISMS OF THOUGHT by Douglas Hofstadter and the Fluid Analogies Research Group, Basic Books, ISBN 0-465-05154-5, $30

Fifteen years ago, Gödel, Escher, Bach: An Eternal Golden Braid exploded on the literary scene, earning its author a Pulitzer prize and a monthly column in Scientific American. Douglas Hofstadter's exuberant synthesis of math, music, and art, and his inspired thought experiments with ``tangled hierarchy,'' recursion, pattern recognition, figure/ground reversal, and self-reference, delighted armchair philosophers and AI theorists. But in the end, many people believed that these intellectual games yielded no useful model of cognition on which to base future AI research.

Now Flu id Concepts and Creative Analogies presents that model, along with the computer programs Hofstadter and his associates have designed to test it. These programs work in stripped-down yet surprisingly rich microdomains. Here's one example from the Copycat domain: ``Suppose the letter-string abc were changed to abd; how would you change the letter-string xyz in the same way?''

A shallow analogy emerges if you answer xyd. But that's unsatisfying, because it doesn't acknowledge features such as sequence, successorship, and the special roles of a and z as first and last. A more subtle interpretation yields the more satisfying answer wyz, in which the role of d as the successor to c in an ascending sequence anchored at the beginning of the alphabet mirrors that of w as the predecessor of x in a descending sequence anchored at the end of the alphabet.

The challenge for Copycat, the program built to solve this class of problem, was not only to be able to arrive at the answer wyz but to get there in the s ame way humans do. Hofstadter reports that just as human subjects usually answer xyd but are more satisfied when they sometimes discover wyz, so it is with Copycat.

Concepts? Discovery? Satisfaction? These are, of course, dangerously loaded terms. Here's how Copycat actually works: It uses one network, called the Slipnet, to model concepts, both literal (e.g., the letter a) and abstract (e.g., same, opposite, and successor). Links encode distances between pairs of concepts. The distances vary dynamically under the influence of another network, called the Workspace. This is where software agents assemble and tear down structures on various levels--bonds between adjacent letters, groups of letters, and correspondences between groups. Many agents are always running. They're chosen randomly from a larger population of agents scheduled to run. That randomness, governing interplay between conceptual (Slipnet) and perceptual (Workspace) activities, is what enables Copycat to sometimes ``discover'' wyz. The qu ality of structure and depth of concepts assembled in the Workspace are what measure Copycat's ``satisfaction'' with that answer.

Hofstadter boldly claims that Copycat captures fundamental processes of creative intelligence. That's radical enough, but what will make this book even more controversial is that he considers and violently rejects the models put forward by other cognitive scientists.

Hofstadter, like the competitors he denounces, must ultimately appeal to the performance of a computer program in some artificial-problem domain (``look, it finds wyz'') as evidence of success. Thus, the Hofstadter-uber-alles attitude can be justified only by compelling explanations of why a domain is meaningful and how a program's performance in a domain models real aspects of intelligence. I find the explanations compelling. Maybe you won't. But either way, the cards are mostly on the table.


Jon Udell is a BYTE senior technical editor at large. You can reach him on the Internet or BIX at judell@bix.com .

Up to the Books & CD-ROMs section contentsGo to previous article: Star Trek Meets QuickTime VRGo to next article: Spelunking The Cellars Of Windows 95SearchSend a comment on this articleSubscribe to BYTE or BYTE on CD-ROM  
Flexible C++
Matthew Wilson
My approach to software engineering is far more pragmatic than it is theoretical--and no language better exemplifies this than C++.

more...

BYTE Digest

BYTE Digest editors every month analyze and evaluate the best articles from Information Week, EE Times, Dr. Dobb's Journal, Network Computing, Sys Admin, and dozens of other CMP publications—bringing you critical news and information about wireless communication, computer security, software development, embedded systems, and more!

Find out more

BYTE.com Store

BYTE CD-ROM
NOW, on one CD-ROM, you can instantly access more than 8 years of BYTE.
 
The Best of BYTE Volume 1: Programming Languages
The Best of BYTE
Volume 1: Programming Languages
In this issue of Best of BYTE, we bring together some of the leading programming language designers and implementors...

Copyright © 2005 CMP Media LLC, Privacy Policy, Your California Privacy rights, Terms of Service
Site comments: webmaster@byte.com
SDMG Web Sites: BYTE.com, C/C++ Users Journal, Dr. Dobb's Journal, MSDN Magazine, New Architect, SD Expo, SD Magazine, Sys Admin, The Perl Journal, UnixReview.com, Windows Developer Network