论文标题
TPTP世界中非经典逻辑中的自动推理
Automated Reasoning in Non-classical Logics in the TPTP World
论文作者
论文摘要
非古典逻辑用于广泛的学科，包括人工智能，计算机科学，数学和哲学。自动定理证明TPTP世界的事实上的标准基础架构目前仅支持古典逻辑。 （尚不存在）非古典逻辑推理的类似标准（尚不存在）。这阻碍了推理系统的实际开发，并限制了它们的互操作性和应用。本文描述了TPTP世界的最新扩展，该扩展为非古典逻辑提供了语言和基础架构。扩展与现有的TPTP世界无缝集成。
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, the TPTP World, currently supports only classical logics. Similar standards for non-classical logic reasoning do not exist (yet). This hampers practical development of reasoning systems, and limits their interoperability and application. This paper describes the latest extension of the TPTP World, which provides languages and infrastructure for reasoning in non-classical logics. The extensions integrate seamlessly with the existing TPTP World.
