Hypothesis Formation and Qualitative Reasoning in Molecular Biology

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. Second, we show a cognitive design process model obtained by observing design processes using a protocol analysis method. In the computable model, a design process is regarded as an iterative logical process realized by abduction, deduction, and circumscription.

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.

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

We include it here, behavior.

Gul A. Agha's "Actors: A Model of Concurrent Computation in Distributed Systems (The MIT Press, Cambridge, Mass., 1987, 144 pages, $25.00, ISBN 0-262-01092-5) is part of the MIT Press Series in Artificial Intelligence. This volume is edited by Patrick Winston, Michael Brady, and Daniel Bobrow.

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.

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.