人工智能原理MOOC习题集及答案北京大学王文敏

Quizzes for Chapter 1

1单选(1分)图灵测试旨在给予哪一种令人满意的操作定义得分/

总分

? A.人类思考

?

B.人工智能

?

C.机器智能1.00/1.00

?

D.机器动作

正确答案：C 你选对了

2

多选(1分)选择以下关于人工智能概念的正确表述得分/总分

? A.人工智能旨在创造智能机器该题无法得分/1.00 ?

B.

人工智能是研究和构建在给定环境下表现良好的

智能体程序该题无法得分/1.00

?

C.人工智能将其定义为人类智能体的研究该题无法

得分

/1.00

? D.人工智能是为了开发一类计算机使之能够完成通

常由人类所能做的事

该题无法得分/1.00 正确答案：A 、B 、D 你错选为A 、B 、C 、D

3多选(1分)如下学科哪些是人工智能的基础？得分/总分

? A.经济学

0.25/1.00 ? B.哲学0.25/1.00 ?

C.心理学0.25/1.00 ?

D.数学0.25/1.00

正确答案：A 、B 、

C 、

D 你选对了

4多选(1分)下列陈述中哪些是描述强AI (通用AI )的正确答案？得分/总分

? A.

指的是一种机器，具有将智能应用于任何问题的

能力0.50/1.00

? B.

是经过适当编程的具有正确输入和输出的计算

机，因此有与人类同样判断力的头脑0.50/1.00

?

C.指的是一种机器，仅针对一个具体问题 ?

D.其定义为无知觉的计算机智能，或专注于一个狭

窄任务的AI

正确答案：A 、B 你选对了

5多选(1分)选择下列计算机系统中属于人工智能的实例得分/总分

?

A.

Web 搜索引擎 ?

B.超市条形码扫描器

?

C.声控电话菜单该题无法得分/1.00 ?

D.智能个人助理该题无法得分/1.00

正确答案：A 、D 你错选为C 、D

6多选(1分)选择下列哪些是人工智能的研究领域 得分/总分

? A.人脸识别0.33/1.00

? B.专家系统0.33/1.00 ?

C.图像理解 ?

D.分布式计算

正确答案：A 、

B 、

C 你错选为A 、B

7多选(1分)考察人工智能(AI)的一些应用，去发现目前下列哪些任务可以通过AI 来解决得分/总分

? A.以竞技水平玩德州扑克游戏0.33/1.00

? B.打一场像样的乒乓球比赛

?

C.在Web 上购买一周的食品杂货0.33/1.00

?

D.在市场上购买一周的食品杂货

正确答案：A

、B 、C 你错选为A 、C

8填空(1分)理性指的是一个系统的属性，即在_________的环境下做正确的事。得分/总分 正确答案：已知

1单选(1分)图灵测试旨在给予哪一种令人满意的操作定义得分/总分

? A.人类思考 ? B.人工智能

? C.机器智能1.00/1.00 ?

D.机器动作

正确答案：C 你选对了

2多选(1分)选择以下关于人工智能概念的正确表述得分/总分

? A.人工智能旨在创造智能机器该题无法得分/1.00 ?

B.人工智能是研究和构建在给定环境下表现良好的

智能体程序该题无法得分/1.00

?

C.人工智能将其定义为人类智能体的研究该题无法

得分/1.00

? D.人工智能是为了开发一类计算机使之能够完成通

常由人类所能做的事

该题无法得分/1.00 正确答案：A 、B 、D 你错选为A 、B 、C 、D

3多选(1分)如下学科哪些是人工智能的基础？得分/总分

? A.经济学0.25/1.00

? B.哲学0.25/1.00 ?

C.心理学0.25/1.00 ?

D.数学0.25/1.00

正确答案：A 、B 、C

、D 你选对了

4多选(1分)下列陈述中哪些是描述强AI (通用AI )的正确答案？ 得分/总分

? A.

指的是一种机器，具有将智能应用于任何问题的

能力0.50/1.00

? B.

是经过适当编程的具有正确输入和输出的计算

机，因此有与人类同样判断力的头脑0.50/1.00

?

C.指的是一种机器，仅针对一个具体问题 ?

D.其定义为无知觉的计算机智能，或专注于一个狭

窄任务的AI

正确答案：A 、B 你选对了

