【24h】

Preface

机译:前言

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

摘要

This special issue of Annals of Mathematics and Artificial Intelligence is devoted to first-order theorem proving. The role of first-order theorem proving as a core domain of automated deduction has been recognized since the first automated procedures were developed in the late 1950s and early 1960s. Since then, first-order order theorem proving and closely related techniques have made considerable progress, not only in proving mathematical theorems such as, for example, the Robbins algebra conjecture, but also in various other disciplines of Artificial Intelligence, including knowledge representation, model-based diagnosis, planning, symbolic computation, and verification.
机译:这本《数学与人工智能年鉴》专刊致力于一阶定理证明。自从1950年代末和1960年代初开发出第一套自动程序以来,就已经认识到一阶定理证明作为自动演绎的核心领域的作用。从那时起,一阶定理证明和紧密相关的技术取得了长足的进步,不仅在证明数学定理(例如罗宾斯代数猜想),而且在人工智能的其他各个学科,包括知识表示,模型基于诊断,计划,符号计算和验证。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号