|
|||||
|
|
| 一种基于事例推理的检索模型 | |
| 引用本文： | 印鉴,李师贤. 一种基于事例推理的检索模型[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 维普 万方数据 等数据库收录！ | |