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.
翻译:非古典逻辑用于广泛的学科,包括人工智能、计算机科学、数学和哲学。自动理论验证的事实上的方略标准基础设施(TPTP World)目前只支持古典逻辑。非古典逻辑推理的类似标准并不存在(目前还没有)。这妨碍了推理系统的实际发展,限制了它们的互操作性和应用。本文描述了TPTP World的最新扩展,它为非古典逻辑的推理提供了语言和基础设施。扩展与现有的TPTP World无缝地融合在一起。