一种对象检索模型  

AN OBJECT RETRIEVAL MODEL

作　　者：印鉴[1] 

机构地区：[1]中山大学计算机科学系,广州510275

出　　处：《小型微型计算机系统》2000年第8期840-843,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金部分资助 !( 6973 3 0 3 0 )

摘　　要：本文以计算逻辑为理论基础 ,设计了一种对象检索模型以解决定理机器证明中的“同理可证”问题 ,该模型采用基于事例的推理方法来进行推理 .Based on a computational logic, this paper presents an object retrieval model, and uses the model to solve the problem of 'proving by the same methods' . This model inference by using the case based reasoning method.

关 键 词：定理机器证明 对象检索模型 事例推理 机器学习 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]