一、概述

此项目具体要求为实现一个基于规则的专家系统，用来进行简单直线型几何图形的形状检测。

实现的重点在于规则的表示、推理引擎的构建、知识库的构建、图片的预处理和用户界面。

项目实现语言为Python，图片预处理用到了OpenCV，用户界面用到了wxPython。

图形检测专家系统的运作流程为：

通过图片预处理得到一组基本事实（即图形中各线段端点坐标）
处理这一组基本事实，产生专家系统的数据库
推理引擎读取外部的规则文档，产生知识库
推理引擎读入数据库
采用后向链接推理技术进行推理
推理过程中记录触发的规则和符合规则的事实
绘制出用户所要检测的图形的位置
在用户界面中显示出来

图形检测专家系统还提供另外的功能，包括：

提供规则编辑器，用于增添新的规则
展示目前的规则库
展示当前检测图片的事实库

图形检测专家系统目前支持检测的图形包括：

三角形
- 锐角三角形
- 直角三角形
- 钝角三角形
- 等腰三角形
  - 直角等腰三角形
  - 锐角等腰三角形
  - 钝角等腰三角形
- 等边三角形
四边形
- 平行四边形
  - 矩形
  - 正方形
  - 菱形
- 梯形
  - 等腰梯形
  - 直角梯形
五边形
- 正五边形
六边形
- 正六边形

图形检测专家系统支持不同位置，各种形态，各种大小的图形检测，且支持一张图片多个图形的检测。

二、图形检测专家系统的结构

图形检测专家系统的结构尽可能模仿了书中展示的基于规则的专家系统的基本结构。具体结构如下：

图形检测专家系统也由5部分组成：知识库Knowledge base、数据库Database、推理引擎Inference engine、解释设备Explanation facilities、用户界面User interface。

对应的项目文件夹分别为rules、facts、engine、GUI。

另外，由于图形的特殊性，项目文件中还包含图片预处理器。

三、规则的构建和表示

因为专家系统需要支持动态的加载知识库，所以检测规则不能硬编码在程序中，而是需要长期存储在外部文件中，并在推理引擎中加载。

基于以上原因，首先构建了一个Rule类用来表示某条规则。Rule类包含id(规则编号)，antecedent(规则前项)，consequent(规则后项)，description(规则描述) 这四个类成员。

其中，考虑到图形检测规则的特点，规则前项之间用与逻辑连接。

一条典型的规则如下所示：

{  
    IF: ['the shape is triangle', 'lines are all equal']  
    THEN: 'the shape is equilateral triangle'  
    DESCRIPTION: 'equilateral triangle'  
}

以上规则用来判断一个图形是等边三角形，其他的规则也类似。在用户界面部分提供了规则编辑器的功能，能够在现有的知识库文件的基础上添加新的规则。

四、知识库的表示

知识库也就是此图形检测专家系统的规则集合。知识库以 txt格式存储，包含了判断图形所需的所有规则。

程序运行时，推理引擎从该知识库文件中读取所有规则，并相应地构建所有规则的Rule实例。

五、图片的预处理

此图形检测专家系统的直接输入是要检测的图片。为了得到关于图片的数据库，首先需要对图片进行一定程度的预处理。

采用的图片处理库是OpenCV，分别尝试了两种得到数据的方法：

霍夫变换：cv2.HoughLines2()
轮廓检测：cv2.findContours()

霍夫变换

霍夫变换比较基础，能够得到图片中所有线段的端点坐标。

但是霍夫变换存在几个比较明显的问题：

参数很难调：在最初的霍夫变换检测线段的尝试中，不同的参数会得到不同的线段集合，不同的图片在同一个参数下检测出来的线段集合质量也参差不齐，很难找到一个合适的霍夫变换参数
调整霍夫变换的结果很麻烦：由于得到的线段端点并不很精确，故需要再人为地判断这些端点之间的关系。如判断两个端点是否足够临近，以致能够认为是同一个端点时，需要人为地设置一个临近阈值。但是该临近阈值对于不同的图片有不同的判断结果。有时候阈值太大，以至于将非同一个端点误判为同一个端点，而有时候阈值太小，以至于没有将所有临近端点都判断出来。这个问题在图片预处理中很关键，尤其是在判断两直线夹角时
当图片中有多个图形时，处理遇到瓶颈：由于霍夫变换得到的是图片中所有的线段，而不能区分哪些线段属于哪一个图形，故需要另外人为判断线段集合的图形归属问题。这带来了很大的工作量

基于以上问题，和实际尝试中不尽如人意的检测结果，决定放弃使用霍夫变换作为图片预处理的手段。

