This article discusses building a computable design process model, which is a prerequisite for realizing intelligent computer-aided design systems. First, we introduce general design theory, from which a descriptive model of design processes is derived. In this model, the concept of metamodels plays a crucial role in describing the evolutionary nature of design. Second, we show a cognitive design process model obtained by observing design processes using a protocol analysis method. We then discuss a computable model that can explain most parts of the cognitive model and also interpret the descriptive model. In the computable model, a design process is regarded as an iterative logical process realized by abduction, deduction, and circumscription. We implemented a design simulator that can trace design processes in which design specifications and design solutions are gradually revised as the design proceeds.

Design has long been an area of particular interest for AI researchers. Herbert Simon's 1968 Karl Taylor Compton lectures on the sciences of the artificial included substantial material on design. However, only recently have design researchers embraced paradigms from AI and AI researchers chosen design as a domain to study.

Of what are minds made? Internal mental representations? Matter? In this provocative and engaging work (Simple Minds, Cambridge, Mass.: The MIT Press, 1989, 266 pages, $25.00, ISBN 0-262-12140-9), Dan Lloyd seeks to provide answers that will bridge the gap between computational and connectionist models of the mind.

Stuart Goldkind's book Machines and Intelligence: A Critique of Arguments against the Possibility of Artificial Intelligence (Westport, Conn.: Greenwood Press, 1987, 139 pages, $29.95, ISBN 0-313-25450-8) considers and criticizes a collection of arguments against the possibility of AI.

My Ph.D. dissertation describes an investigation of scientific reasoning from a computational perspective.

Contrary to many prevailing approaches to knowledge acquisition, Laps, our expert-interviewing software, begins by soliciting cases from the expert, but it does not end there. Laps begins with a case in the form of a sample solution path elicited from the domain expert. This sample solution path is refined by a process called dechunking, which facilitates finding a model of the expert's reasoning process. Once these tables have been set up, the expert is able to produce row after row on his own until a complete rule base is built.

Arthur Samuel (1901-1990) was a pioneer of artificial intelligence research. From 1949 through the late 1960s, he did the best work in making computers learn from their expe-rience. His vehicle for this work was the game of checkers.

The system, Hoist, performs fault diagnosis without the use of a repair expert or shallow rules. Its knowledge is coded directly from a structural specification of the Mark 45 lower hoist. In a mechanism like the lower hoist, the functional model must reason about forces, fluid pressures, and mechanical linkages; that is, it must reason about qualitative physics. Hypothetical reasoning, the process embodied in Hoist, has general utility in qualitative physics and reason maintenance.

This article describes a causal expert system based on hypothetical reasoning and its application to the maintenance of the lower hoist of a Mark 45 turret gun. The system, Hoist, performs fault diagnosis without the use of a repair expert or shallow rules. Its knowledge is coded directly from a structural specification of the Mark 45 lower hoist. The technology reported here for assisting the less experienced diagnostician differs considerably from normal rule-based techniques: It reasons about machine failures from a functional model of the device. In a mechanism like the lower hoist, the functional model must reason about forces, fluid pressures, and mechanical linkages; that is, it must reason about qualitative physics. Hoist technology can be directly applied to any exactly specified device for the modeling and diagnosis of single or multiple faults. Hypothetical reasoning, the process embodied in Hoist, has general utility in qualitative physics and reason maintenance.

For our purposes, the goal is to make robots that are as humanlike as possible. Now the question becomes, Could we develop these systems to the point where x/h and The question of whether a computer deep interconnections among mind x/r were used interchangeably. In this can think like a person is once again and body are the crux of the issue. Somewhat to my surprise, Two basic lines of reasoning are thing when we said that Mary or R2D2 this philosophical question used to support the notion that computers understands Proust or loves John. The more common x/r could equal x/h, we must look understanding.