智能推理技术在养老保险审计中的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-17页 |
| ·养老保险基金审计 | 第10-11页 |
| ·计算机辅助审计 | 第11-13页 |
| ·人工智能技术 | 第13-15页 |
| ·智能审计 | 第15页 |
| ·论文组织 | 第15-17页 |
| 第2章 养老保险审计需求分析 | 第17-22页 |
| ·养老保险基金业务审计 | 第17-18页 |
| ·养老保险基金财务审计 | 第18-19页 |
| ·养老保险审计的特点及审计重点 | 第19-21页 |
| ·本章小结 | 第21-22页 |
| 第3章 知识与知识表示 | 第22-31页 |
| ·知识概述 | 第22-24页 |
| ·知识的含义 | 第22-23页 |
| ·知识的分类 | 第23-24页 |
| ·知识的表示 | 第24-30页 |
| ·逻辑表示法 | 第25页 |
| ·产生式表示法 | 第25-26页 |
| ·语义网络表示法 | 第26-27页 |
| ·框架表示法 | 第27-28页 |
| ·面向对象表示法 | 第28-30页 |
| ·养老保险审计的知识表示 | 第30页 |
| ·本章小结 | 第30-31页 |
| 第4章 知识推理技术 | 第31-39页 |
| ·推理方式研究 | 第31-32页 |
| ·演绎推理 | 第31页 |
| ·归纳推理 | 第31-32页 |
| ·默认推理 | 第32页 |
| ·确定性推理与不确定性推理 | 第32页 |
| ·单调推理与非单调推理 | 第32页 |
| ·控制策略研究 | 第32-37页 |
| ·推理方向 | 第33-36页 |
| ·冲突消解策略 | 第36页 |
| ·搜索策略 | 第36-37页 |
| ·养老保险审计的推理技术 | 第37页 |
| ·本章小结 | 第37-39页 |
| 第5章 养老保险审计的推理研究 | 第39-72页 |
| ·养老保险审计的总体知识表示 | 第39-44页 |
| ·养老保险审计总体知识表示下的推理研究 | 第44-71页 |
| ·一阶谓词逻辑表示下的推理研究及实例应用 | 第44-51页 |
| ·产生式知识表示下的推理研究及实例应用 | 第51-57页 |
| ·框架知识表示下的案例推理研究及实例应用 | 第57-64页 |
| ·多种知识表示法下的推理研究及其实例应用 | 第64-71页 |
| ·本章小结 | 第71-72页 |
| 结论 | 第72-73页 |
| 参考文献 | 第73-76页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第76-77页 |
| 致谢 | 第77页 |
