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)