BriefGPT.xyz
Feb, 2022
TPTP世界中的非经典逻辑自动推理
Automated Reasoning in Non-classical Logics in the TPTP World
HTML
PDF
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
TL;DR
本文介绍了TPTP World的最新扩展，提供用于非经典逻辑推理的语言和基础设施，并与现有TPTP World自由衔接
Abstract
non-classical logics
are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for
automated theorem proving
→