引用本文: | 张少平,王怀民,陈火旺.类比推理中的一种相似性准则及其验证方法[J].国防科技大学学报,1990,12(4):23-27.[点击复制] |
Zhang Shaoping,Wang Huaimin,Chen Huowang.A Similarity Criterion and its Verification Method in Analogical Reasoning[J].Journal of National University of Defense Technology,1990,12(4):23-27[点击复制] |
|
|
|
本文已被:浏览 5266次 下载 5305次 |
类比推理中的一种相似性准则及其验证方法 |
张少平, 王怀民, 陈火旺 |
(计算机系)
|
摘要: |
类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。 |
关键词: 人工智能,推理,规范/类比推理,相似性准则,项重写软件重用 |
DOI: |
投稿日期:1990-01-05 |
基金项目: |
|
A Similarity Criterion and its Verification Method in Analogical Reasoning |
Zhang Shaoping, Wang Huaimin, Chen Huowang |
(Department of Computer Science)
|
Abstract: |
In artificial inte11igent,analogical reasoning is an important field of study,and similarity criterion is a significant concept of analogical reasoning. The paper gives a descriptive framework of analogical reasoning, and a definition of similarity criterion. Based on term rewriting technique,the paper proposes a verification method of the simi1arity criterion. |
Keywords: artificial intelligence,reasoning,specification/analogical reasoning,similarity criterion,term rewriting,software reuse. |
|
|
|
|
|