devbox
一键难忘520
这个屌丝很懒，什么也没留下！
关注作者
热门标签
热门文章
当前位置:   article > 正文

头歌实验要求_人们在对各种事物进行分析、综合并最后做出决定时,通常是从已知的事实出发,通过运

作者：一键难忘520 | 2024-07-11 10:38:36

赞

踩

人们在对各种事物进行分析、综合并最后做出决定时,通常是从已知的事实出发,通过运

目录

1.人工智能之盲目搜索算法

1.盲目搜索之宽度优先搜索算法

2.盲目搜索之深度优先搜索算法

2.启发式搜索算法

1.A*搜索算法

2.评估函数和启发信息

3.语义网络

4.不确定性推理

1.模糊推理及其应用

2.可信度方法

3.证据理论

4.模糊推理基础

6.概率理论和不确定性

7.确定性推理

1.归结反演

第2关：鲁宾孙归结原理

3.自然演绎推理

4.推理概述

8.常用的知识表示方法

知识表示方法

8.知识与知识表示的定义(知识与知识表示概念)

9.知识表示

逻辑表示法

框架表示法

10.产生式表示法与框架表示法

产生式表示法、

产生式系统

框架表示法

11. 不确定性的量化习题

12.概率推理习题

13.一阶逻辑的推理

14.一阶逻辑表示

15.搜索问题与技术

第1关：搜索策略

盲目搜索

启发式搜索 - 扫地机器人最短路径搜索

 搜索算法应用 - 四皇后问题

 问题求解的基本原理

状态空间法问题求解

问题归约法问题求解

1.人工智能之盲目搜索算法

1.盲目搜索之宽度优先搜索算法

  1. # -*- coding:utf-8 -*-
  2.  
  3. class Maze:
  4.     def __init__(self, map, n, m, x, y):
  5.         self.ans = 0            #最短步长结果
  6.         self.map = map          #迷宫地图map[0,n-1][0,m-1]（下标0开始）
  7.         self.n = n              #迷宫地图行数n
  8.         self.m = m              #迷宫地图列数m
  9.         self.x = x              #起点，行坐标（下标0开始）
  10.         self.y = y              #起点，列坐标（下标0开始）
  11.  
  12. class Solution:
  13.  
  14.     def solveMaze(self, maze):
  15.         """求解迷宫问题
  16.         :type: maze: class Maze #迷宫的数据结构类
  17.         :rtype: maze.ans: int   #返回最短路径长度
  18.         """
  19.  
  20.         #请在这里补充代码，完成本关任务
  21.         #********** Begin **********#
  22.         minpath=[]
  23.         dir=[[1,0],[-1,0],[0,-1],[0,1]]
  24.         row=maze.n
  25.         clm=maze.m
  26.         sx=maze.x
  27.         sy=maze.y
  28.         vis=[[False for i in range(clm+1)] for i in range(row+1)]
  29.         queue=[(sx,sy,0)]
  30.         vis[sx][sy]=True
  31.         while  queue:
  32.             t=queue.pop()
  33.             tx=t[0]
  34.             ty=t[1]
  35.             ans=t[2]
  36.             for i in range(4):
  37.                 if 0<=tx+dir[i][0]<row and 0<=ty+dir[i][1]<clm:
  38.                     dx,dy=tx+dir[i][0],ty+dir[i][1]
  39.                     if not vis[dx][dy] and maze.map[dx][dy]:
  40.                         queue.append((dx,dy,ans+1))
  41.                         vis[dx][dy]=True
  42.                         if dx==0 or dx==row-1 or dy==0 or             dy==clm-1:
  43.                             minpath.append(ans+1)
  44.         if minpath:return min(minpath)
  45.         else:  return 0
  46.  
  47.         #********** End **********#

2.盲目搜索之深度优先搜索算法

  1. # -*- coding:utf-8 -*-
  2.  
  3. class Solution:
  4.  
  5.     def __init__(self, n=0):
  6.         self.vis = [[]]             #用于标记是否存在皇后的二维列表（初始值全为0）
  7.         self.ans = 0                #用于存储答案（N皇后方案数，初始值0）
  8.         self.n = n                  #用于存储皇后数量n
  9.  
  10.  
  11.     def solveNQueens(self):
  12.         """求解N皇后问题（调用self.DFS函数）
  13.         :rtype: self.ans: int    #返回N皇后放置方案数
  14.         """
  15.  
  16.         #请在这里补充代码，完成本关任务
  17.         #********** Begin **********#
  18.          # 产生一个3行50列的数组，第一行代表左斜线，第二行代表所在的列，第三行代表有索引，初始值都为0
  19.         self.vis = [[0 for j in range(50)] for i in range(3)]
  20.         self.DFS(1,self.n)  # 递归
  21.         return self.ans
  22.  
  23.  
  24.  
  25.         #********** End **********#
  26.  
  27.  
  28.     def DFS(self, row, n):
  29.         """深度优先搜索N皇后问题的解空间
  30.         :type: row: int      #NxN棋盘的第row行
  31.         :type: n: int        #皇后数量n
  32.         :rtype: None         #无返回值
  33.         """
  34.  
  35.         #请在这里补充代码，完成本关任务
  36.         #********** Begin **********#
  37.         if row == n+1:   # 行数大于皇后的个数，说明这个方案可行，方案数加1，递归结束（递归结束条件），
  38.             self.ans += 1
  39.             return
  40.         for i in range(1,n+1,1):
  41.             # vis[0][row-i+n] == 0 row-i即行的索引减去列的索引，左斜线等于0，左斜线没有放置皇后，+n是为了防止产生负数
  42.             # vis[1][i] == 0 第i列为0
  43.             # vis[2][row+i] == 0  即所在的右斜线上并没有存放皇后，row+i即行索引加上列索引，同一右斜线的行索引加列索引所得的值相等。
  44.             if self.vis[0][row-i+n] == 0 and self.vis[1][i] == 0 and self.vis[2][row+i] == 0: # 第row行第i列可以存放皇后
  45.                 self.vis[0][row-i+n] = self.vis[1][i] = self.vis[2][row+i] = 1  # 将对应的列，左斜线、右斜线都置为1
  46.                 self.DFS(row+1,n)  # 存放下一个皇后
  47.                 # 如果下一个皇后的位置无法正确放置，则调整当前皇后的放置位置
  48.                 self.vis[0][row-i+n] = self.vis[1][i] = self.vis[2][row+i] = 0
  49.                 # 继续本次循环，知道找到本行的列中有合适的存放位置为止，如果本行无合适位置，则继续返回上一层
  50.  
  51.  
  52.  
  53.         #********** End **********#
  54.  
  55.  
  56.  
  57.  
  58.

