Herbert A. Simon, "Whether Software Engineering Needs to be Artificially Intelligent", IEEE Trans. on Software Engineering, vol. SE-12, no. 7 (July 1986), pp. 726-732.

``... software engineering and artificial Intelligence are either going to have to join hands or ... software engineering people are going to have to reinvent artificial Intelligence.''

Basic questions:

``What compilers do not do is to solve the problem of converting a situation that is presented in an unstructured form, as an informal problem statement. ... Human beings ... can take unstructured situations and turn them into formalized situations to which algorithms ... can apply.''

Importance of knowledge:

Intermediate goals: