注意：此页面搜索的是所有试题
人工智能
请写出至少3中降低势函数运算量的方法。
Prolog程序运行的特点是：推理方式为反向推理，控制策略是深度优先，且有回溯机制。 × √
人工智能编程语言中那个是很早起的表处理语言：（） A、 likes(mary,music) B、 friend(john,X):- likes(X,reading), likes(X,music). C、 GOAL D、 friend(john,Y).
一个原子公式P(x)，对于所有可能的变量x都具有值T。这个特性可由在P(x)前面加上全称量词($x)来表示。 × √
那个是从键盘上读取一个字符串，然后约束给变量X（） A、 readint (X) B、 readln (X) C、 readreal (X) D、 readchar(X)
把一个复杂问题分解或变换为一组本原问题的过程叫做归约 × √
1/40、 鸟有翅膀是（）（ 2.500分） A、 类属关系 B、 属性关系 C、 位置关系 D、 包含关系
2/40、 一个完整的Turbo PROLOG(2.0版)程序谓语段段对应的关键字（）（ 2.500分） A、 clauses B、 database C、 predicates D、 constants
3/40、 人工智能的目的是让机器能够( ) ，以实现某些脑力劳动的机械化。（ 2.500分） A、 具有智能 B、 和人一样工作 C、 完全代替人的大脑 D、
4/40、 两个谓词可匹配合一，是指两个谓词的名相同，参量项的个数相同，参量类型对应相同，并且对应参量项还满足下列条件之一：()（ 2.500分） A、 如果两个都是常量，则必须完全相同。 B、 如果两个都是约束变量，则两个约束值必须相同。 C、 如果其中一个是常量，一个是约束变量，则约束值与常量必须相同。 D、 至少有一个是自由变量
5/40、 一个程序至少要有一个predicates段、clauses段和goal段。（ 2.500分） × √
6/40、 与或图中直接可解的问题称为本原问题（ 2.500分） × √
7/40、 问题能与规则及事实排在一起，它作为程序的目标要么单独列出，要么在程序运行时临时给出。（ 2.500分） × √
8/40、 什么是PROLOG程序的核心（）（ 2.500分） A、 子句段 B、 常量段 C、 数据库段 D、 目标段
9/40、 定性AI结果可预测。（ 2.500分） × √
Prolog程序运行的特点是：推理方式为反向推理，控制策略是深度优先，且有回溯机制。 × √
人工智能编程语言中那个是很早起的表处理语言：（） A、 likes(mary,music) B、 friend(john,X):- likes(X,reading), likes(X,music). C、 GOAL D、 friend(john,Y).
一个原子公式P(x)，对于所有可能的变量x都具有值T。这个特性可由在P(x)前面加上全称量词($x)来表示。 × √
那个是从键盘上读取一个字符串，然后约束给变量X（） A、 readint (X) B、 readln (X) C、 readreal (X) D、 readchar(X)
把一个复杂问题分解或变换为一组本原问题的过程叫做归约 × √
1/40、 鸟有翅膀是（）（ 2.500分） A、 类属关系 B、 属性关系 C、 位置关系 D、 包含关系
2/40、 一个完整的Turbo PROLOG(2.0版)程序谓语段段对应的关键字（）（ 2.500分） A、 clauses B、 database C、 predicates D、 constants
3/40、 人工智能的目的是让机器能够( ) ，以实现某些脑力劳动的机械化。（ 2.500分） A、 具有智能 B、 和人一样工作 C、 完全代替人的大脑 D、
4/40、 两个谓词可匹配合一，是指两个谓词的名相同，参量项的个数相同，参量类型对应相同，并且对应参量项还满足下列条件之一：()（ 2.500分） A、 如果两个都是常量，则必须完全相同。 B、 如果两个都是约束变量，则两个约束值必须相同。 C、 如果其中一个是常量，一个是约束变量，则约束值与常量必须相同。 D、 至少有一个是自由变量
5/40、 一个程序至少要有一个predicates段、clauses段和goal段。（ 2.500分） × √
6/40、 与或图中直接可解的问题称为本原问题（ 2.500分） × √
7/40、 问题能与规则及事实排在一起，它作为程序的目标要么单独列出，要么在程序运行时临时给出。（ 2.500分） × √
8/40、 什么是PROLOG程序的核心（）（ 2.500分） A、 子句段 B、 常量段 C、 数据库段 D、 目标段
9/40、 定性AI结果可预测。（ 2.500分） × √