THE HEURISTIC DENDRAL PROGRAM FOR EXPLAINING EMPIRICAL DATA