机器定理的发现 - Sci-Hub|Scidown

Scidown文献预览系统！

作者：scidown 发布时间：2021-07-26 16:14:09 文章标题：

机器定理的发现( Machine Theorem Discovery )

文章作者：

F Lin

文章简述：

本文描述了机器定理发现的一个框架，并说明了它在发现规划域中的状态不变量和博弈论中纳什均衡的性质方面的应用。并讨论了它在软件工程中程序验证方面的潜在用途。文章的主要信息是，许多人工智能问题可以而且应该被表述为机器定理发现任务。

文章下载地址（开放版）：

aaai.org

『Sci-Hub|Scidown』怎么用？来看看教程吧！

支持模式 1.支持DOI号 2.支持英文文献全名搜索 3.支持参考文献搜索 4.知网文献（暂时关闭）

安卓手机、电脑用户，您可以在QQ浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！（注意是文献的DOI号）

苹果手机用户，您需要先在App Store里搜索并下载 Documents by Readdle 这个APP，在APP首页，左划右下角的指南针图标打开APP内置浏览器，在浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！

如出现BUG？赶快加入【Scidown互助交流群】反馈吧：729083885【点击一键加群】

『Sci-Hub|Scidown』相关参考文献