5多选(1分)选择下列计算机系统中属于人工智能的实例得分/总分

?

A.Web 搜索引擎 ?

B.超市条形码扫描器

?

C.声控电话菜单该题无法得分/1.00

?

D.智能个人助理该题无法得分/1.00

正确答案：A 、D 你错选为C 、D

6多选(1分)选择下列哪些是人工智能的研究领域得分/总分

? A.人脸识别0.33/1.00

?

B.专家系统0.33/1.00 ?

C.图像理解 ?

D.分布式计算

正确答案：A 、

B 、

C 你错选为A 、B

7多选(1分)考察人工智能(AI)的一些应用，去发现目前下列哪些

任务可以通过AI 来解决得分/总分

? A.以竞技水平玩德州扑克游戏0.33/1.00 ?

B.打一场像样的乒乓球比赛

?

C.在Web 上购买一周的食品杂货0.33/1.00 ?

D.在市场上购买一周的食品杂货

正确答案：A

、B 、C 你错选为A 、C

8填空(1分)理性指的是一个系统的属性，即在_________的环境下做正确的事。得分/总分 正确答案：已知 Quizzes for Chapter 2

1多选(1

分)对于如下比拟，选择哪些方法更通用并且更适合于科学开发得分/总分

?

A.理性动作

?

B.类人动作该题无法得分/1.00 ?

C.理性思考该题无法得分/1.00 ?

D.类人思考

正确答案：A 、C 你错选为B 、C

2多选(1分)理性智能体指的是有正确行为的智能体，但正确的行

为意味着什么？考虑智能体行为的后果，选择下列有关“正确的行为”概念的真实陈述得分/总分

?

A.如果该序列是所期望的，则该智能体表现良好

0.33/1.00

?

B.智能体在某个环境中依据感知生成动作序列 ?

C.但若该序列是不期望的，则该智能体对其环境造

成破坏

?

D.这些动作序列引起环境改变而产生状态序列

0.33/1.00

正确答案：A 、B 、D 你错选为A 、D

3多选(1分)PEAS 是一种任务环境描述，它代表 得分/总分

? A.性能该题无法得分/1.00 ?

B.动作器该题无法得分/1.00 ?

C.感觉该题无法得分/1.00

?

D.感受器该题无法得分/1.00

正确答案：A

、B 、D 你错选为A 、B 、C 、D

4多选(1分)下列中语句哪些与智能体环境类型有关得分/总分

? A.完全可观测与部分可观测0.25/1.00

? B.单智能体与多智能体0.25/1.00 ?

C.阵发性与连续性0.25/1.00 ?

D.确定性与随机性0.25/1.00

正确答案：A 、B

、C 、D 你选对了

5多选(1分)考虑智能体函数与智能体程序的差异，从下列陈述中选择正确的答案得分/总分

? A.一个智能体程序实现一个智能体函数

? B.智能体程序与智能体函数没有任何关系

?

C.一个智能体函数实现一个智能体程序该题无法得

分/1.00

? D.智能体程序包含智能体函数该题无法得分

/1.00

正确答案：A 、D 你错选为C 、D

6多选(1分)选择下列哪些方法可以用于表示表示智能体的状态得分/总分

? A.结构式该题无法得分/1.00

? B.模块式该题无法得分/1.00

? C.网络式该题无法得分/1.00 ?

D.因子式该题无法得分

/1.00

正确答案：A 、D 你错选为A 、B 、C 、D

7填空(1分)凭借符号及他们之间的关系来表征信息的人工智能方法是

____________，而用网络内部的一种分布式形式来表征信息的是联结主义AI 。得分

/总分 正确答案：符号主义AI

8填空(1分)智能体可看作是通过_________感知外部环境，并且通过执行器作用于外部环境的任何事物。得分/总分 正确答案：感受器

1多选(1分)对于如下比拟，选择哪些方法更通用并且更适合于科学开发得分/

总分

?

A.类人

动作该题无法得分/1.00 ? B.

理性动作 ? C.

类人思考

?

D.理性思考该题无法得分/1.00

正确答案：B 、D 你错选为A 、D

2多选(1分)理性智能体指的是有正确行为的智能体，但正确的行

为意味着什么？考虑智能体行为的后果，选择下列有关“正确的行为”概念的真实陈述得分/

总分

? A.

智能体在某个环境中依据感知生成动作序列 ?

