高级系统分析师分类模拟题程序语言.docVIP

程序语言 典型的人工智能语言一般包括 (1) 语言。匹配(match)、合一(unification)和Horn子句是 (2) 语言中的重要概念。 (3) 、 (4) 、上都是人工智能语言。 (1)A．对象式和逻辑式 B．对象式和函数式 C．逻辑式和函数式 D．对象式 (2)A．对象式和逻辑式 B．对象式和函数式 C．逻辑式和函数式 D．逻辑式 　(3)A．Lisp B．Ada C．Prolog D．Pascal (4)B：A．对象式和逻辑式 B．对象式和函数式 C．逻辑式和函数式 D．对象式 (5)A．对象式和逻辑式 B．对象式和函数式 C．逻辑式和函数式 D．函数式 [分析] 程序设计语言用来编写计算机程序(指计算任务的处理对象和处理规则的描述)，它包括语法、语义、语用三个方面。语法表示程序的结构或形式，即表示构成语言的各记号间的组合规则，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，即表示按照各种方法所表示的各个记号的特定含义，但不涉及使用者。语用表示程序与使用者的关系。 程序设计语言的基本成分有数据、运算、控制和传输。数据成分用以描述程序中所涉及到的数据；运算成分用以描述程序中所包含的运算；控制成分用以表达程序中的控制构造；传输成分用以表达程序中数据的传输。 可以从不同的角度对程序设计语言进行分类，从程序设计语言的本质来看，可以分为3类：机器语言、汇编语言和高级语言。 机器语言是特定计算机系统所固有的语言，用机器语言编写的程序可读性很差，程序员难以修改和维护。 汇编语言用助记符号来表示机器指令中的操作码和操作数，汇编语言仍然是一种和机器语言十分接近的语言，它的书写格式在很大程度上取决于特定计算机的机器指令。 目前已有许多流行的高级语言，如Fortran、Cobol、Pascal、C/C++、Java等。这类语言与人们的自然语言比较接近，大大提高了程序设计的效率，便于进行交流。Fortran是第一个被广泛用于科学计算的高级语言。Algol 60是早期研制出来的高级语言，它有严格的文法规则，用巴科斯范式BNF来描述语言，是一个分程序结构的语言。Cobol是一种面向事务处理的高级语言。Pascal语言提供的为数不多而又相当紧凑的机制使其有相当强的表达能力。C是一种通用程序设计语言，作为一种较低级的语言，C提供了指针和地址操作的功能和书写结构良好的程序所需的控制结构。C与Unix操作系统紧密相关，Unix操作系统及其上的许多软件都是由C编写的。 (1)过程性语言 过程性语言就是指传统的程序设计语言。在使用传统的程序设计语言时，程序员不仅要说明信息结构，而且要描述程序的控制流程。因此它也被称为过程性语言。过程性语言是相对于新型程序设计语言(函数式、逻辑式、面向对象)和第四代语言(4GL)而言的，其特点是通过使用赋值语句改变变量的状态，来完成各种任务。 (2)面向对象语言 Simula是最早提出类的概念的语言，完备地体现面向对象并提出继承概念的程序设计语言是Smalltalk 80，C++和Java是目前用得最多的面向对象的语言。有关面向对象的特性，请读者阅读本书“面向对象方法学”一章。 (3)逻辑型语言 逻辑型语言是一类以形式逻辑为基础的语言，其理论基础是一阶谓词演算。Prolog是典型的逻辑式语言，具有和传统的命令型程序设计完全不同的风格。组成Prolog程序语句的基本形式是Horn子句，Prolog程序由围绕某一主题的事实、规则和询问3类语句组成，这3类语句分别用来陈述事实、定义规则和提出问题。Prolog具有很强的推理功能，适用于书写自动定理证明、专家系统、自然语言理解等人工智能问题的程序。 归约方法是逻辑式语言的主要方法之一。它是把一簇命题转换成标准的子句集形式，采用匹配和合一的算法，消除冗余，以获得新命题正确性的证明或命题集一致性的验证。 (4)函数型语言 函数型语言是一类以λ演算为基础的语言。Lisp是典型的函数型程序语言。函数是一种对应规则(映射)，它使其定义域中每一个值和值域中惟一的值相对应。 函数型程序设计语言的优点在于它是一种面向值的语言，无状态，无副作用，具有引用透明性，函数值只取决于变元值，具有相同一组变元的函数，基值惟一。对表达式中出现的任何函数都可以用其他函数来代替，只要这些函数调用产生相同的值。这些特点有助于程序模块化的实现。 函数型程序设计语言和逻辑型程序设计语言都属于申述型语言。