BriefGPT.xyz
Mar, 2022
一种轻量级非经典推理的可扩展逻辑嵌入工具
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
HTML
PDF
Alexander Steen
TL;DR
该研究提供了一个逻辑嵌入工具，可将非经典推理问题编码为经典高阶逻辑，支持多种不同的非经典逻辑和定理证明器，使得对于某些情况下缺少证明器来说，很多问题都能够得到自动化解决。
Abstract
The
logic embedding
tool provides a
procedural encoding
for non-classical reasoning problems into classical
higher-order logic
. It is exte
→