Research on Knowledge Based Programming and Algorithm Design

摘要

The object of our research is the codification of programming knowledge and the creation of computer systems that incorporate this knowledge that assist in the various activities of programming. We have designed and implemented the CHI knowledge-based programming system, including the 'V' wide-spectrum language for expressing both programming knowledge and program specifications. CHI has been used to synthesize several programs including parts of itself. We are extending the uses of the knowledge base to provide intelligent tools for environment to support not only program synthesis but program acquisition, modification, debugging and maintenance. Another aspect of our research is called Algorithm Design. This project emphasizes tools to assist in the more creative aspects of the creation of new algorithms. We have formalized a set of methods, primarily focused upon the incorporation of operations into generators, that seem to be a very powerful set of tools in deriving good and difficult algorithms. We have implemented some of these methods in CHI and include a discussion of the derivations in this report.