Machine learning can be categorized along many dimensions, an important one of which is `degree o f human guidance or forethought' . This continuum stretches from rote learning, through carefully guided concept-formation by observation, out toward independent theory formation . Six years ago, the AM program was constructed as an experiment in this latter kind of learning by discovery . Its sour...