In constructing a knowledge-based system, the knowledge engineer must convert rules of thumb provided by the domain expert and previously solved examples into a working system. Research in machine learning has produced algorithms that create rules for knowledge-based systems, but these algorithms require either many examples or a complete domain…

Presented is a model of problem solving that incorporates elements of hypothetico-deductive reasoning in the Piagetian sense, and heuristic-algorithmic processing in the information-processing sense. It assumes that people invoke both formal reasoning strategies and learned algorithms whenever they solve problems. The proposed model integrates the…

The learning machine described in this paper acquires concepts representable as conjunctive forms of the predicate calculus and behaviors representable as productions (antecedent-consequent pairs of such conjunctive forms): these concepts and behavior rules are inferred from sequentially presented pairs of examples by an algorithm that is probably…

This study defined a type of information-processing task analysis and an index relating different instructional sequences to this analysis. One hundred sixty-four college students were taught, with computer-assisted instruction, an imaginary science by various instructional sequences or by selecting their own sequence. A program-controlled…

Discrete mathematics, the mathematics of decision making for finite settings, is a topic of great interest in mathematics education at all levels. Attention is being focused on resolving the diversity of opinion concerning the exact nature of the subject, what content the curriculum should contain, who should study that material, and how that…