|
|||||
|
|
| 一种基于事例推理的检索模型 | |
| 引用本文： | 印鉴,李师贤.一种基于事例推理的检索模型[J].中山大学学报(自然科学版),1999,38(2):1-5. |
| 作者姓名： | 印鉴 李师贤 |
| 作者单位： | 中山大学计算机科学系 |
| 摘 要： | 以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理，并将领域知识、控制性知识与事例知识分别统一到对象类层次结构上，因此结构清晰，可重用性高 |
| 关 键 词： | 定理机器证明 计算逻辑 同理可证 基于事例的推理 |
A Case based Reasoning Retrieval Model |
|
| YIN Jian,LI Shi xian.A Case based Reasoning Retrieval Model[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,1999,38(2):1-5. | |
| Authors: | YIN Jian LI Shi xian |
| Abstract: | |
| Keywords: | mechanical theorem proving computational logic proving by the same methods case based reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |