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.

"Building Large Knowledge-Based Systems (Addison-Wesley, Reading, Massachusetts, 1990, 372 pages, $39.75, ISBN 0-201-51752-3) by Douglas B. Lenat and R. V. Guha is an interim report on the Microelectronic and Computer Technology Corpporation (MCC) Cyc project.

The second workshop in two years on the integration of knowledge-based systems with conventional computer techniques in agriculture and natural resource management (NRM) was held 18-19 August 1989 in Detroit, Michigan, in conjunction with the Tenth International Joint Conference on Artificial Intelligence. The workshop drew scientists from the United States and Canada, working in disciplines from engineering to entomology in universities, government, and industry. Twenty-two papers were presented at the workshop, after which participants were asked to discuss several key questions about the development, delivery, and use of knowledge-based systems in solving problems in agriculture and NRM.

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.

In the emerge from a massive knowledge this subject.

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. Its uniqueness lies in the fact that it interweaves knowledge gathering, organizing, and testing. 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. The model guides the determination of the structure of alternatives tables at an effective level of abstraction. 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. A rule generator currently produces rules in Clips or M.1 syntax.

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.

In the emerge from a massive knowledge this subject.

The second workshop in two years on the integration of knowledge-based systems with conventional computer techniques in agriculture and natural resource management (NRM) was held 18-19 August 1989 in Detroit, Michigan, in conjunction with the Tenth International Joint Conference on Artificial Intelligence. The workshop drew scientists from the United States and Canada, working in disciplines from engineering to entomology in universities, government, and industry. Twenty-two papers were presented at the workshop, after which participants were asked to discuss several key questions about the development, delivery, and use of knowledge-based systems in solving problems in agriculture and NRM.