Discusses differences between inductive and deductive thinking, focusing on science induction computer programs and computer programs that play induction games. The latter includes "eleusis," a sophisticated induction game which models many aspects of the scientific procedure. (JN)

Describes a computer program to aid physicians in diagnosing diseases. The program begins by recording available information about the patient and consults a library of about 4,000 characteristics associated with approximately 550 maladies and makes a tally to determine the most likely disease candidate. (Author/JN)

Describes the Automated Reasoning Assistant (AURA) computer program at the Argonne National Laboratory. Given a set of initial assumptions (axioms) and a problem, AURA follows a logical path leading to a solution. Includes types of problems which can be solved. (JN)

Scientists are designing computer models of biological systems, and of compounds with complex molecules, that can be used to get answers once obtainable only by sacrificing laboratory animals. Although most programs are still under development, some are in use by industrial/pharmaceutical companies. The programs and experiments they simulate are…