This report stems from a workshop that was organized by the Association for the Advancement of Artificial Intelligence (AAAI) and cosponsored by the Information Technology and Organizations Program of the National Science Foundation. The purpose of the workshop was twofold: first, to increase awareness among the artificial intelligence (AI) community of opportunities presented by the National Information Infrastructure (NII) activities, in particular, the Information Infrastructure and Tech-nology Applications (IITA) component of the High Performance Computing and Communications Program; and second, to identify key contributions of research in AI to the NII and IITA.

The 1994 AAAI Robot-Building Laboratory (RBL-94) was held during the Twelfth National Conference on Artificial Intelligence. The primary goal of RBL-94 was to provide those with little or no robotics experience the opportunity to acquire practical experience in a few days. Thirty persons, with backgrounds ranging from university professors to practitioners from industry, participated in the three-part lab.

Boddy 1988) are employed wherever possible. 's software consists of a dozen different Sonar information is to and from the hardware components obtained at a rate of 1.3 hertz (Hz), and camera of the robot. On top of these, a fast images are processed at a rate of 0.7 Hz. obstacle-avoidance routine analyzes sonar's control software, as exhibited analyzing sonar information. It has been operated repeatedly and obstacles that block the path of the for durations as long as one hour in populated robot. 's control flow is monitored by an office environments without human integrated task planner and a central user intervention.

Systems (QR '94) was held on 7-10 June A hot issue in cognitive modeling We received 53 submissions and is spatial and diagrammatic reasoning. The core issues of qualitative reasoning Hari Narayanan and his colleagues The eighth workshop was in Nara, included qualitative and (Advanced Research Laboratory, Japan, celebrating the community's causal modeling of the world, automated Hitachi Ltd.) exploited an architecture escape from a simple flip-flop behavior modeling, and qualitative of qualitative visual reasoning and its voyage to a more complex simulation. Interestingly, this transition attracted the attention of many participants. In fact, constructing a component-based sophistication to base qualitative several demonstrations, including model for the input-document handler reasoning on a firm ground. University) presented activity analysis, model abstraction that makes test Iwasaki and Farquhar and will be demonstrating how qualitative generation feasible for continuous held in Monterey, California.

We present algorithms that learn certain classes of function-free recursive logic programs in polynomial time from equivalence queries. In particular, we show that a single k-ary recursive constant-depth determinate clause is learnable. Two-clause programs consisting of one learnable recursive clause and one constant-depth determinate non-recursive clause are also learnable, if an additional ``basecase'' oracle is assumed. These results immediately imply the pac-learnability of these classes. Although these classes of learnable recursive programs are very constrained, it is shown in a companion paper that they are maximally general, in that generalizing either class in any natural way leads to a computationally difficult learning problem. Thus, taken together with its companion paper, this paper establishes a boundary of efficient learnability for recursive logic programs.

Multiclass learning problems involve finding a definitionfor an unknown function f(x) whose range is a discrete setcontaining k > 2 values (i.e., k ``classes''). Thedefinition is acquired by studying collections of training examples ofthe form [x_i, f (x_i)]. Existing approaches tomulticlass learning problems include direct application of multiclassalgorithms such as the decision-tree algorithms C4.5 and CART,application of binary concept learning algorithms to learn individualbinary functions for each of the k classes, and application ofbinary concept learning algorithms with distributed outputrepresentations. This paper compares these three approaches to a newtechnique in which error-correcting codes are employed as adistributed output representation. We show that these outputrepresentations improve the generalization performance of both C4.5and backpropagation on a wide range of multiclass learning tasks. Wealso demonstrate that this approach is robust with respect to changesin the size of the training sample, the assignment of distributedrepresentations to particular classes, and the application ofoverfitting avoidance techniques such as decision-tree pruning.Finally, we show that---like the other methods---the error-correctingcode technique can provide reliable class probability estimates.Taken together, these results demonstrate that error-correcting outputcodes provide a general-purpose method for improving the performanceof inductive learning programs on multiclass problems.

Four versions of a k-nearest neighbor algorithm with locally adaptive k are introduced and compared to the basic k-nearest neighbor algorithm (kNN). Locally adaptive kNN algorithms choose the value of k that should be used to classify a query by consulting the results of cross-validation computations in the local neighborhood of the query. Local kNN methods are shown to perform similar to kNN in experiments with twelve commonly used data sets. Encouraging results in three constructed tasks show that local methods can significantly outperform kNN in specific applications. Local methods can be recommended for online learning and for applications where different regions of the input space are covered by patterns solving different sub-tasks.

Four versions of a k-nearest neighbor algorithm with locally adaptive k are introduced and compared to the basic k-nearest neighbor algorithm (kNN). Locally adaptive kNN algorithms choose the value of k that should be used to classify a query by consulting the results of cross-validation computations in the local neighborhood of the query. Local kNN methods are shown to perform similar to kNN in experiments with twelve commonly used data sets. Encouraging results in three constructed tasks show that local methods can significantly outperform kNN in specific applications. Local methods can be recommended for online learning and for applications where different regions of the input space are covered by patterns solving different sub-tasks.

Four versions of a k-nearest neighbor algorithm with locally adaptive kare introduced and compared to the basic k-nearest neighbor algorithm (kNN). Locally adaptive kNN algorithms choose the value of k that should be used to classify a query by consulting the results of cross-validation computations in the local neighborhood of the query. Local kNN methods are shown to perform similar to kNN in experiments with twelve commonly used data sets. Encouraging resultsin three constructed tasks show that local methods can significantly outperform kNN in specific applications. Local methods can be recommended for online learning and for applications wheredifferent regions of the input space are covered by patterns solving different sub-tasks.

Several factors Chapter 2 describes a small fragment Chapters 8, 9, and 10 describe have led to the increase in interest in of probability and information recent research on more isolated this field, which is heavily influenced theory, including brief coverage of aspects of parsing and language analysis.