Automated Reasoning in Non-classical Logics in the TPTP World
This addresses a bottleneck for researchers and developers in AI, computer science, and other fields by providing interoperability and practical tools for non-classical logic reasoning.
The paper tackled the lack of standard infrastructure for automated reasoning in non-classical logics by extending the TPTP World to include languages and infrastructure for these logics, enabling seamless integration with existing systems.
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.