B.

但若该序列是不期望的，则该智能体对其环境造

成破坏

?

C.这些动作序列引起环境改变而产生状态序列

0.33/1.00

? D.如果该序列是所期望的，则该智能体表现良好

0.33/1.00

正确答案：A 、C 、D 你错选为C 、D

3

多选(1分)PEAS 是一种任务环境描述，它代表 分/

总分

? A.感受器

0.33/1.00 ?

B.动作

?

C.性能0.33/1.00 ?

D.动作器0.33/1.00

正确答案：A 、C 、D 你选对了

4多选(1分)下列中语句哪些与智能体环境类型有关得分/总分

? A.完全可观测与部分可观测该题无法得分/1.00 ? B.单智能体与多智能体该题无法得分/1.00 ? C.好的智能体与差的智能体该题无法得分/1.00 ?

D.确定性与随机性该题无法得分/1.00

正确答案：A 、B 、D 你错选为A 、B 、

C 、D

5多选(1分)

考虑智能体函数与智能体程序的差异，从下列陈述中选择正确的答案得分/总分

? A.智能体程序与智能体函数没有任何关系

? B.一个智能体函数实现一个智能体程序

? C.一个智能体程序实现一个智能体函数0.50/1.00

?

D.智能体程序包含智能体函数0.50/1.00

正确答案：

C 、

D 你选对了

6多选(1分)选择下列哪些方法可以用于表示表示智能体的状态 得分/总分

? A.结构式0.50/1.00

? B.模块式

? C.网络式

?

D.原子式

正确答案：A

、D 你错选为A

7填空(1分)凭借符号及他们之间的关系来表征信息的人工智能方法是____________，而用网络内部的一种分布式形式来表征信息的是联结主义AI 。得分/总分 正确答案：符号主义AI

8填空(1分

)智能体可看作是通过_________感知外部环境，并且通过执行器作用于外部环境的任何事物。得分/总分

正确答案：感受器 Quizzes for Chapter 3

1单选(1分)

有两种8皇后问题的形式化方式。“初始时8个皇后都放在棋盘上，然后再进行移动”是哪一种形式化方式？得分/

总分

? A.半态形式化

? B.增量形式化0.00/1.00 ? C.正则形式化

?

D.全态形式化

正确答案：D 你错选为B

2单选

(1分)设h(n)表示启发式函数且g(n)表示代价，则贪婪搜索所使用的评价函数是得分

/总分

? A.f(n) = g(n) + h(n)

? B.f(n) = g(n)

? C.

f(n) = g(n) - h(n) ?

D.f(n) = h(n)1.00/1.00

正确答案：D 你选对了

3单选(1分)

设h(n)表示启发式函数且g(n)表示代价，则A*搜索所

使用的评价函数是:得分/总分

? A.f(n) = g(n) + h(n)1.00/1.00 ?

B.f(n) = h(n) ?

C.f(n) = g(n) - h(n) ?

D.

f(n) = g(n)

正确答案：A 你选对了

4

多选(1分)下列哪些项用于对问题进行形式化得分/总分

?

A.感知

? B.初始状态该题无法得分

/1.00 ? C.动作该题无法得分

/1.00 ?

D.环境该题无法得分

/1.00

正确答案：B 、C 你错选为B 、C 、

D

5多选(1分)选择如下哪些搜索方法属于无信息搜索得分/总分

? A.贪婪搜索 ? B. A*搜索

? C.双向搜索0.50/1.00 ?

D.宽度优先搜索0.50/1.00

正确答案：C 、D 你选对了

6多选(1分)除了问题本身的定义之外，使用问题特定知识的搜索策略被认为是得分/总分

?

A. 启发式搜索0.50/1.00 ?

B.有信息搜索0.50/1.00 ?

C.二元搜索 ?

D.无信息搜索

正确答案：A 、B 你选对了

7填空(1分)某些_______或NP 难问题只能通过搜索来求解。

得分/总分

正确答案：NP 完

8填空(1分)问题形式化是给定一个目标，决定要考虑的_______与状态的处理。得分

/总分 正确答案：动作

1单选(1

分)有两种8皇后问题的形式化方式。“初始时8个皇后都放在棋盘上，然后再进行移动”是哪一种形式化方式？得分/总分

? A.正则形式化

?

B.全态形式化1.00/1.00

