The Association for the Advancement of Artificial Intelligence held its 1991 Spring Symposium Series on March 26-28 at Stanford University, Stanford, California. This article contains short summaries of the eight symposia that were conducted: Argumentation and Belief, Composite System Design, Connectionist Natural Language Processing, Constraint-Based Reasoning, Implemented Knowledge Representation and Reasoning Systems, Integrated Intelligent Architectures, Logical Formalizations of Commonsense Reasoning, and Machine Learning of Natural Language and Ontology.

Fields 3-8 of table 1 of the survey and general results, a discussion represent purposes, specifically, to define of the four hypotheses, and two sections models (field 3), prove theorems about the at the end of the article that contain details of models (field 4), present algorithms (field 5), the survey and statistical analyses. The next analyze algorithms (field 6), present systems section (The Survey) briefly describes the 16 or architectures (field 7), and analyze them substantive questions I asked about each (field 8). These purposes are not mutually paper. One of the closing sections (An Explanation exclusive; for example, many papers that of the Fields in Table 1) discusses the present models also prove theorems about criteria for answering the survey questions the models.

In IJCAI-91, pp. 331–337.

I concentrate on this class of design 1989) that lays out the relation problems in this article. An example of an implicit function mapping from behavior to structure), typically in many engineering devices is safety: For conducted by means of a search or exploration example, a subsystem's role might only be in the space of possible subassemblies explained as something that prevents the of components. This accent on assembly is in leakage of a potentially hazardous substance, fact the origin of the frequent suggestion that and this function might never be explicitly design is a synthetic task. Only a vanishingly design specifications will usually mention a small number of objects in this space constitute number of constraints. The distinction even satisficing, not to mention optimal, between functions and constraints is hard to solutions. What is needed to make design formally pin down; functions are constraints practical are strategies that radically shrink on the behavior or properties of the device. However, it is useful to distinguish functions Set against the view of design as a deliberative from other constraints because functions are problem-solving process is the view of the primary reason that the device is desired. Artistic creations and weigh more than..."), the process of making scientific theories are often said by their creators the artifact from its description (manufacturability to have occurred to them in this Even when a plausible solution itself (for example, "I want a design within a occurs in this way, the proposal still needs to week"), and so on.

In this article, we present Spar (simultaneous planner for assembly robots), an implemented system that reasons about high-level operational goals, geometric goals, and uncertainty-reduction goals to create task plans for an assembly robot. These plans contain manipulations to achieve the assembly goals and sensory operations to cope with uncertainties in the robot's environment. High-level goals (which we refer to as operational goals) are satisfied by adding operations to the plan using a nonlinear, constraint-posting method. Geometric goals are satisfied by placing constraints on the execution of these operations. If the geometric configuration of the world prevents this, Spar adds new operations to the plan along with the necessary set of constraints on the execution of these operations. When the uncertainty in the world description exceeds that specified by the uncertainty-reduction goals, Spar introduces either sensing operations or manipulations to reduce this uncertainty to acceptable levels. If Spar cannot find a way to sufficiently reduce uncertainties, it augments the plan with sensing operations to be used to verify the execution of the action and, when possible, posts possible error-recovery plans, although at this point, the verification operations and recovery plans are predefined.

Proc. AAAI-90.

In Expert Planning Systems, pp. 245–250. Institute of Electrical Engineers.

Computers in Industry, 14 (1-3), 79-88.

ABSTRACT This research involves a method for finding global maxima in constraint satisfaction networks. It is an annealing process butt unlike most otherst requires no annealing schedule. Temperature is instead determined locally by units at each updatet and thus all processing is done at the unit level. There are two major practical benefits to processing this way: 1) processing can continue in'bad t areas of the networkt while'good t areas remain stablet and 2) processing continues in the'bad t areast as long as the constraints remain poorly satisfied (i.e. it does not stop after some predetermined number of cycles). As a resultt this method not only avoids the kludge of requiring an externally determined annealing schedulet but it also finds global maxima more quickly and consistently than externally scheduled systems (a comparison to the Boltzmann machine (Ackley et alt 1985) is made).

Jared Leinbach Deparunent of Psychology Carnegie-Mellon University Pittsburgh, PA 15213 ABSTRACT This research involves a method for finding global maxima in constraint satisfaction networks. It is an annealing process butt unlike most otherst requires no annealing schedule. Temperature is instead determined locally by units at each updatet and thus all processing is done at the unit level. There are two major practical benefits to processing this way: 1) processing can continue in'badt areas of the networkt while'goodt areas remain stablet and 2) processing continues in the'bad t areast as long as the constraints remain poorly satisfied (i.e. it does not stop after some predetermined number of cycles). As a resultt this method not only avoids the kludge of requiring an externally determined annealing schedulet but it also finds global maxima more quickly and consistently than externally scheduled systems (a comparison to the Boltzmann machine (Ackley et alt 1985) is made).