Abstract

Red-2 is a computer program for red-cell antibody identification, a piece of "normal science". Abstracting from Red-2, a general problem solving mechanism is described that is especially suited for performing a form of abductive inference or best explanation finding. A problem solver embodying this mechanism synthesizes composite hypotheses by combining hypothesis parts. This is a common task of intelligence, and a component of scientific reasoning. The work addresses the question, 'How is science possible?' by showing how a simple but powerful form of hypothesis synthesis is computationally feasible.