A Review of Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge

DERVISH won the Office Delivery event of the 1994 Robot Competition and Exhibition, held as part of the Thirteenth National Conferennce on Artificial Intelligence. Although the contest required dervish to navigate in an artificial office environment, the official goal of the contest was to push the technology of robot navigation in real office buildings with minimal domain information. In this article, we present a short description of Dervish's hardware and low-level motion modules. We then discuss this assumptive system in more detail.

The third annual AAAI Robot Competition and Exhibition was held in 1994 during the Twelfth National Conference on Artificial Intelligence in Seattle, Washington. The competition featured Office Delivery and Office Cleanup events, which demanded competence in navigation, object recognition, and manipulation. The competition was organized into four parts: (1) a preliminary set of trials, (2) the competition finals, (3) a public robot exhibition, and (4) a forum to discuss technical issues in AI and robotics. It also presents the results of the competition and related events and provides suggestions for the direction of future exhibitions.

Rhino was the University of Bonn's entry in the 1994 AAAI Robot Competition and Exhibition. The general scientific goal of the rhino project is the development and the analysis of autonomous and complex learning systems. This article briefly describes the major components of the rhino control software as they were exhibited at the competition. It also sketches the basic philosophy of the rhino architecture and discusses some of the lessons that we learned during the competition.

The Georgia Institute of Technology won the Office Cleanup event at the 1994 AAAI Robot Competition and Exhibition with a multirobot cooperating team. This article describes the design and implementation of these reactive trash-collecting robots, including details of multiagent cooperation, color vision for the detection of perceptual object classes, temporal sequencing of behaviors for task completion, and a language for specifying motor schema-based robot behaviors.

The aim of the project was to make a signature verification system based on the NCR 5990 Signature Capture Device (a pen-input tablet) and to use 80 bytes or less for signature feature storage in order that the features can be stored on the magnetic strip of a credit-card. Verification using a digitizer such as the 5990, which generates spatial coordinates as a function of time, is known as dynamic verification. Much research has been carried out on signature verification.

We prove that except possibly for small exceptional sets, discretetime analogneural nets are globally observable, i.e. all their corrupted pseudo-orbitson computer simulations actually reflect the true dynamical behavior of the network. Locally finite discrete (boolean) neural networks are observable without exception.

The aim of the project was to make a signature verification system based on the NCR 5990 Signature Capture Device (a pen-input tablet) and to use 80 bytes or less for signature feature storage in order that the features can be stored on the magnetic strip of a credit-card. Verification using a digitizer such as the 5990, which generates spatial coordinates as a function of time, is known as dynamic verification. Much research has been carried out on signature verification. Function-based methods, which fit a function tothe pen trajectory, have been found to lead to higher performance while parameter-based methods, which extract some number of parameters from a signa-737 738 Bromley, Guyon, Le Cun, Sackinger, and Shah ture, make a lower requirement on memory space for signature storage (see Lorette and Plamondon (1990) for comments). We chose to use the complete time extent of the signature, with the preprocessing described below, as input to a neural network, andto allow the network to compress the information.

The aim of the project was to make a signature verification system based on the NCR 5990 Signature Capture Device (a pen-input tablet) and to use 80 bytes or less for signature feature storage in order that the features can be stored on the magnetic strip of a credit-card. Verification using a digitizer such as the 5990, which generates spatial coordinates as a function of time, is known as dynamic verification. Much research has been carried out on signature verification.

We prove that except possibly for small exceptional sets, discretetime analog neural nets are globally observable, i.e. all their corrupted pseudo-orbits on computer simulations actually reflect the true dynamical behavior of the network. Locally finite discrete (boolean) neural networks are observable without exception.