基于逻辑推理和机器学习的围棋死活知识的发掘系统
| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 引言 | 第10-12页 |
| 1 围棋常识和电脑围棋必备知识 | 第12-27页 |
| 1．1 围棋简介 | 第12-18页 |
| 1．1．1 围棋的棋盘 | 第12页 |
| 1．1．2 气和提子 | 第12页 |
| 1．1．3 自尽 | 第12-13页 |
| 1．1．4 全局同形 | 第13页 |
| 1．1．5 块棋 | 第13页 |
| 1．1．6 死活 | 第13-14页 |
| 1．1．7 假眼 | 第14页 |
| 1．1．8 劫 | 第14-15页 |
| 1．1．9 先手 | 第15页 |
| 1．1．10 征子 | 第15页 |
| 1．1．11 引征 | 第15页 |
| 1．1．12 联络 | 第15-16页 |
| 1．1．13 棋块 | 第16页 |
| 1．1．14 棋势 | 第16页 |
| 1．1．15 数棋 | 第16-17页 |
| 1．1．16 围棋规则 | 第17页 |
| 1．1．17 让子和段级位 | 第17-18页 |
| 1．2 围棋与国际象棋的比较 | 第18-19页 |
| 1．3 围棋问题的复杂性 | 第19-20页 |
| 1．4 电脑围棋涉及的人工智能领域 | 第20-22页 |
| 1．4．1 评估搜索算法 | 第20-21页 |
| 1．4．2 博弈论 | 第21页 |
| 1．4．3 认知科学和模式识别 | 第21页 |
| 1．4．4 神经网络 | 第21-22页 |
| 1．4．5 机器学习和知识表示 | 第22页 |
| 1．4．6 计算机逻辑 | 第22页 |
| 1．5 电脑围棋的相关标准简介 | 第22-27页 |
| 1．5．1 标准棋谱文件格式(SGF文件)介绍 | 第22-24页 |
| 1．5．2 电脑围棋对弈协议 | 第24-27页 |
| 2 围棋常规知识和死活知识的逻辑形式化 | 第27-30页 |
| 2．1 围棋常规知识和常规知识的形式化 | 第27-28页 |
| 2．2 围棋死活问题策略原理的概念和形式化表示 | 第28-30页 |
| 3 围棋死活推理机的构造 | 第30-35页 |
| 3．1 围棋死活推理机的构造算法 | 第30-33页 |
| 3．2 构造算法的正确性讨论 | 第33-35页 |
| 4 基于解释的机器学习和围棋知识的表示 | 第35-40页 |
| 4．1 基于解释的机器学习 | 第35页 |
| 4．2 围棋死活问题中的知识表示问题 | 第35-40页 |
| 4．2．1 关于围棋基本规则和死活基本策略的知识 | 第36页 |
| 4．2．2 棋形分析中的知识 | 第36页 |
| 4．2．3 死活知识的模板表示 | 第36-40页 |
| 5 发掘系统算法的设计与实现 | 第40-57页 |
| 5．1 发掘系统的构造和算法实现 | 第40-57页 |
| 5．1．1 棋谱读入模块 | 第41-42页 |
| 5．1．2 棋盘表示模块 | 第42-45页 |
| 5．1．3 形势分析模块 | 第45-54页 |
| 5．1．4 策略推理模块 | 第54页 |
| 5．1．5 招法生成模块 | 第54页 |
| 5．1．6 结果分析模块 | 第54-55页 |
| 5．1．7 知识模板生成器 | 第55-56页 |
| 5．1．8 知识可视编辑模块 | 第56页 |
| 5．1．9 两个知识库的讨论 | 第56-57页 |
| 6 关于有效性测试的讨论 | 第57-60页 |
| 结论 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 附录A 围棋术语翻译 | 第65-66页 |
| 在学研究成果 | 第66-67页 |
| 致谢 | 第67页 |
