A Model for Integrated ualit at ive Spatial and Dynamic easoning about Physical Systems

AAAI Conferences

Qualitative spatial reasoning has many applications in such diverse areas as natural language understanding, cognitive mapping, and reasoning about the physical world. We address problems whose solutions require integrated spatial and dynamic reasoning.


AAAI87-109.pdf

AAAI Conferences

This paper describes a two-step algorithm for the qualitative analysis of mechanical devices. The first step takes the geometrical description of the parts and their initial position and produces a description of the possible relative motions of pairs in contact by computing the configuration space of those pairs with respect to selected motions.


From Kinematics to Shape: in up roach to Innovative

AAAI Conferences

We address the problem of designing the shape of solid objects to satisfy a given set of functional specifications. In particular, we show how to design elementary components of mechanical devices (kinematic pairs) from a description of their desired behavior and a set of constraints. This is done using a backtracking algorithm that modifies (or creates) object shapes by adding and deleting line and arc segments to the objects' contours. These modifications are guided by the configuration space description of the desired behavior. The algorithm is extended to handle both qualitative and causal descriptions of desired behaviors. This work is based on the theory of shape and kinematics developed in [Joskowicz, 19881.


CREATIVE MECHANISM DESIGN BASED ON FIRST PRINCIPLES BOI FALTINGS and KUN SUN Artificial Intelligence Laboratory (LIA) Swiss Federal Institute of Technology (EPFL) IN Ecublens 1015 Lausanne Switzerland

AAAI Conferences

Knowledge-based design systems and creativity are opposing concepts: the formal models used in a computer system seem to define a closed design space, while the nature of creativity is to extend the space of designs. The opposition can be resolved by introducing a clear distinction between two spaces of design solutions: those that can be represented and analyzed using first principles knowledge, and the subspace that can also be generated from specifications using an effective computation procedure. A design can be defined as creative if it fails in the difference space of structures which are analyzable but not generateable. We present a prototype system which applies this idea in the domain of mechanism design. Given a set of functional specifications, the first step is to find an existing mechanism, usually intended for other purposes, which satisfies some reasonably large subset of the specifications. The second step is to extend the vocabulary of shape features based on inversion of the analysis, and to define modification operators which adapt the device to satisfy all of the specifications. The approach is creative through two processes: the reuse of existing devices for new purposes, and the extension of the feature vocabulary to enlarge the space of designs which can be generated. We show an example where the technique has produced a device which is arguably better than the solution proposed in the literature.