SAQ系统的概念获取和检验
文献类型：学位论文
| 作者 | 王泓皓 |
| 学位类别 | 博士 |
| 答辩日期 | 2000 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 文法推断 概念获取 人机交互 上下文无关文法 产生式集合 产生式集合划分 句子生成 |
| 学位专业 | 计算机软件与理论 |
| 中文摘要 | 如何有效地获取形式规约是软件自动化的根本问题。SAQ系统尝试使用机器学习和人机交互的方法来获取形式规约，希望帮助人从语言的片断的、不精确的认识出发推断出语言的文法定义。论文介绍了SAQ系统概念获取的思想核心以及获取方法的发展过程。在原有工作的基础上，本文试图较深入地对人机交互概念获取的过程分析研究。针对人和机器各自的特点，对其进行了合理的分工。使得人和机器能相互促进启发，自然地合作。对比原有方法，获取过程更加自然，效率更高。针对系统概念检验对句子生成的需要，本文提出一种基于产生式划分的句子生成方法。将产生式分为两类。使用一类产生式进行推导时，推导过程将无限进行下去；使用另一类进行推导时，推导过程将迅速结束。证明了CFG句子生成过程一定是先使用一类产生式使生成的句型不断变化变复杂，再使用另一类产生式使句型变成句子。据此提出了一种可控制、高效的能满足用户对生成句子长度和深度限制的句子生成方法。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 43 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/7316]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 王泓皓. SAQ系统的概念获取和检验[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2000. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。