轮廓检测

轮廓检测也比较基础，相对来说还比霍夫变换简单许多。轮廓检测也是得到线段的端点坐标。但不同于霍夫变换，轮廓检测返回的结果是图形的轮廓顶点（需要经过一个近似的步骤cv2.approxPolyDP()）。

也就是说，图片中每个图形都有各自的顶点。更进一步，可以从顶点得到图形的所有边和边与边的关系（夹角大小，是否平行等）。通过这些预处理步骤，可以得到关于图片的基础事实，用来构成以下的数据库。

因为轮廓检测的返回值不再有临近端点归并问题，线段集合的图形归属问题，所以最终的图片预处理技术以轮廓检测为基础。

在图片的预处理这一步走了很多弯路，但最终得到了满意的处理结果。

六、数据库的表示

数据库以轮廓为单位，包含了每个轮廓中所有边和角的关系。抽象来讲，数据库包含了每个图形的基本事实。一个典型的数据库如下：

Contour #0  
{  
--About Lines-- 4 lines  
<  
2 lines are equal  
(84, 156)-->(365, 155): Length: 281.00, Angle:-0.20  
(366, 252)-->(85, 253): Length: 281.00, Angle:-0.20  
\>  
<
4 closure lines  
(84, 156)-->(365, 155): Length: 281.00, Angle:-0.20  
(365, 155)-->(366, 252): Length: 97.01, Angle:89.41  
(366, 252)-->(85, 253): Length: 281.00, Angle:-0.20  
(85, 253)-->(84, 156): Length: 97.01, Angle:89.41  
\>  
--About Angles--  
<  
1 angle is right angle  
(84, 156)-->(365, 155): Length: 281.00, Angle:-0.20  
(365, 155)-->(366, 252): Length: 97.01, Angle:89.41  
\>  
<  
2 pairs of parallel lines  
(84, 156)-->(365, 155): Length: 281.00, Angle:-0.20  
(366, 252)-->(85, 253): Length: 281.00, Angle:-0.20  
(365, 155)-->(366, 252): Length: 97.01, Angle:89.41  
(85, 253)-->(84, 156): Length: 97.01, Angle:89.41  
\>    
}  
Contour #1  
{  
--About Lines-- 3 lines  
some line facts  here  
--About Angles--  
some angle facts  here  
}

以上数据库是测试用例产生的数据库的一部分。数据库一方面用来检查图片预处理的准确度，另一方面也用来展示给用户查看。

七、推理引擎的构建 : 后向链接推理技术

前向链接和后向链接的抉择

正如书上给的建议，首先分析我们判定图形形状时解决问题的方式。

如果要我们判定一个图形，比方说判定一个正方形，我们首先会证实是否是矩形，然后四边是否长度相等。这样的推理方式是从一个假设出发，去找论据，也即后向链接的推理技术。

另一方面，从项目目标的角度考虑，需要用户选择要检测的图形，然后推理引擎查找相关的事实来支持要检测的假设。所以这也要求图形检测专家系统使用后向链接技术的推理引擎。

后向链接是目标驱动的推理技术，从复杂度上讲，后向链接比前向链接更高效，因此后向链接也会是推理技术的首选。

后向链接的实现

参考书上给的后向链接推理技术的例子，后向链接推理的实现需要有栈结构。

在推理引擎的实现中，使用了Python的list类型数据结构来模拟栈的操作，提供了将条件压入推理栈，弹出推理栈栈顶条件，获取推理栈栈顶条件，判断推理栈是否为空四个栈操作。

推理引擎的推理机制

首先，推理引擎在启动时会加载规则库和数据库，只要检测的图片不变，加载的规则库和数据库就不再重新载入
之后，根据用户想要检测的形状，设置推理引擎的推理目标，作为第一个压入推理栈的条件
然后，启动推理引擎：
- Step1：取出推理栈栈顶条件，去和规则库中的规则后项进行匹配。如果匹配成功，则获得该条匹配的规则的所有前项。如果匹配失败，表示所有规则都不适用，直接退出后向链接推理循环
- Step2：将所有前项逐条和数据库中的事实进行匹配。如果匹配，则说明该前项已经在数据库中被满足，如果不匹配，则说明该前项也是推理的条件之一，将其压入推理栈。对匹配的规则的所有前项都执行这样的操作
- Step3：重复执行上述Step1和Step2操作，直到遇到下面两种情况：
  - 推理栈为空，则说明所有推理已进行彻底，推理目标可达，该目标的后向链接推理成功
  - 没有能够匹配的规则，则说明没有充分的事实来支持推理目标，推理目标不可达，该目标的后向链接推理失败