2024年春夏学期人工智能课程实训案例：八皇后问题与黑白棋.pdfVIP

2023-2024年度春夏学期浙江大学本科专业

《引论》课程实训题目

1.八皇后问题（逻辑推理实验）

1.1.实验背景

逻辑编程是一种编程典范，它设置须匹配的规则来解决问题，而非设置步骤来解决

问题。过程是“+规则结果”。的发展与逻辑编程的发展是一个相辅相成的过程，早

期的以规则和逻辑推理作为主要研究方向，这在逻辑编程的发挥了重要的影

响，另外更好更快的逻辑编程也推动了的发展，例如专家系统、知识图谱和自动定

理证明。

Python是一种解释型、面向对象、动态数据类型的高级程序设计语言。在数据驱动学习

时代，Python的崛起已经是一个不争的，并且成为算法的第一语言。在本次实

验中，我们学习将Python应用于逻辑编程，并尝试自主撰写逻辑规则解决八皇后问题。

1.2.实验内容

八皇后问题：如何能够在8×8的国际象棋棋盘上放置八个皇后，使得任何一个皇后都无

法直接其他的皇后？为了达到此目的，任两个皇后都不能处于同一条、纵行或斜线

上。

1.3.实验要求

a)基本掌握逻辑编程的思想，了解逻辑编程与命令式编程的区别

b)能够依据给定的以及规则编写代码，解决逻辑约束问题（CLP）

1.4.实验环境

使用Python语言。

1.5.参考资料

Python:

kanren:

布置日期：2024年3月11日周一

提交作业：2024年3月26日周二晚上12点

2.黑白棋（MiniAlphaGo）

2.1.实验内容

黑白棋(Reversi)，也叫苹果棋，翻转棋，是一个经典的策略。一般棋子双面为黑

白两色，故称“黑白棋”。因为行棋之时将对方棋子翻转，变为己方棋子，故又称“翻转

棋”(Reversi)。棋子双面为红、绿色的称为“苹果棋”。它使用8x8的棋盘,由两人执黑子和白

子轮流下棋，最后子多方为胜方。随着网络的普及，黑白棋作为一种最适合在网上玩的棋类

游戏正在逐渐流行起来。主要的黑白棋游戏站点有Yahoo游戏、游戏网、联众游戏

等。

游戏规则：

棋局开始时黑棋位于e4和d5，白棋位于d4和e5，如图所示。

1)黑方先行，双方交替下棋。

2)一步合法的棋步包括：在一个空格新落下一个棋子，并且翻转对手一个

或多个棋子。

3)新落下的棋子与棋盘上已有的同色棋子间，对方被的所有棋子都要

翻转过来。可以是横着夹，竖着夹，或是斜着夹。的位置上必须全

部是对手的棋子，不能有空格。

4)一步棋可以在数个（横向，纵向，对角线）方向上翻棋，任何被的

棋子都必须被翻转过来，棋手无权选择不去翻某个棋子。

5)除非至少翻转了对手的一个棋子，否则就不能落子。如果一方没有合法

棋步，也就是说不管他下到哪里，都不能至少翻转对手的一个棋子，那

他这一轮只能弃权，而由他的对手继续