2.启发式搜索算法

1.A*搜索算法

  1. class Array2D:
  2.     """
  3.         说明：
  4.             1.构造方法需要两个参数，即二维数组的宽和高
  5.             2.成员变量w和h是二维数组的宽和高
  6.             3.使用：‘对象[x][y]’可以直接取到相应的值
  7.             4.数组的默认值都是0
  8.     """
  9.  
  10.     def __init__(self, w, h):
  11.         self.w = w
  12.         self.h = h
  13.         self.data = []
  14.         self.data = [[0 for y in range(h)] for x in range(w)]
  15.  
  16.     def showArray2D(self):
  17.         for y in range(self.h):
  18.             for x in range(self.w):
  19.                 print(self.data[x][y], end=' ')
  20.             print("")
  21.  
  22.     def __getitem__(self, item):
  23.         return self.data[item]
  24.  
  25.  
  26. class Point:
  27.     """
  28.     表示一个点
  29.     """
  30.  
  31.     def __init__(self, x, y):
  32.         self.x = x
  33.         self.y = y
  34.  
  35.     def __eq__(self, other):
  36.         if self.x == other.x and self.y == other.y:
  37.             return True
  38.         return False
  39.  
  40.     def __str__(self):
  41.         return "x:" + str(self.x) + ",y:" + str(self.y)
  42.  
  43.  
  44. class AStar:
  45.     """
  46.     AStar算法的Python3.x实现
  47.     """
  48.  
  49.     class Node:  # 描述AStar算法中的节点数据
  50.         def __init__(self, point, endPoint, g=0):
  51.             self.point = point  # 自己的坐标
  52.             self.father = None  # 父节点
  53.             self.endPoint = endPoint
  54.             self.g = g  # g值，g值在用到的时候会重新算
  55.             self.h = (abs(endPoint.x - point.x) + abs(endPoint.y - point.y)) * 10  # 计算h值
  56.  
  57.     def __init__(self, map2d, startPoint, endPoint, passTag=0):
  58.         """
  59.         构造AStar算法的启动条件
  60.         :param map2d: Array2D类型的寻路数组
  61.         :param startPoint: Point或二元组类型的寻路起点
  62.         :param endPoint: Point或二元组类型的寻路终点
  63.         :param passTag: int类型的可行走标记（若地图数据!=passTag即为障碍）
  64.         """
  65.         # 开启表
  66.         self.openList = []
  67.         # 关闭表
  68.         self.closeList = []
  69.         # 寻路地图
  70.         self.map2d = map2d
  71.         # 起点终点
  72.         # ********** Begin **********#
  73.         self.startPoint = startPoint
  74.         self.endPoint = endPoint
  75.  
  76.         # ********** End **********#
  77.         # 可行走标记
  78.         self.passTag = passTag
  79.  
  80.     def getMinNode(self):
  81.         """
  82.         获得openlist中F值最小的节点
  83.         :return: Node
  84.         """
  85.  
  86.         # ********** Begin **********#
  87.         nowf = self.openList[0]
  88.         minf=self.openList[0].g +self.openList[0].h
  89.         for i in self.openList:
  90.             if minf > i.g + i.h:
  91.                 minf = i.g + i.h
  92.                 nowf = i
  93.         return nowf
  94.  
  95.  
  96.  
  97.         # ********** End **********#
  98.  
  99.     def pointInCloseList(self, point):
  100.         for node in self.closeList:
  101.             if node.point == point:
  102.                 return True
  103.         return False
  104.  
  105.     def pointInOpenList(self, point):
  106.         for node in self.openList:
  107.             if node.point == point:
  108.                 return node
  109.         return None
  110.  
  111.     def endPointInCloseList(self):
  112.         for node in self.openList:
  113.             if node.point == self.endPoint:
  114.                 return node
  115.         return None
  116.  
  117.     def searchNear(self, minF, offsetX, offsetY):
  118.         """
  119.         搜索节点周围的点
  120.         :param minF:F值最小的节点
  121.         :param offsetX:坐标偏移量
  122.         :param offsetY:
  123.         :return:
  124.         """
  125.         # 越界检测
  126.         # ********** Begin **********#
  127.         if minF.point.x + offsetX >= self.map2d.w or minF.point.y + offsetY >= self.map2d.h or minF.point.x + offsetX < 0 or minF.point.y + offsetY < 0:
  128.             return
  129.  
  130.         # ********** End **********#
  131.         # 如果是障碍，就忽略
  132.         if self.map2d[minF.point.x + offsetX][minF.point.y + offsetY] != self.passTag:
  133.             return
  134.         # 如果在关闭表中，就忽略
  135.         currentPoint = Point(minF.point.x + offsetX, minF.point.y + offsetY)
  136.         currentNode = AStar.Node(currentPoint,self.endPoint)
  137.         if self.pointInCloseList(currentPoint):
  138.             return
  139.         # 设置单位花费
  140.         if offsetX == 0 or offsetY == 0:
  141.             step = 10
  142.         else:
  143.             step = 14
  144.         # 如果不再openList中，就把它加入openlist
  145.         # ********** Begin **********#
  146.         if not self.pointInOpenList(currentPoint):
  147.             # print(currentNode.g)
  148.             currentNode.g = step + minF.g
  149.             # print(currentNode)
  150.             currentNode.father = minF
  151.             self.openList.append(currentNode)
  152.         # ********** End **********#
  153.         # 如果在openList中，判断minF到当前点的G是否更小
  154.         if minF.g + step < currentNode.g:  # 如果更小，就重新计算g值，并且改变father
  155.             currentNode.g = minF.g + step
  156.             currentNode.father = minF
  157.  
  158.     def start(self):
  159.         """
  160.         开始寻路
  161.         :return: None或Point列表（路径）
  162.         """
  163.         # 判断寻路终点是否是障碍
  164.         if self.map2d[self.endPoint.x][self.endPoint.y] != self.passTag:
  165.             return None
  166.  
  167.         # 1.将起点放入开启列表
  168.         startNode = AStar.Node(self.startPoint, self.endPoint)
  169.         self.openList.append(startNode)
  170.         # 2.主循环逻辑
  171.         while True:
  172.             # 找到F值最小的点
  173.             minF = self.getMinNode()
  174.             # 把这个点加入closeList中，并且在openList中删除它
  175.             self.closeList.append(minF)
  176.             self.openList.remove(minF)
  177.             # 判断这个节点的上下左右节点
  178.             # ********** Begin **********#
  179.             self.searchNear(minF,0,-1)
  180.             self.searchNear(minF,1,0)
  181.             self.searchNear(minF,-1,0)
  182.             self.searchNear(minF,0,1)
  183.  
  184.             # ********** End **********#
  185.             # 判断是否终止
  186.             point = self.endPointInCloseList()
  187.             if point:  # 如果终点在关闭表中，就返回结果
  188.                 # print("关闭表中")
  189.                 cPoint = point
  190.                 pathList = []
  191.                 while True:
  192.                     if cPoint.father:
  193.                         pathList.append(cPoint.point)
  194.                         cPoint = cPoint.father
  195.                     else:
  196.                         return list(reversed(pathList))
  197.             if len(self.openList) == 0:
  198.                 return None

