The adaptation of some AI techniques to software automation is proposed. Inductive reasoning is used as the basis of inductive program synthesis, and explanation-based learning is used to learn algorithm design strategies. Methods for elementary algorithm learning, optimizing method learning, and analogical program derivation are also described.
展开▼