? C.半态形式化

?

D.增量形式化

正确答案：B 你选对了

2单选(1分)设h(n)表示启发式函数且g(n)表示代价，则贪婪搜索所使用的评价函数是得分/总分

? A.f(n) = g(n)

?

B.f(n) = h(n)1.00/1.00 ?

C.f(n) = g(n) - h(n) ?

D.f(n) = g(n) + h(n)

正确答案：B 你选对了

3单选(1分)设h(n)表示启发式函数且g(n)表示代价，则A*搜索所使用的评价函数是:得分/总分

?

A.f(n) = h(n) ?

B.f(n) = g(n)

?

C.f(n) = g(n) + h(n)1.00/1.00 ?

D.f(n) = g(n) - h(n)

正确答案：C 你选对了

4多选(1分)下列哪些项用于对问题进行形式化得分/总分

? A.初始状态

0.33/1.00 ? B.路径检测

?

C.目标检测

0.33/1.00

? D.智能体函数

正确答案：A 、B 、C 你错选为A 、C

5多选(1分)选择如下哪些搜索方法属于无信息搜索得分/总分

? A. A*搜索

? B.深度优先搜索0.33/1.00 ?

C. 一致代价搜索0.33/1.00

?

D.深度受限搜索

正确答案：B 、C 、D 你错选为B 、C

6多选(1分)除了问题本身的定义之外，使用问题特定知识的搜索策略被认为是得分/总分

?

A.有信息搜索0.50/1.00 ?

B.二元搜索 ?

C.无信息搜索

?

D. 启发式搜索0.50/1.00

正确答案：A

、D 你选对了

7填空(1分)某些_______或NP

难问题只能通过搜索来求解。得分/总分

正确答案：NP 完

8填空(1分)问题形式化是给定一个目标，决定要考虑的_______与状态的处理。得分/总分 正确答案：动作 Quizzes for Chapter 4

1单选(1分)Keeping just one node in memory might seem to be an extreme reaction to the problem of memory limitations. Local beam search keeps track of:在内存中仅保存一个节点似乎是对

内存限制问题的极端反应。局部束搜索保持：得分/总分

?

A.m states rather than n states.m 个状态而不是n

个

?

B.just m states rather than n states 仅有n 状态而

不是m

? C.k states rather than just one.k 个状态而不仅仅

为一1.00/1.00

?

D.just one rather than k states.仅有一个状态而不

是k 个

2单选(1分)A genetic algorithm is a variant of stochastic beam search, in which successor states are generated:遗传算法是随机束搜索的一个变体，其中后继节点的生成是由：得分/总分

? A.by combining two parent nodes rather than by

modifying a single node.组合单一状态而不是组合两个双亲状态。

? B.by combining two parent states rather than by

modifying a single state.组合两个双亲状态而不是修改单一状态。1.00/1.00

?

C.by modifying a single node rather than by

combining two parent nodes.

组合单一节点而不是组合两个双亲节点。

?

D.by modifying a single state rather than by

combining two parent states.组合两个双亲节点而不是修改单一节点。

3多选(1分)Hill climbing search is sometimes called greedy local search because it grabs a good neighbor state without thinking ahead about where to go next. Unfortunately, it often gets stuck for the three reasons:爬山搜索有时也被称为贪婪局部搜索，因为它只顾抓住一个好的邻接点的状态，而不提前思考下一步该去哪儿。它在三种情况下经常被困：得分/总分

?

A. Ridges 山岭0.33/1.00 ?

B.Mountain 高山

? C.Plateaux 高原0.33/1.00

?

D.Local maxima 局部最大值0.33/1.00

4多选(1分)

Which of the following statements are true about Simulated annealing algorithm ？以下关于模拟退火算法的陈述哪些是正确的？得分/总分

? A.Instead of picking the random move, simulated

annealing algorithm picks a best move.模拟退火算法不是选择随机行动，而是选择最佳行动。

? B.The inner loop of the simulated annealing

algorithm is very different from hill climbing.模拟退火算法的内循环与爬山法完全不同。

? C.The inner loop of the simulated annealing

algorithm is quite similar to hill climbing.模拟退火算法的内循环与爬山法非常相似。0.50/1.00

? D.Instead of picking the best move, simulated

annealing algorithm picks a random move.模拟退火算法不是选择最佳行动，而是选择随机行动。0.50/1.00