2.评估函数和启发信息

评估函数的作用就是估计待扩展结点在问题求解中的价值。

A、对

启发式搜索就是在状态空间中的搜索对每一个搜索的位置进行评估，得到最好的位置，再从这个位置进行搜索直到目标。

对

3.语义网络

下列关于语义网络的结构方式描述正确的是？

A、

语义网络是一种用图来表示知识的结构化方式。

B、

语义网络是一种面向语义的结构，它们一般使用一组推理规则，规则是为了正确处理出现在网络中的特种弧而专门设计的。

C、

语义网络的一个重要特性是属性继承。

D、

在属性继承的基础上可以方便地进行推理是语义网络的优点之一。

2、

下列关于语义网络的特点阐述错误的是？

D、

可利用语义网络的结构关系检索和推理，效率高。

3、

对于语义网络概念的描述错误的是？

A、

语义网络（semantic network）是一种以网络格式表达人类知识构造的形式。

4、

下列关于语义网络表示法的特点说法正确的是？

A、

语义网络表示法的结构性好。

B、

语义网络表示法的下层结点可以继承、新增和变异上层结点的属性，从而实现信息共享。

D、

语义网络的表达范围有限，一旦结点个数太多，网络结构复杂，推理就难以进行。

4.不确定性推理

1.模糊推理及其应用

  1. OIL=100.0#定义油渍论域
  2. Stain=100.0#定义污渍论域
  3.  
  4. def ruleMD(stain):
  5.     if stain < 0 or stain > 100:
  6.         return 0.0
  7.     else:  # 当传入的参数在0-100之间时，该处有两种情况
  8.         # 计算MD的结果，并且和同参数下的SD结果相比较，得出一个结果
  9.         if stain >= 0 and stain <= 50:
  10.             return stain / 50.0
  11.         else:
  12.             # 同上的操作，得出结果和同参数下的LD相比较
  13.             return (100 - stain) / 50.0
  14.  
  15.  
  16. def ruleSD(stain):
  17.     # SD部分的rule
  18.     # 当输入的参数0 <= x <= 50, 执行该方法
  19.     result = (50 - stain) / 50.0
  20.     returnMDresult = ruleMD(stain)
  21.     # 传参数到MD中，计算，并比较
  22.     # 1、相同，则返回结果为SD，2、SD的结果大，则返回SD，3、MD的结果大，则返回MD的返回值
  23.     if result < returnMDresult:
  24.         return 2.0
  25.     else:
  26.         return 1.0
  27.  
  28.  
  29. def ruleLD(stain):
  30.     # LD部分的rule
  31.     # 当输入的参数在50 - 100之间时，执行
  32.     result = (stain - 50) / 50
  33.     returnMDresult = ruleMD(stain)
  34.     # 同时将参数传入给MD，同时比较MD方法传回来的参数和该方法求出的值相比较，求出最后的最适合的预测值
  35.     # ********** Begin **********#
  36.     if result < returnMDresult:
  37.         return 2.0
  38.     else:
  39.         return 3.0
  40.     # ********** End **********#
  41.  
  42.  
  43. def ruleMG(oil):
  44.     # 当传入的参数在0 - 100之间时，该处有两种情况
  45.     if oil < 0 or oil > 100:
  46.         return 0  # 当在论域之外时，直接返回无结果
  47.     else:
  48.         if oil >= 0 and oil <= 50:
  49.             return oil / 50.0  # 计算MD的结果，并且和同参数下的SD结果相比较，得出一个结果
  50.         else:
  51.             return (100 - oil) / 50  # 同上的操作，得出结果和同参数下的LD相比较
  52.  
  53.  
  54. def ruleSG(oil):
  55.     if oil < 0 or oil > 50:
  56.         return 0.0
  57.     else:
  58.         # SG部分的rule
  59.         # 当输入的参数0<=x<=50,执行该方法
  60.         result = (50 - oil) / 50.0
  61.         returnMGresult = ruleMG(oil)
  62.         # 传参数到MD中，计算，并比较
  63.         # 1、相同，则返回结果为SD，2、SD的结果大，则返回SD，3、MD的结果大，则返回MD的返回值
  64.         if result < returnMGresult:
  65.             return 2.0
  66.         else:
  67.             return 1.0
  68.  
  69.  
  70. def ruleLG(oil):
  71.     # LD部分的rula
  72.     # 当输入的参数在50 - 100之间时，执行
  73.     # 同时将参数传入给MG，同时比较MG方法传回来的参数和该方法求出的值相比较，求出最后的最适合的预测值
  74.     returnMGresult = ruleMG(oil)
  75.     result = (oil - 50) / 50.0
  76.     # 比较后，得到预测值
  77.     if result < returnMGresult:
  78.         return 2.0
  79.     else:
  80.         return 3.0
  81.  
  82.  
  83. # F函数，总的函数，从该函数中分流到rule的三个函数中
  84. def Function(oil, stain):
  85.     # VS: SD, SG
  86.     # S: MD, SG
  87.     # M: SD, MG     MD, MG     LD, SG
  88.     # L: SD, LG     MD，LG     LD，MG
  89.     # XL: LD, LG
  90.     # 根据规则输出最后的洗涤时间
  91.     # 需要客户的正确输入
  92.     # ********** Begin **********#
  93.     if stain >= 0 and stain <= 50:
  94.         result_D = ruleSD(stain)
  95.     else:
  96.         result_D = ruleLD(stain)
  97.  
  98.     if oil >= 0 and oil <= 50:
  99.         result_G = ruleSG(oil)
  100.     else:
  101.         result_G = ruleLG(oil)
  102.         # ********** End **********#
  103.         # 比较最后的结果,返回结果控制规则表，例如VS在表格中的坐标是（1,1）,S的坐标是（2,1）
  104.     if result_D == 1.0 and result_G == 1.0:
  105.         return 1  # return VS
  106.     elif result_G == 1.0 and result_D == 2.0:
  107.         return 2  # return S
  108.     elif (result_D == 1.0 and result_G == 2.0) or (result_G == 2.0 and result_D == 2.0) or (
  109.             result_G == 1.0 and result_D == 3.0):
  110.         return 3  # reutrn M
  111.     elif (result_D == 1.0 and result_G == 3.0) or (result_D == 2.0 and result_G == 3.0) or (
  112.             result_D == 3.0 and result_G == 2.0):
  113.         return 4  # return L
  114.     elif result_G == 3.0 and result_D == 3.0:
  115.         return 5  # return VL
  116.  
  117.  
  118.

