基于产生式规则的税务稽查系统的研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 目录 | 第6-10页 |
| 第一章 绪论 | 第10-14页 |
| 1 选题的意义 | 第10-11页 |
| 2 本专家系统的特点 | 第11-12页 |
| 3 论文的主要工作 | 第12-13页 |
| 4 论文的篇章结构 | 第13-14页 |
| 第二章 知识库 | 第14-36页 |
| 1 知识库系统 | 第14-18页 |
| (1) 知识的表示 | 第14-16页 |
| (2) 产生式规则表示法 | 第16-17页 |
| (3) 知识库系统的关键问题 | 第17-18页 |
| 2 推理的控制策略 | 第18-22页 |
| (1) 正向推理 | 第18-21页 |
| (2) 逆向推理 | 第21页 |
| (3) 混合推理 | 第21页 |
| (4) 双向推理 | 第21-22页 |
| (5) 求解策略 | 第22页 |
| (6) 限制策略 | 第22页 |
| 3 冲突消解策略 | 第22-24页 |
| 4 知识的检测与求精 | 第24-32页 |
| (1) 知识的一致性和完整性 | 第24页 |
| (2) 知识不一致和不完整的表现方面 | 第24-26页 |
| (3) 基于经典逻辑的检测方法 | 第26-32页 |
| 5 知识库与数据库的比较 | 第32-33页 |
| 6 知识库的应用方向 | 第33-36页 |
| 第三章 专家数据库系统 | 第36-42页 |
| 1 专家系统 | 第36-40页 |
| (1) 专家系统的一般结构 | 第36-38页 |
| (2) 专家系统的特征 | 第38-40页 |
| 2 专家数据库系统 | 第40-41页 |
| 3 专家数据库实现的途径 | 第41-42页 |
| 第四章 税务稽查中定性与处罚的实现 | 第42-62页 |
| 1 税务稽查系统的概要设计 | 第42-43页 |
| 2 定性与处罚 | 第43-49页 |
| 3 产生式规则的数据库表示 | 第49-62页 |
| (1) 产生式规则数学模型 | 第49-50页 |
| (3) 用关系数据库表示产生式规则 | 第50-52页 |
| (4) 用关系数据库表示产生式规则的具体方法 | 第52-55页 |
| (5) 具体实现 | 第55-59页 |
| (6) 知识体的粒度细分解 | 第59-62页 |
| 第五章 推理机的设计 | 第62-70页 |
| 1 推理机实现 | 第62-66页 |
| 2 算法的分析 | 第66页 |
| 3 推理的结果 | 第66-67页 |
| 4 推理的界面 | 第67-70页 |
| 第六章 知识的获取和检测 | 第70-84页 |
| 1 目前专家系统的知识获取 | 第70-71页 |
| 2 定性与处罚系统的知识获取 | 第71-75页 |
| 3 知识的一致性和完整性的检测 | 第75-84页 |
| (1) 逻辑表达式等价性的检测 | 第76-80页 |
| (2) 循环的检测 | 第80-81页 |
| (3) 规则冗余、冲突检测 | 第81-84页 |
| 第七章 总结和展望 | 第84-88页 |
| 1 总结 | 第84页 |
| 2 不足 | 第84-85页 |
| 3 展望 | 第85-87页 |
| 4 应用前景 | 第87-88页 |
| 参考文献 | 第88-92页 |
| 附录 | 第92-98页 |
| 致谢 | 第98-100页 |
| 在学期间发表的论文 | 第100页 |
