产业集群决策
 
一种地象检索模型
 
印鉴
关键词：定理机器证明 对象检索模型 事例推理 机器学习
 
主要内容：本文以计算逻辑为理论基础，设计了一种对象检索模型以解决定理机器证明中的”同理可证”问题，该模型采用基于事例的推理方法来进行推理。
 
《小型微型计算机系统》  2000,21(8).-840-843
全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp
Copyright © 广东省科技图书馆（广东省科学院信息研究所）  
粤ICP备05059360号-1 详细地址：广州市先烈中路100号        
联系电话：020-37656525 咨询邮箱：stlib@stlib.cn
  •  

  • 微信公众号

仿站