2.可信度方法

如果证据 E 的出现使得结论 H 一定程度为真，则可信度因子（ ）

C、

0 < CF( H , E ) < 1

2、在可信度方法中，若证据 A 的可信度 CF(F)=0,这意味着（ ）

A、

对证据 A 一无所知

3、设有如下一组推理规则： r1​: IF E1​ THEN E2​ (0.6) r2​: IF E2​ AND E3​ THEN E4​ (0.8) r3​: IF E4​ THEN H (0.7) r4​: IF E5​ THEN H (0.9) 且已知CF(E1​)=0.5,CF(E3​)=0.6,CF(E5​)=0.4,结论H的初始可信度一无所知，则CF(H)=(

0.4

3.证据理论

在证据理论中，信任函数与似然函数对(Bel(A),Pl(A))的值为(0,0)时，表示（ ）

D、

A 为假

2、基本概率分配函数之值是概率。

B、

错

3、设样本空间D=a,b,c,d,M1​、M2​为定义在2D上的概率分配函数： M1​:M1​(b,c,d)=0.7,M1​(a,b,c,d)=0.3,M1​的其余基本函数均为0 M2​:M2​(a,b)=0.6,M2​(a,b,c,d)=0.4,M2​的其余基本函数均为0 则，它们的正交和M=M1​⊕M2​=( )

A、

0

4.模糊推理基础

设有论域U=x1​,x2​,x3​,x4​,x5​,A、B是U上的两个模糊集，且有 A=0.85/x1​+0.7/x2​+0.9/x3​+0.9/x4​+0.7/x5​ B=0.5/x1​+0.65/x2​+0.8/x3​+0.98/x4​+0.77/x5​ 则A∩B=

A、

0.5/x1+0.65/x2+0.8/x3+0.9/x4+0.7/x5

2、设有论域U=x1​,x2​,x3​,x4​,x5​,A、B是U上的两个模糊集，且有 A=0.85/x1​+0.7/x2​+0.9/x3​+0.9/x4​+0.7/x5​ B=0.5/x1​+0.65/x2​+0.8/x3​+0.98/x4​+0.77/x5​ 则A∪B=

B、

0.85/x1+0.7/x2+0.9/x3+0.98/x4+0.77/x5

3设有论域U=x1​,x2​,x3​,x4​,x5​,A、B是U上的两个模糊集，且有 A=0.85/x1​+0.7/x2​+0.9/x3​+0.9/x4​+0.7/x5​ B=0.5/x1​+0.65/x2​+0.8/x3​+0.98/x4​+0.77/x5​ 则¬A=

C、

0.15/x1+0.3/x2+0.1/x3+0.1/x4+0.3/x5

4、设有如下两个模糊关系：

则：

A、

对

5、

设有如下两个模糊关系：

则：

B、

对

6.概率理论和不确定性

下列对概率论原理描述正确的是？

A、

概率论，是研究随机现象数量规律的数学分支。

B、

随机现象是相对于决定性现象而言的，在一定条件下必然发生某一结果的现象称为决定性现象。

C、

随机现象则是指在基本条件不变的情况下，每一次试验或观察前，不能肯定会出现哪种结果，呈现出偶然性。

D、

事件的概率是衡量该事件发生的可能性的量度。

2、

下列选项对概率论的定义描述正确的是？

A、

传统概率又称为拉普拉斯概率，因为其定义是由法国数学家拉普拉斯提出的。如果一个随机试验所包含的单位事件是有限的，且每个单位事件发生的可能性均相等，则这个随机试验叫做拉普拉斯试验。

B、

传统概率在实践中被广泛应用于确定事件的概率值。

D、

传统概率的理论依据是：如果没有足够的论据来证明一个事件的概率大于另一个事件的概率，那么可以认为这两个事件的概率值相等。

3、

“因为事件在一定程度上是以集合的含义定义的，因此可以把集合计算方法直接应用于事件的计算，也就是说，在计算过程中，可以把事件当作集合来对待。”这句话是否是正确的？

A、

正确

4、

下列关于概率理论和不确定性的描述正确的是？

A、

概率理论在处理不确定性方面起着重要的作用。

B、

概率理论在处理不确定性方面有一个障碍，就是大多数人在评估风险时都是主观的（而不是分析性的）。

C、

我们经常用贝叶斯网络来应对不确定性。

D、

对概率理论进行任何讨论的起点都是从执行某个过程的实验开始过程。

7.确定性推理

1.归结反演

  1. S = []  # 以列表形式存储子句集S
  2.  
  3. """ 读取子句集文件中子句，并存放在S列表中 - 每个子句也是以列表形式存储 - 以析取式分割 - 例如：～p ∨ ～q ∨ r 存储形式为 ['～p', '～q', 'r'] """
  4.  
  5.  
  6. def readClauseSet(filePath):
  7.     global S
  8.     for line in open(filePath, mode='r', encoding='utf-8'):
  9.         line = line.replace(' ', '').strip()
  10.         line = line.split('∨')
  11.         S.append(line)
  12.  
  13.  
  14. """ - 为正文字，则返回其负文字 - 为负文字，则返回其正文字 """
  15.  
  16.  
  17. def opposite(clause):
  18.     if '～' in clause:
  19.         return clause.replace('～', '')
  20.     else:
  21.         return '～' + clause
  22.  
  23.  
  24. """ 归结 """
  25.  
  26.  
  27. def resolution():
  28.     global S
  29.     end = False
  30.     while True:
  31.         if end: break
  32.         father = S.pop()
  33.         for i in father[:]:
  34.             if end: break
  35.             for mother in S[:]:
  36.                 if end: break
  37.                 j = list(filter(lambda x: x == opposite(i), mother))
  38.                 if j == []:
  39.                     continue
  40.                 else:
  41.                     print('\n亲本子句：' + ' ∨ '.join(father) + ' 和 ' + ' ∨ '.join(mother))
  42.                     father.remove(i)
  43.                     mother.remove(j[0])
  44.                     #********** Begin **********#
  45.                     if father == [] and mother == []:
  46.                         print('归结式：NIL')
  47.                         end = True
  48.                     elif father == []:
  49.                         print('归结式：' + ' ∨ '.join(mother))
  50.                     elif mother == []:
  51.                         print('归结式：' + ' ∨ '.join(father))
  52.                     else:
  53.                         print('归结式：' + ' ∨ '.join(father) + ' ∨ ' + ' ∨ '.join(mother))
  54.                     #********** End **********#

第2关：鲁宾孙归结原理

谓词公式不可满足的充要条件是其字句集不可满足。（ ）

A、

对

2、

为了要证明字句集S的不可满足性，只要对其中可进行字句进行归结，并把归结式加入字句集S，或者用归结式替换它的亲本字句，然后对新字句集（S1​或S2​)证明不可满足性就可以了。（ ）

