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

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要：机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化。本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统－证明分析演算。应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术。

原文链接:http://www.cqvip.com//QK/94312X/199805/3076660.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：cqvip HTML HTTP 机器学习 交流学习 证明分析演算 机器发现技术 人工智能 机器学习