Do we really want machines to be intelligent
Derek Partridge · 1989
The author discusses problem solving by programming which involves and requires a software engineering approach. Modern techniques involve formal specifications. As the AI field matures software engineering techniques have started to be considered. Formal techniques may have a positive or negative effect on AI development. >