A、

对

3、

设C1​=¬P∨Q∨R,C2​=¬Q∨S,L1​=Q,L2​=¬Q，通过归结方法可得C12​=¬P∨R∨S

A、

对

3.自然演绎推理

下列说法正确的是（ ）

C、

原子谓词公式是一个不能再分解的命题。

将下列谓词公式转化为字句集: (∀x){[﹁P(x)∨﹁Q(x)]→(∃y)[S(x,y)∧Q(x)]}∧(∀x)[P(x)∨B(x)] 下列步骤中哪些是错误的（ ）

F、化为 Skolem 标准形： ( ∀ x )( ∀ w ){ Q ( x ) ∧ [ P ( x ) ∨ S ( x ,f ( x ) ) ∧Q ( x ) ] ∧ [ P ( w ) ∨ B ( w ) ] }

4.推理概述

人们在对各种事物进行分析、综合并最后做出决定时，通常是从已知的事实出发，通过运用已掌握的知识，找出其中蕴含的事实，或归纳出新的事实。这一过程通常称为推理，即从初始证据出发，按某种策略不断运用知识库中的已有知识，逐步推出结论的过程称为推理。（ ）

A、

对

2、下列有关推理的说法错误的是（ ）

D、

已知事实是使推理得以向前推进，并逐步达到最终目的的依据。

3、若按推出结论的途径来分，推理可分为（ ）

A、

演绎推理

B、

归纳推理

C、

默认推理

4、下列有关推理的分类正确的是（ ）

A、

按照推理过程中推出的结论是否越来越接近最终目标来划分，可分为单调推理与非单调推理。

B、

归纳推理是从个别到一般的过程，是从足够多的具体事例中归纳出一般性知识的推理过程。

C、

在单调推理中，随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。

D、

如果推理过程中运用与推理有关的启发性知识，则称为启发式推理，否则称为非启发式推理。

5、列有关推理方向说法正确的是（ ）

C、

把正向推理和逆向推理结合起来所进行的推理称为混合推理。

6、

下面哪些是常见的冲突消解策略（ ）

A、

按针对性排序。

B、

按已知事实的新鲜性排序。

C、

按匹配度排序。

D、

按条件个数排序。

8.常用的知识表示方法

知识表示方法

“表示方法可以分为替代表示法和直接表示法两类”判断这句话是否正确？

A、

正确

下列对直接表示法描述正确的是？

A、

直接表示法是Gelernter在1963年提出的。用于基于传统欧氏几何证明的几何定理证明器。

B、

计算机对直接表示的信息难以处理是导致直接表示没有得到长足发展的原因。

C、

直接表示难以表示定量信息。

D、

直接表示不能描述自然世界的全部信息。

3、

下列对谓词和命题的对比说法正确的是？

A、

谓词的表达能力强。

B、

谓词可以代表变化的情况。

D、

谓词可以在不同的知识之间建立联系。

4、

下列对谓词逻辑法的描述错误的是?

D、

谓词逻辑法的局限性，没有扎实的数学基础。

5、

下列对产生式规则表示法描述正确的是？

