What should AI want from the supercomputers

Abstract While some proposals for supercomputers increase the powers of existing machines like the CDC and Cray supercomputers, others suggest radical changes of architecture to speed up non-traditional operations such as logical inference in PROLOG, recognition/action in production systems, or message passing We examine the case of parallel PROLOG to identify several related computations which subsume those of parallel PROLOG, but which have much wider interest, and which may have roughly the same difficulty of mechanization Similar considerations apply to some other proposed architectures as well, raising the possibility that current efforts may be limiting their aims unnecessarily EXCITEMENT HAS BEEN GROWING over computers bigger, faster, and more capable than ever before, the so-called supercomputers. Some of the proposals for new machines amplify the strengths of existing supercomputers like the CUBER 205 and the CRAY-1, while other proposals depart more radically from traditional architectures by organizing @ 198