首页> 外文会议>Automated deduction-CADE-16 >The design of the CADE-16 inductive theorem prover contest
【24h】

The design of the CADE-16 inductive theorem prover contest

机译:CADE-16归纳定理证明人竞赛的设计

获取原文
获取原文并翻译 | 示例

摘要

"Progress in science is only achieved through careful analysis of methods and their power. Designing without analysis is idle speculation. Implementation without analysis is tinkering. Alone they have no research value. All too often we read of major pieces of AI work that stop with the engineering steps. But we need to know how the implemented program embodies the designs and that the program works well because of the design." B.G. Buchanan [Bu88]
机译:“科学的进步只有通过仔细地分析方法及其功能才能实现。没有分析的设计是无聊的猜测。没有分析的实现就是小菜一碟。它们本身没有研究价值。我们经常读到很多以失败而告终的人工智能工作工程步骤。但是我们需要知道所实施的程序如何体现设计,并且由于设计,该程序运行良好。” B.G.布坎南[Bu88]

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号