A、

产生式规则表示法的推理方法有正向推理，反向推理，双向推理。

B、

产生式规则表示法的优点有：模块性，灵活性，自然性，透明性。

C、

产生式规则表示法的缺点有：知识库维护难， 效率低， 理解难。

8.知识与知识表示的定义(知识与知识表示概念)

下列说法正确的是？

B、

如果打雷，那么就很可能下雨。这是一条知识。

C、

知识以各种形式储存在计算机中。

D、

将有关信息关联在一起所形成的信息结构称为知识。

9.知识表示

逻辑表示法

  1. #encoding=utf8
  2.  
  3. '''
  4. 请将下面代码空缺部分补全
  5. '''
  6.   
  7. def x(p):
  8.     #********* Begin *********#
  9.     if p == '打雷':
  10.         q = '下雨'
  11.     elif p == '动物会飞会下蛋':
  12.         q = '该动物是鸟'
  13.     #********* End *********#
  14.     print(q)

框架表示法

  1. #encoding=utf8
  2.  
  3. def d():
  4.     #********* Begin *********#
  5.     d = {'name':'蔡徐坤','age':'21','hobby':'rap','sex':'male'}
  6.  
  7.     #********* End *********#
  8.     return d

10.产生式表示法与框架表示法

产生式表示法、

下面哪个选项是确定性规则知识的产生式表示的基本形式（ ）

A、

IF P THEN　Ｑ

2、

老李的年龄可能是40岁，表示为(Li,Age,40,0.8)，这属于哪种表示法（ ）

D、

不确定性事实知识的产生式表示

3、

产生式与谓词逻辑的蕴含式的基本形式相同，但蕴含式只是产生式的一种特殊情况。

A、

对

4、

下列关于产生式表示法的特点，那些是产生式表示法的优点（ ）

A、

自然性

B、

模块性

C、

清晰性

D、

有效性

5、

以下适合用产生式表示法表示的是（ ）

A、

化学反应方面的知识

B、

医疗诊断方面的知识

C、

故障诊断方面的知识

D、

领域问题的求解

产生式系统

  1. # 动物识别系统
  2. # 自定义函数，判断有无重复元素
  3. def judge_repeat(value, list=[]):
  4.     for i in range(0, len(list)):
  5.         if (list[i] == value):
  6.             return 1
  7.         else:
  8.             if (i != len(list) - 1):
  9.                 continue
  10.             else:
  11.                 return 0
  12.  
  13.  
  14. # 自定义函数，对已经整理好的综合数据库real_list进行最终的结果判断
  15. def judge_last(list):
  16.     for i in list:
  17.         if (i == '23'):
  18.             for i in list:
  19.                 if (i == '12'):
  20.                     for i in list:
  21.                         if (i == '21'):
  22.                             for i in list:
  23.                                 if (i == '13'):
  24.                                     print("黄褐色，有斑点,哺乳类，食肉类->金钱豹\n")
  25.                                     print("所识别的动物为金钱豹")
  26.                                     return 0
  27.                                 elif (i == '14'):
  28.                                     print("黄褐色，有黑色条纹，哺乳类，食肉类->虎\n")
  29.                                     print("所识别的动物为虎")
  30.                                     return 0
  31.  
  32.  
  33.         elif (i == '14'):
  34.             for i in list:
  35.                 if (i == '24'):
  36.                     print("有黑色条纹，蹄类->斑马\n")
  37.                     print("所识别的动物为斑马")
  38.                     return 0
  39.         elif (i == '24'):
  40.             for i in list:
  41.                 if (i == '13'):
  42.                     for i in list:
  43.                         if (i == '15'):
  44.                             for i in list:
  45.                                 if (i == '16'):
  46.                                     print("有斑点，有黑色条纹，长脖，蹄类->长颈鹿\n")
  47.                                     print("所识别的动物为长颈鹿")
  48.                                     return 0
  49.         elif (i == '20'):
  50.             for i in list:
  51.                 if (i == '22'):
  52.                     print("善飞，鸟类->信天翁\n")
  53.                     print("所识别的动物为信天翁")
  54.                     return 0
  55.         #********* Begin *********#
  56.        
  57.         elif(i=='22'):
  58.             for i in list:
  59.                 if(i=='4'):
  60.                     for i in list:
  61.                         if(i=='15'):
  62.                             for i in list:
  63.                                 if(i=='16'):
  64.                                     print("不会飞，长脖，长腿，鸟类->鸵鸟\n")
  65.                                     print("所识别的动物为鸵鸟")
  66.                                     return 0
  67.  
  68.        
  69.         # ********* End *********#
  70.         elif (i == '4'):
  71.             for i in list:
  72.                 if (i == '22'):
  73.                     for i in list:
  74.                         if (i == '18'):
  75.                             for i in list:
  76.                                 if (i == '19'):
  77.                                     print("不会飞，会游泳，黑白二色，鸟类->企鹅\n")
  78.                                     print("所识别的动物企鹅")
  79.                                     return 0
  80.  
  81.         else:
  82.             if (list.index(i) != len(list) - 1):
  83.                 continue
  84.             else:
  85.                 print("\n根据所给条件无法判断为何种动物")
  86.

框架表示法

1、

产生式表示法是一种结构化的知识表示方法，现在已经在多种系统中得到应用。

B、

错

2、

如下图是一个教室框架，该框架共有（ ）槽

B、

13

3、下列选项中，哪些是框架表示法的特点（ ）

A、

结构性

C、

继承性

D、

自然性

11. 不确定性的量化习题

1、

下列式子成立的是(　　)

C、

P(AB)＝P(A)·P(B|A)

2、

下列关于不确定性说法正确的是：

B、

概率提供了一种方法以概括由我们的惰性和无知产生的不确定性，由此解决限制问题

3、

设两个独立事件A和B都不发生的概率为1/9，A发生B不发生的概率与B发生A不发生的概率相同则事件A发生的概率P(A)是：

A、

2/3

12.概率推理习题

已知事件A与事件B发生与否伴随出现，根据贝叶斯公式可得到P(B|A)=P(A|B)*M/P(A),则M=()

