Betsy.Herk@A.CS.CMU.EDU.UUCP (09/05/86)
Speaker: David Steier Date: Friday, Sept. 12 Place: 5409 Wean Hall Time: 3:30 p.m. Title: Integrating multiple sources of knowledge in an automatic algorithm designer One of the reasons that designing algorithms is so difficult is the large amount of knowledge needed to guide the design process. In this proposal, I identify nine sources of such knowledge within four general areas: general problem-solving, algorithm design and implementation techniques, knowledge of the application domain, and methods for learning from experience. To understand how knowledge from these sources can be represented and integrated, I propose to build a system that automatically designs algorithms. An implementation of the system, Designer-Soar, uses several of the knowledge sources described in the proposal to design several very simple algorithms. The goal of the thesis is to extend Designer-Soar to design moderately complex algorithms in a domain such as graph theory or computational geometry.