|
|||||
|
|
| 一种类比匹配原理及其实现 | |
| 作者姓名： | 李波 罗玉龙 赵沁平 |
| 作者单位： | 北京航空航天大学计算机系,北京,100083;北京航空航天大学计算机系,北京,100083;北京航空航天大学计算机系,北京,100083 |
| 基金项目： | 本文研究得到863计划和国家自然科学基金资助. |
| 摘 要： | 本文给出了一种类比匹配原理及其计算模型,并在此基础上实现了类比匹配器ＡＭＥ．其中类比匹配原理包括一致性、谓词相似和支持性原则;计算模型采用以命题为中心,以命题映射为基本单位,从而ＡＭＥ的复杂性低于同类系统．另外,证明了本文的实现算法具完备性和正确性． |
| 关 键 词： | 类比匹配 类比推理 自动推理 机器学习 |
| 收稿时间： | 1992-10-06 |
| 修稿时间： | 1993-01-06 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |