首页> 中文期刊> 《华南理工大学学报:自然科学版》 >基于证明分析的机器发现技术及其应用

基于证明分析的机器发现技术及其应用

         

摘要

机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化.本文介绍了Lakatos方法论的基本思想,并通过二阶受限Tableau来实现Lakatos方法论的形式化系统———证明分析演算.应用证明分析演算,实现了机器发现实例,从而得到了一实用的机器发现技术.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号