1、系统分析师-程序语言及答案解析(总分：47.00，做题时间：90 分钟)典型的人工智能语言一般包括 (1) 语言。匹配(match)、合一(unification)和 Horn 子句是 (2) 语言中的重要概念。 (3) 、 (4) 、 (5) 都是人工智能语言。（分数：5.00）A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式D.对象式A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式D.逻辑式A.LispB.AdaC.PrologD.PascalB：A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式D.对象式A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式D.函数式Vi
2、sual Basic 是开发 Windows 应用程序的良好工具。Visual Basic 是一种 (6) 驱动的程序语言，在程序内必须设计各种 (6) 的处理程序码，当此 (6) 发生时，随即执行相应的程序码。在程序设计时，设计人员可使用 Visual Basic 所提供的 (7) 建立用户界面，从而大大提高程序设计效率。（分数：2.00）A.指令B.事件C.数据D.过程A.函数B.子程序库C.工具D.过程调用软件语言是指用于书写计算机软件的语言。它主要包括需求定义语言、功能性语言、设计性语言、程序设计语言和文档语言等。 (8) 就是一种典型的设计性语言，常用于详细设计。 (9) 语言是一种
3、功能性语言，它是以 (10) 理论为基础的一种规约语言。程序设计语言用于书写计算机程序，它包含语法、语义、和 (11) 三个方面。程序设计语言又可分为过程式语言和非过程式语言，如 (12) 就是典型的非过程式语言。（分数：5.00）A.PSLB.PDLC.EiffelD.ModulaA.PrologB.OBJC.JavaD.ZA.一阶谓词演算B. 演算C.异调代数D.范畴论A.语境B.语调C.语用D.词语A.Prolog 和 RPGB.Java 和 C+C.Lisp 和 AdaD.Java 和 Ada函数式程序设计语言和逻辑式程序设计语言都属于 (13) 语言。逻辑式语言的基础是 (14) ，
4、如 Prolog是逻辑式程序设计语言，它的基本运算单位是 (15) 。函数式语言是一种面向 (16) 的语言。（分数：4.00）A.申述式B.命令式C.过程D.第四代A. 演算B.异调代数C.谓词逻辑D.范畴论A.Horn 子句B.函数C.子程序D.模块A.对象B.谓词C.表达式D.值一种最早用于科学计算的程序设计语言是 (17) ；一种提供指针和指针操作且不存在布尔类型的、应用广泛的系统程序设计语言是 (18) ；一种适合在互联网上编写程序可供不同平台上运行的面向对象程序设计语言是 (19) ；一种在解决人工智能问题上使用最多的、有较强的表处理功能的函数程序设计语言是 (20) ；一种以谓词
5、逻辑为基础的、核心是事实、规则和推理机制的实用逻辑程序设计语言是 (21) 。（分数：5.00）A.PascalB.AdaC.SmalltalkD.LispA.PascalB.AdaC.SmalltalkD.CA.PascalB.AdaC.SmalltalkD.JavaA.PascalB.AdaC.SmalltalkD.LispA.PascalB.AdaC.SmalltalkD.Prolog最早体现结构化程序设计思想的程序设计语言是 (22) ，最早使用 BNF 文法定义程序设计语言语法的语言是 (23) 。最早提出类的概念语言是 (24) ，完备地体现面向对象并提出继承概念的程序设计语言是
6、(25) ，最早的人工智能语言是 (26) 。（分数：5.00）A.AdaB.PascalC.Algol 68D.Algol 60A.AdaB.PascalC.Algol 68D.Algol 60A.AdaB.PascalC.Algol 68D.SimulaA.AdaB.PascalC.Algol 68D.Smalltalk 80A.AdaB.PascalC.Algol 68D.Lisp说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。Horn 子句是逻辑程序设计语言中的重要概念。设 P，Q，R 为原子公式，则 (30) 为 Horn 子句
7、。（分数：4.00）A.没有程序呼叫B.描述处理过程C.没有赋值语句D.描述用户需求A.C+B.PrologC.GPSSD.SmalltalkA.函数型B.递归型C.人工智能D.面向对象A.P，Q:-RB.P:-Q，RC.P:-Q，RD.P，Q:-(31) 是用于描述软件详细设计的语言， (32) 是支持动态汇集(Dynamic Binding)概念的语言， (33) 是支持强类型(Strong Yying)概念的语言， (34) 语言的一个主要特点是用透明性， (35) 语言是一种过程性语言。（分数：5.00）A.PascalB.PDLC.Smalltalk 80D.LispA.Pascal
8、B.PDLC.Smalltalk 80D.LispA.PascalB.PDLC.Smalltalk 80D.LispA.PascalB.PDLC.Smalltalk 80D.LispA.PascalB.PDLC.Smalltalk 80D.Lisp面向对象型的程序设计语言具有数据抽象、信息隐蔽、 (36) 等特征。作为运算单位的对象应具有下列特性： (37) 、 (38) 、 (39) 。 (40) 是面向对象型的语言。（分数：5.00）A.对象调用B.对象变换C.非过程性D.信息继承E.并发性A.对象把数据和处理数据的操作结合为一体B.在程序运行时对象都处于活动状态C.对象在计算中可向其他对
9、象发送消息D.接受消息的对象必须给消息发送者以回答A.对象把数据和处理数据的操作结合为一体B.在程序运行时对象都处于活动状态C.对象在计算中可向其他对象发送消息D.接受消息的对象必须给消息发送者以回答A.对象把数据和处理数据的操作结合为一体B.在程序运行时对象都处于活动状态C.对象在计算中可向其他对象发送消息D.对象的内部状态只根据下部送来的消息才操作A.C+，Smalltalk，object CB.C，Ada，Modula2C.Pascal，C+，APLD.Ada，ObjectC，C程序设计语言 Lisp 与 Prolog 分别是 (41) ，它们的理论基础分别是 (42) 它们的数据结构分
10、别是 (43) ，它们的程序形式分别是 (44) ，主要应用于 (45) 。（分数：5.00）A.逻辑与对象B.对象与逻辑C.函数与逻辑D.逻辑与函数A.等词理论与 演算B. 演算与等词理论C.一阶谓词逻辑与 演算D. 演算与一阶谓词逻辑A.S-表达式与项B.项与记录C.记录与函数D.函数与公式A.Horn 子句与函数B.函数与 HornC.Horn 子句与过程D.过程与函数A.事务处理B.人工智能C.文字处理D.科学计算1.软件开发工具 VB、PB、Delphi 是可视化的。这些工具是一种 (46) 程序语言。（分数：1.00）A.事件驱动B.逻辑式C.函数式D.命令式2.PROLOG 语言
11、属于 (47) 程序设计范型，该范型将程序设计归结为列举事实，定义逻辑关系等。（分数：1.00）A.过程式B.函数式C.面向逻辑D.面向对象系统分析师-程序语言答案解析(总分：47.00，做题时间：90 分钟)典型的人工智能语言一般包括 (1) 语言。匹配(match)、合一(unification)和 Horn 子句是 (2) 语言中的重要概念。 (3) 、 (4) 、 (5) 都是人工智能语言。（分数：5.00）A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式 D.对象式解析：A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式D.逻辑式 解析：A.Lisp B.AdaC.Prol
12、ogD.Pascal解析：B：A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式 D.对象式解析：A.对象式和逻辑式B.对象式和函数式C.逻辑式和函数式D.函数式 解析：分析 程序设计语言用来编写计算机程序(指计算任务的处理对象和处理规则的描述)，它包括语法、语义、语用三个方面。语法表示程序的结构或形式，即表示构成语言的各记号间的组合规则，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，即表示按照各种方法所表示的各个记号的特定含义，但不涉及使用者。语用表示程序与使用者的关系。程序设计语言的基本成分有数据、运算、控制和传输。数据成分用以描述程序中所涉及到的数据；运算成分用以描
13、述程序中所包含的运算；控制成分用以表达程序中的控制构造；传输成分用以表达程序中数据的传输。可以从不同的角度对程序设计语言进行分类，从程序设计语言的本质来看，可以分为 3 类：机器语言、汇编语言和高级语言。机器语言是特定计算机系统所固有的语言，用机器语言编写的程序可读性很差，程序员难以修改和维护。汇编语言用助记符号来表示机器指令中的操作码和操作数，汇编语言仍然是一种和机器语言十分接近的语言，它的书写格式在很大程度上取决于特定计算机的机器指令。目前已有许多流行的高级语言，如 Fortran、Cobol、Pascal、C/C+、Java 等。这类语言与人们的自然语言比较接近，大大提高了程序设计的效率
14、，便于进行交流。Fortran 是第一个被广泛用于科学计算的高级语言。Algol 60 是早期研制出来的高级语言，它有严格的文法规则，用巴科斯范式 BNF 来描述语言，是一个分程序结构的语言。Cobol 是一种面向事务处理的高级语言。Pascal 语言提供的为数不多而又相当紧凑的机制使其有相当强的表达能力。C 是一种通用程序设计语言，作为一种较低级的语言，C 提供了指针和地址操作的功能和书写结构良好的程序所需的控制结构。C 与 Unix 操作系统紧密相关，Unix 操作系统及其上的许多软件都是由 C 编写的。(1)过程性语言过程性语言就是指传统的程序设计语言。在使用传统的程序设计语言时，程序员
15、不仅要说明信息结构，而且要描述程序的控制流程。因此它也被称为过程性语言。过程性语言是相对于新型程序设计语言(函数式、逻辑式、面向对象)和第四代语言(4GL)而言的，其特点是通过使用赋值语句改变变量的状态，来完成各种任务。(2)面向对象语言Simula 是最早提出类的概念的语言，完备地体现面向对象并提出继承概念的程序设计语言是 Smalltalk 80，C+和 Java 是目前用得最多的面向对象的语言。有关面向对象的特性，请读者阅读本书“面向对象方法学”一章。(3)逻辑型语言逻辑型语言是一类以形式逻辑为基础的语言，其理论基础是一阶谓词演算。Prolog 是典型的逻辑式语言，具有和传统的命令型程序
16、设计完全不同的风格。组成 Prolog 程序语句的基本形式是 Horn 子句，Prolog程序由围绕某一主题的事实、规则和询问 3 类语句组成，这 3 类语句分别用来陈述事实、定义规则和提出问题。Prolog 具有很强的推理功能，适用于书写自动定理证明、专家系统、自然语言理解等人工智能问题的程序。归约方法是逻辑式语言的主要方法之一。它是把一簇命题转换成标准的子句集形式，采用匹配和合一的算法，消除冗余，以获得新命题正确性的证明或命题集一致性的验证。(4)函数型语言函数型语言是一类以 演算为基础的语言。Lisp 是典型的函数型程序语言。函数是一种对应规则(映射)，它使其定义域中每一个值和值域中惟一
17、的值相对应。函数型程序设计语言的优点在于它是一种面向值的语言，无状态，无副作用，具有引用透明性，函数值只取决于变元值，具有相同一组变元的函数，基值惟一。对表达式中出现的任何函数都可以用其他函数来代替，只要这些函数调用产生相同的值。这些特点有助于程序模块化的实现。函数型程序设计语言和逻辑型程序设计语言都属于申述型语言。(5)可视化开发工具目前，比较热门的软件开发工具都是可视化的，例如 Visual Basic、Visual C+、Delphi、PowerBuilder 和 JBuilder 等。这些工具都是一种事件驱动程序语言，编程时，必须在程序内设计各种事件的处理程序代码。当事件发生时，随即驱
18、动执行相应的程序段。这些开发工具都提供了良好的控件工具，用户可以很方便地建立用户界面，大大提高了程序设计的效率。人工智能又称机器智能，是研究如何用计算机来实现人类智能的一门学科。它包括自然语言理解、感知与认知、定理自动证明、模式识别、计算机视觉、知识工程与专家系统等。人工智能主要是用计算机来模拟人的思维，包括知识的表示、存储、传输、处理、推断、联想等。其中，知识的表示与推理是核心内容；而一般的计算机语言不适于知识的表示与推理。因此科学家们推出了与一般算法语言有较大差异的、有强大的知识处理能力的计算机语言(如 Lisp、Prolog 和 OPS 等)，人们把这类语言称为人工智能语言。人工智能语言
19、按知识表示和处理的方式不同分成逻辑式与函数式两大类。Lisp 语言是函数式的，Prolog 语言是逻辑式的，此外还有混合型的。匹配、合一和 Horn 子句是逻辑型语言中的重要概念。Visual Basic 是开发 Windows 应用程序的良好工具。Visual Basic 是一种 (6) 驱动的程序语言，在程序内必须设计各种 (6) 的处理程序码，当此 (6) 发生时，随即执行相应的程序码。在程序设计时，设计人员可使用 Visual Basic 所提供的 (7) 建立用户界面，从而大大提高程序设计效率。（分数：2.00）A.指令B.事件 C.数据D.过程解析：A.函数B.子程序库C.工具 D
20、.过程调用解析：分析 请参考试题 1 的分析。软件语言是指用于书写计算机软件的语言。它主要包括需求定义语言、功能性语言、设计性语言、程序设计语言和文档语言等。 (8) 就是一种典型的设计性语言，常用于详细设计。 (9) 语言是一种功能性语言，它是以 (10) 理论为基础的一种规约语言。程序设计语言用于书写计算机程序，它包含语法、语义、和 (11) 三个方面。程序设计语言又可分为过程式语言和非过程式语言，如 (12) 就是典型的非过程式语言。（分数：5.00）A.PSLB.PDL C.EiffelD.Modula解析：A.PrologB.OBJC.JavaD.Z 解析：A.一阶谓词演算 B. 演
21、算C.异调代数D.范畴论解析：A.语境B.语调C.语用 D.词语解析：A.Prolog 和 RPG B.Java 和 C+C.Lisp 和 AdaD.Java 和 Ada解析：分析 软件语言主要包括需求定义语言、功能性语言、设计性语言、程序设计语言和文档语言等。需求定义语言用来描述软件需求规格说明，典型的需求定义语言有 PSL(问题陈述语言)。功能性语言用来描述软件功能规约，典型的功能性语言有 Z 语言、FGSPEC 语言等。其中 z 语言是一种以一阶谓词演算为主要理论基础的规约语言。设计性语言用来描述软件设计规约，典型的设计性语言有 PDL 语言、 GSPEC 语言等。文档语言用来书写软件文
22、档；前述的软件需求规格说明；软件功能规约、软件设计规约等都是软件文档，它们可用相应的语言形式化地书写。此外，还有一些其他的阐明性资料(例如用户手册)也是软件文档，以便于用户理解相应的软件。这些阐明性资料一般都是用自然语言或半形式化语言书写的。从语言介绍部分可直接获得第 4 小题答案。程序设计语言可分为过程式语言和非过程式语言。过程式语言的主要特征是用户可指明一系列可顺序执行的运算，以表示相应的计算过程。C+、Java、 Ada、Modula、Eiffel 等都是过程式语言。非过程式语言的含义是相对的，凡是用户无法指明表示计算过程的一系列可顺序执行的运算的语言都是非过程式语言。Prolog、RP
23、G 等都是非过程式语言。函数式程序设计语言和逻辑式程序设计语言都属于 (13) 语言。逻辑式语言的基础是 (14) ，如 Prolog是逻辑式程序设计语言，它的基本运算单位是 (15) 。函数式语言是一种面向 (16) 的语言。（分数：4.00）A.申述式 B.命令式C.过程D.第四代解析：A. 演算B.异调代数C.谓词逻辑 D.范畴论解析：A.Horn 子句 B.函数C.子程序D.模块解析：A.对象B.谓词C.表达式D.值 解析：分析 请参考试题 1 的分析。一种最早用于科学计算的程序设计语言是 (17) ；一种提供指针和指针操作且不存在布尔类型的、应用广泛的系统程序设计语言是 (18) ；
24、一种适合在互联网上编写程序可供不同平台上运行的面向对象程序设计语言是 (19) ；一种在解决人工智能问题上使用最多的、有较强的表处理功能的函数程序设计语言是 (20) ；一种以谓词逻辑为基础的、核心是事实、规则和推理机制的实用逻辑程序设计语言是 (21) 。（分数：5.00）A.PascalB.AdaC.SmalltalkD.Lisp 解析：A.PascalB.AdaC.SmalltalkD.C 解析：A.PascalB.AdaC.SmalltalkD.Java 解析：A.PascalB.AdaC.SmalltalkD.Lisp 解析：A.PascalB.AdaC.SmalltalkD.Pro
25、log 解析：分析 请参考试题 1 的分析。最早体现结构化程序设计思想的程序设计语言是 (22) ，最早使用 BNF 文法定义程序设计语言语法的语言是 (23) 。最早提出类的概念语言是 (24) ，完备地体现面向对象并提出继承概念的程序设计语言是 (25) ，最早的人工智能语言是 (26) 。（分数：5.00）A.AdaB.Pascal C.Algol 68D.Algol 60解析：A.AdaB.PascalC.Algol 68D.Algol 60 解析：A.AdaB.PascalC.Algol 68D.Simula 解析：A.AdaB.PascalC.Algol 68D.Smalltalk
26、 80 解析：A.AdaB.PascalC.Algol 68D.Lisp 解析：分析 请参考试题 1 的分析。说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。Horn 子句是逻辑程序设计语言中的重要概念。设 P，Q，R 为原子公式，则 (30) 为 Horn 子句。（分数：4.00）A.没有程序呼叫B.描述处理过程C.没有赋值语句 D.描述用户需求解析：A.C+B.Prolog C.GPSSD.Smalltalk解析：A.函数型B.递归型C.人工智能 D.面向对象解析：A.P，Q:-RB.P:-Q，R C.P:-Q，RD.P，Q:-解析：
27、分析 程序设计语言可分为过程性语言和非过程性语言，说明性语言属于非过程性语言，其特点之一就是没有赋值语句。本题中的 Prolog 是说明性语言，而现在流行的一些语言，基本上都是过程性语言。同时，Prolog 也是一种逻辑的人工智能语言，它的推理机制是采用一阶谓词逻辑。Horn 子句是逻辑程序设计语言的一个重要概念，对自动推理带来了形式上一致化的好处。在经典逻辑中，任一个由若干原子命题及有关逻辑运算符组成的复合命题均可化为等价的合取范式*其中 Pij为正或负的原子命题，进而表示成子句集：*其中每个形如*的命题称为子句；若*中至多只有一个是以正命题形式出现的，则称此子句为 Horn 子句。(31)
28、 是用于描述软件详细设计的语言， (32) 是支持动态汇集(Dynamic Binding)概念的语言， (33) 是支持强类型(Strong Yying)概念的语言， (34) 语言的一个主要特点是用透明性， (35) 语言是一种过程性语言。（分数：5.00）A.PascalB.PDL C.Smalltalk 80D.Lisp解析：A.PascalB.PDLC.Smalltalk 80 D.Lisp解析：A.Pascal B.PDLC.Smalltalk 80D.Lisp解析：A.PascalB.PDLC.Smalltalk 80D.Lisp 解析：A.Pascal B.PDLC.Small
29、talk 80D.Lisp解析：分析 PDL(Program Design Language)是一种用于描述软件详细设计的语言。用 PDL 所描述的程序与高级程序设计语言所描述的程序在总体结构上比较相似，其语句用自然语言书写，所以(31)应该是C。汇集(Binding)是指函数调用与响应该调用的执行代码之间建立联系。动态汇集(Dynamic Binding)是指在运行的调用时刻前，与给定调用所关联的代码是未知的。动态汇集是面向对象语言的一个重要特点。在传统程序设计语言中，汇集一般是在编译过程中出现，这称为静态汇集，所以(32)应该是 C。强类型(Strong Typing)是指在编译时刻就能确
30、定所有变元的类型。Pascal 是一种支持强类型概念的程序设计语言。所以(33)应该是 A。引用透明性(Referential Transparency)是指函数的计算结果仅由其子函数的计算结果确定，而与可能的计算次序无关。函数式语言的主要特征就是引用透明性。Lisp 是一种函数式程序设计语言，所以(34)应该是 D。过程性语言就是指传统的程序设计语言。在使用传统程序设计语言时，程序员不仅要说明信息结构，而且要描述程序的控制流程，因此它也被称为过程性语言。过程性语言是相对于新型程序设计语言(函数式、逻辑式、面向对象)和第四代语言(4GL)而言的，其特点是通过使用赋值语句改变变量的状态，来完成各
31、种任务，所以(35)应是 A。PSL(Problem Statement Language)是一种问题描述语言，它和 PSA(Problem Statement Analyzer)一起构成了一种需求分析工具。面向对象型的程序设计语言具有数据抽象、信息隐蔽、 (36) 等特征。作为运算单位的对象应具有下列特性： (37) 、 (38) 、 (39) 。 (40) 是面向对象型的语言。（分数：5.00）A.对象调用B.对象变换C.非过程性D.信息继承 E.并发性解析：A.对象把数据和处理数据的操作结合为一体 B.在程序运行时对象都处于活动状态C.对象在计算中可向其他对象发送消息D.接受消息的对象必
32、须给消息发送者以回答解析：A.对象把数据和处理数据的操作结合为一体B.在程序运行时对象都处于活动状态C.对象在计算中可向其他对象发送消息 D.接受消息的对象必须给消息发送者以回答解析：A.对象把数据和处理数据的操作结合为一体B.在程序运行时对象都处于活动状态C.对象在计算中可向其他对象发送消息D.对象的内部状态只根据下部送来的消息才操作 解析：A.C+，Smalltalk，object C B.C，Ada，Modula2C.Pascal，C+，APLD.Ada，ObjectC，C解析：分析 数据抽象、信息隐蔽、信息继承是面向对象的程序设计语言的 3 个重要特征。对象是面向对象的程序设计语言的基
33、本运算单位，由它的私有数据类型以及对这些数据类型进行处理的操作(又称方法)组成。对象的这一特性使数据抽象得以实现。对对象中的数据类型的操作，必须通过定义在同一个对象内的操作才可进行，而这些操作的引发是通过消息进行的。每个对象可产生消息发送给其他对象，也可接收其他对象发出的消息。对象只有在接收到消息之后才有所动作，其内部状态才会变化，但接收消息的对象不一定要回答消息的发送者。消息通过对象的共享区唤醒其中的某个操作，至于该操作如何进行，对象不对外公开，对象的这一特性是对信息隐蔽原则的体现。著名的面向对象型的程序设计语言有 Smalltalk、C+、ObjectC、Ada 等。 C、Pascal、A
34、PL、Modula2 等不是面向对象型语言。程序设计语言 Lisp 与 Prolog 分别是 (41) ，它们的理论基础分别是 (42) 它们的数据结构分别是 (43) ，它们的程序形式分别是 (44) ，主要应用于 (45) 。（分数：5.00）A.逻辑与对象B.对象与逻辑C.函数与逻辑 D.逻辑与函数解析：A.等词理论与 演算B. 演算与等词理论C.一阶谓词逻辑与 演算D. 演算与一阶谓词逻辑 解析：A.S-表达式与项 B.项与记录C.记录与函数D.函数与公式解析：A.Horn 子句与函数B.函数与 Horn C.Horn 子句与过程D.过程与函数解析：A.事务处理B.人工智能 C.文字处理D.科学计算解析：分析 见试题 9-12 和试题 27-30 的分析。1.软件开发工具 VB、PB、Delphi 是可视化的。这些工具是一种 (46) 程序语言。（分数：1.00）A.事件驱动 B.逻辑式C.函数式D.命令式解析：分析 软件开发工具 VB、PB、Delphi 是可视化的，这些工具是一种事件驱动程序语言。详细的分析请阅读试题 1 的分析。2.PROLOG 语言属于 (47) 程序设计范型，该范型将程序设计归结为列举事实，定义逻辑关系等。（分数：1.00）A.过程式B.函数式C.面向逻辑 D.面向对象解析：分析 请参考试题 1 的分析。
