Standards and Tools

Introduction

• What is ATP?
• Component-based Systems
• The Need for Standards
• The Need for Tools

Two Standards

• The Problem Status Ontology
  • Problem Statuses
  • The Ontology
  • Deductive Statuses
  • Other Statuses
• The New TPTP Syntax (aka the TSTP syntax)
  • Existing Languages
  • Goals for the Syntax
  • The Syntax

Fixing the TPTP

Six Tools

• tptp2X and X2tstp
• DVDV
• YuTV
• SystemOnTPTP
• The Formulator