The 2024 COST Action WG2 TPTP Tea Party
Abstract
The TPTP Tea Party (TPTPTP) brings together users and developers of ATP systems, to
discuss standardization, current challenges and prospective applications.
This edition will focus on the continued development of TPTP World infrastructure to support:
- The collection of relevant test Problems.
- The production, representation, verification, and visualization of Proofs of theorems.
- The production, representation, verification, and visualization of (counter)Models of
non-theorems.
- Proposals for development of necessary TPTP World infrastructure.
These items will apply in both classical and non-classical logics.
The TPTPTP will deliver:
- Community development for use of TPTP World infrastructure.
- Agreement on formats for Proofs and Models, in in both classical and non-classical logics.
- Exposure of tools for verifying and visualizing Proofs and Models.
- Linkage between the TPTP World and other standards for Problems, Proofs, and Models.
The meeting aims to elicit feedback, suggestions, criticisms, etc, of these resources, in order
to ensure that their continued development meets the needs of successful automated reasoning.