5填空(1分)Ant Colony Optimization (ACO) algorithm was inspired by the behavior of ants seeking a path between

_______ and a source of food.蚁群优化算法是受蚂蚁在_______和食物源之间寻找路径行为的启发而形成的。 蚁巢 1.00/1.00

6填空(1分)

Inspired by social behavior of birds and fishes,

Particle Swarm Optimization (PSO) algorithm uses a number of ________ that constitute a swarm moving around in the search space looking for the best solution.受鸟类和鱼类的社会行为的启发，粒子群优化算法采用若干_______构成一个围绕搜索空间移动的群体来寻找最优解。

粒子 1.00/1.00

7填空(1分)Local search algorithms operate using a single ______ (rather than multiple paths) and generally move only to

neighbors of that node.局部搜索算法使用一个______（而不是多条路径），并且通常仅移动到该节点相邻的节点。

当前节点 1.00/1.00

8填空(1分)In addition to finding goals, local search algorithms are useful for solving pure _________, in which the aim is to find the best state according to an objective function.除了寻找目标之外，局部搜索算法对解决纯_________也很有效。其目的是根据一个目标函数找到其最好的状态。 优化问题 1.00/1.00 Quizzes for Chapter 5

1单选(1分)Which of the following is a true statement about games?以下关于博弈的陈述哪个是正确的？得分/总分

? A.Local search problems are often known as

games.局部搜索问题通常称为博弈

? B.Heuristic search problems are often known as

games.启发式搜索问题通常称为博弈

? C.Classical search problems are often known as

games.经典搜索问题通常称为博弈

? D.Adversarial search problems are often known

as games.对抗搜索通常称为博弈1.00/1.00

2单选(1分)___________ describes a situation in which the interacting agents' aggregate gains and losses can be less than or more than zero.___________中智能体交互动作的总收益和损失可以小于或大于零得分/

总分

?

A.Zero sum game 零和博弈 ?

B. Computer game 计算机博弈 ?

C.Two-player game 双人博弈

?

D.Non-zero sum game 非零和博弈1.00/1.00

3多选(1分)Select the following true statements regarding the concept of minimax rule for a zero sum game.从如下关于零和博

弈maximum 概念中选择正确的答案。得分/总分

? A.Each player maximizes the maximum payoff

possible for itself.每个玩家会使自己可能的最大收益变得最大。0.50/1.00

? B.Each player maximizes the maximum loss

possible for the other.每个玩家会使对手可能的最大损失变得最大。0.50/1.00

? C.Each player minimizes the maximum payoff

possible for itself.每个玩家会使自己可能的最大收益变得最小。

? D.Each player minimizes the maximum loss

possible for the other.

每个玩家会使对手可能的最大损失变得最小。

4多选(1分)Which of the following statements are true about alpha-beta pruning?以下关于alpha –beta 剪枝的陈述哪些是正确的？得分/总分

? A.Alpha –beta pruning is to add large parts that

are evaluated by the minimax algorithm in its search

tree.Alpha –beta 剪枝旨在添加其搜索树中由minimax 算法评价的

大部分。

? B.Alpha –beta pruning is to eliminate large parts

that are evaluated by the minimax algorithm in its search tree.Alpha –beta 剪枝旨在消除其搜索树中由minimax 算法评价的大部分。0.50/1.00

? C.Alpha –beta pruning is to increase the number

of nodes that are evaluated by the minimax algorithm in its search tree.Alpha –beta 剪枝旨在增加其搜索树中由minimax 算法评价的节点数量。

? D.Alpha –beta pruning is to decrease the number

of nodes that are evaluated by the minimax algorithm in its search tree.Alpha –beta 剪枝旨在减少其搜索树中由minimax 算法评价的节点数量。0.50/1.00

5填空(1分)Claude Shannon proposed instead that programs should cut off the search earlier and apply a _______________ to states in the search, effectively turning nonterminal nodes into terminal leaves.克劳德·香农提出：程序应该早一些剪断搜索，并在搜索中对状态应用________________，有效地将非终端节点转换为终端叶节点。（请填写中文答案） 启发式评估函数 0.00/1.00

6填空(1

分)____________ is a dynamic game with probabilistic

transitions played by one or more players.____________是一种具有概率转换的动态博弈，有一个或多个玩家。（请填写中文答案）

