How can an artificial agent react to a situation after performing the correct amount of thinking? My Ph.D. dissertation (Zilberstein 1993)2 presents a theoretical framework and a programming paradigm that provide an answer to this question.

Moore's technique employs a conventional

In a companion paper it was shown that the class of constant-depth determinate k-ary recursive clauses is efficiently learnable. In this paper we present negative results showing that any natural generalization of this class is hard to learn in Valiant's model of pac-learnability. In particular, we show that the following program classes are cryptographically hard to learn: programs with an unbounded number of constant-depth linear recursive clauses; programs with one constant-depth determinate clause containing an unbounded number of recursive calls; and programs with one linear recursive clause of constant locality. These results immediately imply the non-learnability of any more general class of programs. We also show that learning a constant-depth determinate program with either two linear recursive clauses or one linear recursive clause and one non-recursive clause is as hard as learning boolean DNF. Together with positive results from the companion paper, these negative results establish a boundary of efficient learnability for recursive function-free clauses.

We study the process of multi-agent reinforcement learning in the context ofload balancing in a distributed system, without use of either centralcoordination or explicit communication. We first define a precise frameworkin which to study adaptive load balancing, important features of which are itsstochastic nature and the purely local information available to individualagents. Given this framework, we show illuminating results on the interplaybetween basic adaptive behavior parameters and their effect on systemefficiency. We then investigate the properties of adaptive load balancing inheterogeneous populations, and address the issue of exploration vs.exploitation in that context. Finally, we show that naive use ofcommunication may not improve, and might even harm system efficiency.

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.

The vertical launch system (vls) tech-assist expert system is being used by the in-service engineering agent as a force multiplier to maintain the readiness, with fewer resources, of a growing population of vlss in the U.S. Navy fleet. This article describes the collaborative development of this knowledge-based system for diagnosis; its main features, including case-based and model-based reasoning; and the lessons we learned from the process.

Hughes Missile Systems (Tucson, Lear Astronics (Santa Monica and to "enter" the surgical area, as if they Ariz.) is providing intelligent character Ontario, Calif.) is combining neural were actually there. Cross/Blue Shield (New York, N.Y.) to enhance its Autonomous Landing FuziWare (Knoxville, Tenn.), a developer expedite the processing of medical Guidance (ALG) system. Empire will install the is using a neural network-based tools for business and engineering ICRs at its Yorktown Heights and massively parallel coprocessor for solutions, has received a patent from Manhattan offices, where they will be real-time image processing in the the U.S. Department of Commerce ALG system, which enables commercial Patent and Trademark Office for its used to process about 10,000 documents and military aircraft pilots to FuziCalc product, a fuzzy spreadsheet per day. The claims in the patent cover various fuzzy number The Boston Museum of Fine Arts Researchers at Georgia Tech (Atlanta, interface elements as well as the (Boston, Mass.) has developed a virtual Ga.) have created intelligent agent entire fuzzy number processing system. TOAK navigates and surgical equipment, has implemented through multiple networks and a virtual reality application a complex 3D model derived from across diverse computer systems to for technical design presentation.

The Workshop on Using Knowledge in Its Context was held in Chambery, France, on 28 August 1993, preceding the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93). This article provides a summary of the discussions between the participants before (by e-mail) and during the one-day workshop. It is clear from these discussions that the notion of context is far from defined and is dependent in its interpretation on a cognitive science versus an engineering (or system building) point of view. In identifying the two points of view, this workshop permitted us to go one step further than previous workshops (notably Maskery and Meads [1992] and Maskery, Hopkins, and Dudley [1992]). Once a distinction is made on the viewpoint, one can achieve a surprising consensus on the aspects of context that the workshop addressed -- mainly, the position, the elements, the representation, and the use of context. Despite this consensus on the aspects of context, agreement on the definition of context was not yet achieved.

COMIX (configuration of mixing machines) is a system that assists members of the EKATO Sales Department in designing a mixing machine that fulfills the requirements of a customer. It is used to help the engineer design the requested machine and prepare an offer that's to be submitted to the customer. comix integrates more traditional software techniques with explicit knowledge representation and constraint propagation. During the process of routine design, some design decisions have to be made with uncertainty. By including knowledge from process technology and company experience in the mechanical design, a sufficiently high degree of flexibility is achieved that the system can even assist in difficult design situations. The success of the system can be measured by the increase in the quantity and the quality of the submitted offers.

's central purpose is to find the most The use of composite materials, Composite part fabrication requires two especially in aerospace applications, is on the major steps: layup and curing. Layup is the increase because of their unique weight and painstaking process in which multiple layers strength qualities. Depending on the orientation of graphite and fiberglass composite material of the graphite fibers, a part can be are fitted by hand on the exterior of a contoured extremely flexible in one direction but rigid mold. In addition, a part made from takes from two to seven days, depending on composite material is both lighter and the size of the mold and the skill of the technician. The increased use of In the second step, curing, the molded graphite parts, as well as the high cost of a composite material is hardened by pressurized spoiled part (as much as $50,000 for a single heating in a large convection autoclave.