Real-time problem solving is not only reasoning about time, it is also reasoning in time. This ability is becoming increasingly critical in systems that monitor and control complex processes in semiautonomous, ill-structured, real-world environments. Many techniques, mostly ad hoc, have been developed in both the real-time community and the AI community for solving problems within time constraints. However, a coherent, holistic picture does not exist. This article is an attempt to step back from the details and examine the entire issue of real-time problem solving from first principles. We examine the degrees of freedom available in structuring the problem space and the search process to reduce problem-solving variations and produce satisficing solutions within the time available. This structured approach aids in understanding and sorting out the relevance and utility of different real-time problem-solving techniques.

This article summarizes the findings of a 1992 study of knowledge-based systems research and applications in Japan. Representatives of universities and businesses were chosen by the Japan Technology Evaluation Center to investigate the state of the technology in Japan relative to the United States. The panel's report focused on applications, tools, and research and development in universities and industry and on major national projects.

Recent general AI conferences show a decline in both the number and the quality of vision papers, but there is tremendous growth in, and specialization of, computer vision conferences. Hence, one might conclude that computer vision is parting or has parted company with AI. This article proposes that the divorce of computer vision and AI suggested here is actually an open marriage: Although computer vision is developing through its own research agenda, there are many shared areas of interest, and many of the key goals, assumptions, and characteristics of computer vision are also clearly found in AI.

He knew the challenges opinion, as one of the premier natural language were great and would require the research groups in the world. He gave efforts of many people. He had a genius for one of us (Barbara Grosz) her first AI job, even bringing these people together. In doing so, he took a of people who had known Don over the risk of a magnitude that she fully appreciated years to send us reminiscences. Although only years later when she herself was hiring each person's story differed, a striking commonality research associates.

The Association for the Advancement of Artificial Intelligence held its 1993 Fall Symposium Series on October 22-24 in Raleigh, North Carolina. This article contains summaries of the six symposia that were conducted: Automated Deduction in Nonstandard Logics; Games: Planning and Learning; Human-Computer Collaboration: Reconciling Theory, Synthesizing Practice; Instantiating Intelligent Agents; and Machine Learning and Computer Vision: What, Why, and How?

We recommend doesn't carry the day. The robot swallow something that's not particularly that those inclined to study must be able to use Q to arrive at its savory: a contradiction.

The information in this article was originally presented as a keynote invited talk by Susan Lederman at the Thirteenth International Joint Conference on Artificial Intelligence in Chambery, France; it is based primarily on a joint research program that we conducted. We explain how the scientific study of biological systems offers a complementary approach to the more formal analytic methods favored by roboticists; such study is also relevant to a number of classical problems addressed by the AI field. We offer an example of the scientific approach that is based on a selection of our experiments and empirically driven theoretical work on human haptic (tactual) object processing; the nature and role of active manual exploration is of particular concern. We further suggest how this program with humans can be modified and extended to guide the development of highlevel manual exploration strategies for robots equipped with a haptic perceptual system.

A simulated (Houston, Tex.) has selected Telepresence technology allows scientists The Consolidated Communications from the Advanced Technology Program signed a strategic alliance agreement Facility's Element Manager at the National Institute of Standards with Gensym (Cambridge, Mass.) to will allow data communications and Technology. The grant will use Gensym's G2 real-time expert system system operators to remotely configure, support Kurzweil AI's development of development tool. Chevron control and monitor the operation a spoken-language interface capable installations are using G2 to intelligently of the front-end processor, providing of controlling PC software applications monitor energy management simultaneous support for through natural language and process simulation in conjunction multiple manned space flight missions, instruction in combination with a with other systems. Logica Cambridge (Cambridge, Developers at Georgia Tech AT&T Universal Card Services England) is developing a virtual reality (Atlanta, Ga.) have designed a neural (Jacksonville, Fla.) has signed a multiyear application to improve presentation network modeling, control and diagnostic agreement with HNC (San Diego, of data for air traffic controllers. Falcon uses see the heights of different aircraft, linked to sensors and other data neural network technology to learn rather than just the altitudes displayed sources on the factory floor, the neural and identify unusual transaction pat-numerically.

The Association for the Advancement of Artificial Intelligence sponsored a number of workshops in conjunction with the Eleventh National Conference on Artificial Intelligence held 11-15 July 1993 in Washington, D.C. This article contains reports of four of the workshops that were conducted: AI Models for System Engineering, Case-Based Reasoning, Reasoning about Function, and Validation and Verification of Knowledge Based Systems.

The First covered genetic algorithms, neural elements called alpha helices and International Conference on Intelligent networks, and linguistic methods for beta sheets can be predicted with Systems for Molecular Biology sequence analysis. Invited speakers, some success, using algorithms that (ISMB-93), held 6-9 July 1993 at the who opened each day of the conference, examine a window of surrounding Lister Hill Center of the National were Temple Smith (Boston primary sequence.