1.自动程序设计

程序设计是人工智能的一个重要研究领域，这个领域的工作叫做自动程序设计。自动程序设计所涉及的基本问题与定理证明和机器人学有关，要用到人工智能的方法来实现，是实现软件工程和人工智能结合，而迫切需要研究的课题。

已经研制出能够以各种不同的目的描述(例如输入/输出对，高级语言描述，甚至英语描述算法)来编写计算机程序。这方面的进展局限于少数几个完全现成的例子。对自动程序设计的研究不仅可以促进半自动软件开发系统的发展，而且也是通过修正自身数据进行学习(即修正它们的性能)的人工智能系统得到发展。自动编制一份程序来获得某种指定结果的任务同证明一份给定程序将获得某种指定结果的任务是紧密相关的。后者叫做程序验证。许多自动程序设计系统将产生一份输出程序的验证作为额外收获。

2.智能信息检索技术

信息检索技术是指信息按一定的方式组织起来，并根据信息用户的需要找出有关的信息的过程和技术。而智能信息检索技术则是将人工智能技术应用于信息检索技术中。由于数据库系统是储存某个学科大量事实的计算机系统，随着应用的进一步发展，存储的信息量越来越大，因此解决智能检索问题便具有实际意义。智能信息检索技术已成为当代计算机科学与技术研究中迫切需要研究的课题，将人工智能技术应用于这一领域的研究，是人工智能走向广泛实际应用的契机与突破口。智能信息检索系统应具有如下的功能：

1）能理解自然语言，允许用自然语言提出各种询问。

2）具有推理能力，能根据存储的事实，演绎出所需的答案。

3）系统具有一定常识性知识，以补充学科范围的专业知识。系统根据这些常识，将能演绎出更一般的一些答案来。

人工智能在信息检索中的应用主要表现在：

1）如何用计算机硬件模仿系统，模仿、延伸与扩展人类智能的理论、方法和技术。

2）由于网络知识信息包括规律性的知识和大量的经验知识，这些知识不可避免的模糊性、随机性、不可靠性等因素。对这些因素进行处理时，需要用到人工智能的研究成果。