Universal (meta-)logical reasoning: Recent successes
Universal (meta-)logical reasoning: Recent successes
复制标题
DOI：
10.1016/j.scico.2018.10.008
复制
发表时间：
2019-03-01
影响因子：
1.3
通讯作者：
Benzmueller, Christoph
中科院分区：
文献类型：
--
作者：
Benzmueller, Christoph
经典高阶逻辑作为一种可以浅层嵌入各种其他(经典和非经典)逻辑的元逻辑，适合作为开发通用逻辑推理引擎的基础。正如莱布尼茨已经设想的那样，这样的引擎可以被用来支持在计算机上对理性论证进行严格的形式化和深入的逻辑分析。本文描述了各自的通用逻辑推理框架，并综述了在哲学、人工智能和数学中的一系列成功的首次应用。(C)2018爱思唯尔B.V.保留所有权利。
Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is suitable as a foundation for the development of a universal logical reasoning engine. Such an engine may be employed, as already envisioned by Leibniz, to support the rigorous formalisation and deep logical analysis of rational arguments on the computer. A respective universal logical reasoning framework is described in this article and a range of successful first applications in philosophy, artificial intelligence and mathematics are surveyed. (C) 2018 Elsevier B.V. All rights reserved.