D、

P(B)

通过对某地区的部分人群进行调查，获得了他们对于的age、income、是否为student、Credit_rating以及是否购买某品牌的电脑的信息进行了记录。训练样例如表1，通过训练样例得到表2，表3为根据表2的统计数据，得到的在分类为YES和NO的条件下各个属性值取得的概率以及YES和NO在所有样例中取值的概率。 表1

表2 表3 x(age=youth,income=medium,student=no,credit_rating=excellent)，则P(NO|x)=()

B、

0.23

贝叶斯网络主要应用的领域有（）

A、

模式识别

B、

辅助智能决策

C、

医疗诊断

D、

数据融合

4、

关于贝叶斯网络的描述正确的是（）

A、

它时一种帮助人们将概率统计应用于复杂领域、进行不确定性推理和数据分析的工具。

D、

它是有向无环图

5、

给定贝叶斯公式P( cj|x) =（P(x|cj)P(cj)）/P(x)，公式中P( cj|x)为（）

B、

后验概率

13.一阶逻辑的推理

习题 2 ：构造下面推理的证明：每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车，因而有的人不喜欢步行（个体域为人类集合） 下列说法正确的是：

B、

前提：∀x ( F ( x ) ⇒¬G ( x ) ) , ∀x ( G(x) V H(x) ) , ∀ x ( H(x) )

2、习题 2 ：构造下面推理的证明：每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车，因而有的人不喜欢步行（个体域为全总个体域） 下列选项错误的是：

C、

结论：∃ x ( ¬M(x)∧¬ F(x))

14.一阶逻辑表示

1、下列答案中哪个是错的？ 用谓词表达式写出下列命题: (1) 王文不是学生; (2) 2是素数且是偶数; (3) 若m是奇数,则2m不是奇数; (4) 河北省南接河南省; (5) 若2大于3.则2大于4.

E、

S(x,y)：x大于y a：2 b：3 c ：4 于是（5）为：S（a,b） ⇒S（b,c）

2、用谓词表达式写出下列命题： （1） 凡是有理数都可以写成分数； （2） 存在着会说话的机器人； （3） 并非每个实数都是有理数； （4） 如果有限个数的乘积为零，那么至少有一个因子等于零； （5） 没有不犯错误的人。 下列答案中哪项错误？

C、

R（x）：x是实数 Q（x）：x是有理数 于是 （3）为： (∀x)（R(x) ⇒Q(x)）

E、

M(x)：x为人 F（x）：x犯错误 于是 （5）为： ∃x（F(x)∧M(x)）

15.搜索问题与技术

第1关：搜索策略

    1、

    若将搜索问题看成是走迷宫，搜索空间越大，则迷宫越大

    正确

    2、

    常用的搜索策略方式为盲目搜索与启发式搜索

    正确

    3、

    下列说法正确的是：B C D
    B、

    广度优先搜索算法属于盲目搜索
    C、

    搜索问题的解可能有多个
    D、

    A*算法属于启发式搜索

盲目搜索

  1. def PlayMazz(mazz, start, end):
  2.  
  3.     '''
  4.     走迷宫，从start走到end
  5.     :param mazz: 迷宫
  6.     :param start: 迷宫的起点
  7.     :param end: 迷宫的出口
  8.     '''
  9.  
  10.     # queue为队列，当队列为空或者当前地点为H时搜索结束
  11.  
  12.     visited, queue = set(), [start]
  13.  
  14.     while queue:
  15.  
  16.         # 从队列中出队，即当前所处的地点
  17.  
  18.         vertex = queue.pop(0)
  19.  
  20.         if vertex not in visited:
  21.  
  22.             visited.add(vertex)
  23.  
  24.             print(vertex, end='')
  25.  
  26.             #********* Begin *********#
  27.  
  28.             if vertex == end:
  29.  
  30.                 return
  31.  
  32.             #********* Begin *********#
  33.  
  34.      #当走到出口时结束算法
  35.  
  36.             # 将当前所处地点所能走到的地点放入队列
  37.  
  38.             for v in mazz[vertex]:
  39.  
  40.                 if v not in visited:
  41.  
  42.                     queue.extend(v)

