| 引用本文: | 张少平,王怀民,陈火旺.类比推理中的一种相似性准则及其验证方法.[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[点击复制] |
|
| |
|
|
| 本文已被：浏览 5660次 下载 5805次 |
| 类比推理中的一种相似性准则及其验证方法 |
| 张少平, 王怀民, 陈火旺 |
|
(计算机系)
|
| 摘要: |
| 类比推理是人工智能领域中的重要研究方向，而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架，定义了相似性准则，并且基于项重写技术，提出了相应的验证方法。 |
| 关键词: 人工智能，推理，规范/类比推理，相似性准则，项重写软件重用 |
| 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. |
|
|
|
|
|
