产生式系统设计.docVIP

PAGE PAGE 1 目 录 TOC \o 1-3 \h \u 21906 1. 需求分析 - 1 - 25101 1.1 产生式系统介绍 - 1 - 9910 1.2 运行环境 - 1 - 11296 1.3开发工具 - 1 - 11424 2. 总体设计 - 1 - 6167 2.1 操作流程图 - 1 - 28993 2.2 功能设计 - 2 - 11208 3.详细设计 - 3 - 8212 3.1 数据结构设计 - 3 - 13753 3.1.1 综合数据库结构 - 3 - 17050 3.1.2 规则库结构 - 3 - 566 3.2 模块接口设计 - 4 - 24980 3.2.1 system包 - 4 - 13846 3.2.2 database 包 - 4 - 14638 3.2.3 regulation包 - 5 - 25787 3.2.4 infer包 - 6 - 24450 4. 运行结果 - 7 - 25367 5. 用户手册 - 10 - 30735 6.编程体会 - 11 - 10161 7. 程序源代码 - 11 - 产生式系统 2 - 需求分析 1.1 产生式系统介绍 把一组产生式放在一起，让他们相互配合、协同作用，一个产生式生成的结论可以供另一个产生式作为已知事实使用，以求得问题的解，这样的系统称为产生式系统。 1.2 运行环境 Windows 7以上的64位系统 JDK 1.8.0_65 windows-x64版本的运行环境 1.3开发工具 JAVA语言 Eclipse 开发平台 MySQL数据库 navicat数据库管理工具 exe4j可执行文件生成工具 总体设计 2.2 功能设计 3.详细设计 3.1 数据结构设计 Java中提供了LinkedList类，便于我们用链表组成数据结构。本文采用的都是单链表的形式。 3.1.1 综合数据库结构 综合数据库中有一个LinkedList对象，用来保存数据库中的信息。 3.1.2 规则库结构 规则库创建了一个LinkedList[] rule = new LinkedList[20]数组，共有20个LinkedList对象，最多可以保存20条规则。 3.2 模块接口设计 编程中采用了文档注释的方式，直接生成了API文档，部分采用截图说明。 3.2.1 system包 类名 作用 system1 用于放主函数 3.2.2 database 包 类名 作用 DataBase 用于创建数据库 方法说明 3.2.3 regulation包 类名 作用 Rule 用于创建规则库 方法说明 3.2.4 infer包 类名 作用 Infer 推理类,规则库对数据库遍历,使用递归算法 \o infer中的类 \t C:/Users/Administrator/Desktop/新建文件夹/infer/classFrame LaunchFrame 利用awt组件可视化 \o infer中的类 \t C:/Users/Administrator/Desktop/新建文件夹/infer/classFrame LinkBase 连接MySQL数据库的类 Infer类方法说明 \o infer中的类 \t C:/Users/Administrator/Desktop/新建文件夹/infer/classFrame LaunchFrame类方法说明 \o infer中的类 \t C:/Users/Administrator/Desktop/新建文件夹/infer/classFrame LinkBase类方法说明 运行结果 MySQL数据库信息 点击由exe4j生成的可执行文件图标 弹出读取数据库对话框 录入数据库主界面 点击“下一步”后，进入录入规则库主界面 点击“开始推导”后，进入显示推理过程主界面 点击右上角”X”后，出现退出保存数据对话框 用户手册 运行.exe可执行文件需要先安装JDK的运行环境 数据保存在MySQL数据库的mywork数据库中，本地用户的密码为hkx921023 数据库中的数据不能重复，否则会弹出提示数据重复的对话框。在退出时如果将数据保存入数据库，那么产生的新的已知事实将会存入数据库。 规则库最多只能保存20条规则。在添加规则时，结论最后输入，且条件与结论的数量之和最多不能超过8个。文本框中每次只能输入同一规则的一个条件或结论，点击“添加”后，可将条件或结论加入到规则中。点击“增加规则”可进入下一条规则的输入，于此同时，已经添加完的规则将会在下面显示出来。 当某条规则的结论已经在数据库中存在时，该条规则不会被使