启发式搜索 - 扫地机器人最短路径搜索

  1. from a_star_utils import Node
  2.  
  3. def A_star(map, mapSize, start, end):
  4.  
  5.     '''
  6.     A*算法，从start走到end
  7.     :param map:地图
  8.     :param mapSize:地图大小，例如[10,10]表示地图长10宽10
  9.     :param start:表示出发地，类型为列表，如[1,2]表示出发地为地图中的第1行第2列的方块
  10.     :param end:表示目的地，类型为列表，如[1,2]表示目的地为地图中的第1行第2列的方块
  11.     :return:从出发地到目的地的路径
  12.     '''
  13.  
  14.     openedList = []
  15.  
  16.     #********* Begin *********#
  17.  
  18.     # 获得出发地方块的信息，并将信息保存为node变量
  19.  
  20.     node = map[start[0]][start[1]]  
  21.  
  22.     #********* End *********#
  23.  
  24.     node.distanceFromOri = 0
  25.  
  26.     node.allDistance = 0
  27.  
  28.     #********* Begin *********#
  29.  
  30.     # 将当前方块存到开启列表中
  31.  
  32.     openedList.append (node)
  33.  
  34.     node.added = True
  35.  
  36.     #********* End *********#
  37.  
  38.     while len(openedList) != 0:
  39.  
  40.         node = openedList.pop(0)
  41.  
  42.         node.closed = True
  43.  
  44.         if node.y == end[0] and node.x == end[1]:
  45.  
  46.             finalListNeedReverse = []
  47.  
  48.             while node != None:
  49.  
  50.                 finalListNeedReverse.append(node)
  51.  
  52.                 node = node.parent
  53.  
  54.             finalListNeedReverse.reverse()
  55.  
  56.             return finalListNeedReverse
  57.  
  58.         neighboursList = []
  59.  
  60.         y = node.y
  61.  
  62.         x = node.x
  63.  
  64.         parentDistanceFromOri = node.distanceFromOri
  65.  
  66.         for needNodey in (y + 1, y, y - 1):
  67.  
  68.             if needNodey < 0 or needNodey >= mapSize[0]:
  69.  
  70.                 continue
  71.  
  72.             for needNodex in (x + 1, x, x - 1):
  73.  
  74.                 if needNodex < 0 or needNodex >= mapSize[1]:
  75.  
  76.                     continue
  77.  
  78.                 needNode = map[needNodey][needNodex]
  79.  
  80.                 if needNode.unable == True or needNode.closed == True or needNode.added == True:
  81.  
  82.                     continue
  83.  
  84.                 yOffset = needNodey - y
  85.  
  86.                 xOffset = needNodex - x
  87.  
  88.                 allOffset = yOffset + xOffset
  89.  
  90.                 if allOffset == 1 or allOffset == -1:
  91.  
  92.                     distanceFromOri = parentDistanceFromOri + 1
  93.  
  94.                 else:
  95.  
  96.                     distanceFromOri = parentDistanceFromOri + 1.4
  97.  
  98.                 if needNode in neighboursList:
  99.  
  100.                     # 若新的G值比老的G值低，则更新成老的G值
  101.  
  102.                     if distanceFromOri < needNode.distanceFromOri:
  103.  
  104.                         needNode.distanceFromOri = distanceFromOri
  105.  
  106.                 else:
  107.  
  108.                     needNode.distanceFromOri = distanceFromOri
  109.  
  110.                     neighboursList.append(needNode)
  111.  
  112.         for needNode in neighboursList:
  113.  
  114.             needNode.parent = node
  115.  
  116.             # 更新F值
  117.  
  118.             needNode.allDistance = needNode.distanceFromOri + needNode.distanceFromDes
  119.  
  120.             needNode.added = True
  121.  
  122.             openedList.append(needNode)
  123.  
  124.         openedList.sort(key=lambda x: x.allDistance)
  125.  
  126.     return None

 搜索算法应用 - 四皇后问题

  1. def make(mark):
  2.  
  3.     '''
  4.     标记皇后的位置，例如mark[0] = 2, 表示第1行皇后放在第3列的位置
  5.     :param mark: 皇后的位置信息
  6.     :return: 拼接好的结果
  7.     '''
  8.  
  9.     #初始化数组
  10.  
  11.     r = [['X' for _ in range(len(mark))] for _ in range(len(mark))]
  12.  
  13.     #将每一行中皇后的位置用‘Q’代替
  14.  
  15.     for i in mark:
  16.  
  17.         r[i][mark[i]] = 'Q'
  18.  
  19.     #枚举，将原来散的元素连接成字符串
  20.  
  21.     for k, v in enumerate(r):
  22.  
  23.         r[k] = ''.join(v)
  24.  
  25.     return r
  26.  
  27. def FourQueens(mark, cur, ret):
  28.  
  29.     '''
  30.     深度优先搜索的方式求解四皇后问题
  31.     :param mark:表示皇后的位置信息，例如[0,1,3,2]表示棋盘的第1行第1列，第2行第2列，第3行第4列，第4行第3列放置了皇后。例如[1, None, None, None]表示第1行第2列放置了皇后，其他行没有放置皇后。初始值为[None,None,None,None]
  32.     :param cur:表示当前准备在第几行放置皇后，例如`cur=1`时，表示准备在第`2`行放置皇后。初始值为0
  33.     :param ret:表示存放皇后摆放结果的列表，类型为列表。初始值为[]
  34.     :return:无
  35.     '''
  36.  
  37.     if cur == len(mark):
  38.  
  39.         #********* Begin *********#
  40.  
  41.         # 如果当前行是最后一行，记录一个解，并返回结束此次搜索
  42.  
  43.         ret.append(make(mark))
  44.  
  45.         return
  46.  
  47.         #********* End *********#
  48.  
  49.     #试探处理，将当前行的皇后应该在的位置遍历每一列，如果满足条件，递归调用处理下一行
  50.  
  51.     for i in range(len(mark)):
  52.  
  53.         mark[cur], down = i, True
  54.  
  55.         for j in range(cur):
  56.  
  57.             # 当想在当前位置放皇后会与其他皇后冲突时不放置皇后
  58.  
  59.             if mark[j] == i or abs(i-mark[j]) == cur - j:
  60.  
  61.                 down = False
  62.  
  63.                 break
  64.  
  65.         if down:
  66.  
  67.             # 准备在下一行找能放置换后的位置
  68.  
  69.             FourQueens(mark, cur+1, ret)

 问题求解的基本原理

状态空间法问题求解

给出一组八数码问题的状态空间和目标状态：

下列哪一个路径是该问题的解路径（ ）

A、

1->3->8->17

2、

下列说法正确的是（ ）

A、

常用的搜索策略方式为盲目搜索与启发式搜索。

B、

A*算法属于启发式搜索。

C、

广度优先搜索算法属于盲目搜索。

3、

在求解问题时，启发式搜索算法一定比盲目搜索算法好。

B、

错

问题归约法问题求解

  • 1、

    如图是一个问题的与或树，如果 C 无解， A 可能有解。


    与或树

    B、

    错

  • 2、

    如图是某个问题的与或树，下列说法正确的是（ ）


    与或树

    B、

    如果 A 有解，则 B 、C 、D 一定有一个结点有解。

    C、

    如果 B 、C 、D 都有解，则 A 一定有解。

    D、

    如果 B 、C 、D 都无解，则 A 一定无解。

  • 3、

    如图是某个问题的与或树，下列说法正确的是（ ）


    与或树

    A、

    如果 A 有解，则 B 、C 、D 一定都有解。

    C、

    如果 B 、C 、D 都有解，则 A 一定有解。

    D、

    如果 B 有解，C 、D 无解，则 A 一定无解。

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/一键难忘520/article/detail/809747
推荐阅读
相关标签

Copyright © 2003-2013 www.wpsshop.cn 版权所有，并保留所有权利。

  

闽ICP备14008679号