论文部分内容阅读
自动程序设计是软件工程师的梦想。随着人工智能、认知科学的理论研究发展,以及人们在软件生产领域的实践,许多特定领域的、自动、半自动程序设计系统已经出现。自动程序设计系统是对人们在各相关领域研究与实践成果的综合运用和系统总结,是软件生产的重要发展方向。自动程序设计是人工智能的一个重要分支,是人工智能各个研究领域中最为复杂的一个。它的复杂性源于它的综合性:它涉及了人工智能中几乎所有领域的研究,是这些研究领域成果的综合运用。因此,自动程序设计系统研究的发展主要表现在相关领域研究的发展和集成体系结构的研究上。当前实用的研究思路往往都是对实际应用中的软件生产过程的自动化研究,考虑提高其自动化水平。净室技术是IBM公司实际应用的软件生产技术,1996年由卡内基-梅隆大学软件工程研究所进行了系统总结和研究,提出了净室软件工程参考模型(CRM)。CRM的特点是它的规范化的生产管理技术和设计方法,这种特点使它十分适于作为软件生产自动化过程的基础蓝本。从自然语言表述的需求和解法到计算机可以理解的程序设计语言代码,它们之间的本质联系在于其共同的语义内涵,它们是分别从不同的角度、用不同的方式对同一语义内涵的描述。从这个意义上说,语义研究是自动程序设计系统研究的本质性问题。概念层次网络(HNC)理论,是关于自然语言理解处理的一个理论体系,HNC理论的研究已经从最初针对汉语语义的研究中得到了一个通用的、无语种区分的语义理解理论体系,具有重要的参考价值。本文综合了上述两个方面的研究,对自动程序设计系统的体系结构作了初步探索,提出了一个基本框架,力求使它成为一个具有灵活性的系统集成平台,在它上面运用多种知识表示、存储方式,允许根据知识类型选择合适的组织方式,并对其底层进行了程序实现的实验研究。