| 一种类比匹配原理及其实现 |
| |
| 引用本文： | 李波,罗玉龙,赵沁平. 一种类比匹配原理及其实现[J]. 软件学报, 1995, 6(1): 8-16 |
| |
| 作者姓名： | 李波 罗玉龙 赵沁平 |
| |
| 作者单位： | 北京航空航天大学计算机系,北京,100083;北京航空航天大学计算机系,北京,100083;北京航空航天大学计算机系,北京,100083 |
| |
| 基金项目： | 本文研究得到863计划和国家自然科学基金资助. |
| |
| 摘 要： | 本文给出了一种类比匹配原理及其计算模型，并在此基础上实现了类比匹配器ＡＭＥ．其中类比匹配原理包括一致性、谓词相似和支持性原则；计算模型采用以命题为中心，以命题映射为基本单位，从而ＡＭＥ的复杂性低于同类系统．另外，证明了本文的实现算法具完备性和正确性．
|
| 关 键 词： | 类比匹配，类比推理，自动推理，机器学习 |
| 收稿时间： | 1992-10-06 |
| 修稿时间： | 1993-01-06 |
AN THEORY OF ANALOGICAL MATCH AND ITS IMPLEMENTATION |
| |
| Li Bo,Luo Yulong and Zhao Qinping. AN THEORY OF ANALOGICAL MATCH AND ITS IMPLEMENTATION[J]. Journal of Software, 1995, 6(1): 8-16 |
| |
| Authors: | Li Bo Luo Yulong Zhao Qinping |
| |
| Abstract: | This paper presents a theory and a computational model of analogical match, and an implementation of this model, named AME. The theory includes consistency, predicate similarity and support principles. Because the computational model constructs mapping in proposition-oriented match, and takes proposition mapping as primitive units, the complexity of AME is lower than the same kind of system. The paper also proves the implementation algorithms to be complete and reasonable. |
| |
| Keywords: | Analogical match analogical reasoning automatic reasoning machine learning. |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
