7、程序自动设计:程序自动化是为了设计 种算法。该算法是分层结构的,先提出一些规定, 形成最高一级的算法,并提出下一层算法的规定 然后按照这些规定形成下一级的算法和再下一级 的规定,最后完成整个程序。程序自动化较多的 研究工作放在了自动程序验证方面,即让计算机 自动查找程序中的错误。 8、定理的自动证明:计算机通过模仿人的推 理和演绎过程,从最基本的公理出发,证明定理 的正确性 现在信息技术的飞速发展,使得A有更广泛 的研究和应用领域,如专家咨询系统、组合调度 问题、虚拟现实等等。7、程序自动设计：程序自动化是为了设计一 种算法。该算法是分层结构的，先提出一些规定， 形成最高一级的算法，并提出下一层算法的规定， 然后按照这些规定形成下一级的算法和再下一级 的规定，最后完成整个程序。程序自动化较多的 研究工作放在了自动程序验证方面，即让计算机 自动查找程序中的错误。 8、定理的自动证明：计算机通过模仿人的推 理和演绎过程，从最基本的公理出发，证明定理 的正确性。 现在信息技术的飞速发展，使得Al有更广泛 的研究和应用领域，如专家咨询系统、组合调度 问题、虚拟现实等等