随机博弈 1.00/1.00

7填空(1分)Monte-Carlo methods are a broad class of

computational algorithms that rely on ________________ to obtain numerical results.蒙特卡罗方法是一大类计算算法，它凭

借________________来获得数值结果。（请填写中文答案） 重复随机采样 1.00/1.00

8填空(1分)___________ tree search is on the analysis of the

most promising moves, expanding the search tree based on random sampling of the search space.___________树搜索对最有利的动作进行分析，根据搜索空间的随机采样来扩展搜索树。（请填写中文答案） 蒙特卡罗 1.00/1.00 Quizzes for Chapter 6

1单选(1分)Select the following true one that is used to the state representation for constraint satisfaction problems (CSPs).从如

下用于约束满足问题 (CSP)的状态表示中选择正确的答案。得分/总分

? A.atomic 原子0.00/1.00 ? B.Molecular 分子 ?

C.Structure 结构

?

D.Factored 因子

2单选(1分)Assume that {A, B, C, D} are variables, the domain of each variable is {u, v, w}, and != denotes "not equal", select which of the following expressions is a binary constraint on CSP formalism?{A, B, C, D}为变量，每个变量的域是{u, v, w}，且“!=”表示不等于，从如下表达式中选择那个是CSP 形式化的2元约束？得分/总分

?

A.Alldiff(A, B, C, D)

? B.<(A), A = v>0.00/1.00 ?

C.Diff(A, D) ?

D.A + B = C

3

多选(1分)Compare CSP and state-space search, and select correct statements from following ones. 比较CSP 和状态空间搜索，并从下列叙述中选择正确的答案。得分/总分

? A.CSP solving system can be slower than

state-space search solving system.CSP 求解系统会比状态空间搜索求解系统慢。

? B.

CSP solving system can be faster than

state-space search solving system.CSP 求解系统会比状态空间搜索求解系统快。0.50/1.00

?

C.State-space search can quickly eliminate large

swatches of the search space.状态空间搜索可以快速排除大的搜索空间样本。

? D.CSP can quickly eliminate large swatches of

the search space.CSP

可以快速排除大的搜索空间样本。0.50/1.00

4多选(1分)Which of the following statements are true types of types of local consistency for constraint propagation?如下陈述中哪些是约束传播局部一致性的正确类型？得分/总分

? A.Path consistency 路径一致该题无法得分/1.00 ?

B.Loop consistency 环路一致

? C.Tree consistency 树一致该题无法得分

/1.00

?

D.Node consistency 节点一致该题无法得分/1.00

5多选(1分)Select the following true statements regarding the concept of "Backtracking search".从如下有关“

回溯搜索”概念中选择正确的答案。得分/总分

? A.It incrementally builds candidates to the

solutions, and abandons each partial candidate c, as soon as it determines that c cannot possibly be completed to a valid solution.每次为变量选择值并且当变量有一个或多个合法赋值时回溯。

?

B.It incrementally builds candidates to the

solutions, and abandons each partial candidate c, as soon as it determines that c cannot possibly be completed to an invalid solution. 递增地构建解的候选，并且一旦确定部分候选

c 不能成为合法的解，就将c 抛弃。0.50/1.00

?

C.It chooses values for one variable at a time and

backtracks when a variable has no legal values left to assign.每次为变量选择值并且当变量没有合法赋值时回溯。0.50/1.00

?

D.It chooses values for one variable at a time and

backtracks when a variable has one more legal value left to assign.

递增地构建解的候选，并且一旦确定部分候选c 不能成为非法的解，就将c 抛弃。

1单选(1分)Select the following true one that is used to the state

representation for constraint satisfaction problems (CSPs).从如下用于约束满足问题 (CSP)的状态表示中选择正确的答案。

得分/总分

? A.Molecular 分子 ?

B. Networked 网络 ?

C. atomic 原子

?

D.Factored 因子1.00/1.00

2单选(1分)Assume that {A, B, C, D} are variables, the domain of each variable is {u, v, w}, and != denotes "not equal", select which of the following expressions is a binary constraint on CSP

formalism?设{A, B, C, D}为变量，每个变量的域是{u, v, w}，且“!=”表示不等于，从如下表达式中选择那个是CSP 形式化的2元约束？得分/总分

?

A.Diff(A, D)1.00/1.00 ?

B.A + B = C