Title :
Do we really want machines to be intelligent?
Author :
Partridge, Derek
Author_Institution :
Dept. of Comput. Sci., Exeter Univ., UK
Abstract :
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
Keywords :
knowledge engineering; software engineering; AI field; formal specifications; programming; software engineering;
Conference_Titel :
Software Engineering Practices for Intelligent Knowledge-Based Systems, IEE Colloquium on
Conference_Location :
London
