Tarski

Tarski is a framework for the specification, modeling and manipulation of AI planning problems. Tarski is written in Python and includes parsers for major modeling languages (e.g., PDDL, FSTRIPS, RDDL), along with modules to perform other common tasks such as logical transformations, reachability analysis, grounding of first-order representations and problem reformulations.

User Documentation

• Installing Tarski
  • Software Requirements
  • Installation Instructions
  • Installing Tarski in Development Mode
  • Installing Extras (Experimental)
• Getting Started
  • Defining Your First Classical Planning Problem
  • First-Order Logics in Tarski
  • Parsing and Inspecting PDDL problems
  • Problem Manipulation and Reformulation Techniques [TODO]
• Advanced Topics
  • Advanced Problem Definition Techniques [WORK IN PROGRESS]
  • Defining Classical Planning Problems in Functional STRIPS [WORK IN PROGRESS]
• Use Cases
  • Grounding Schematic Representations
  • Solving Conformant Planning Problems with the \(K_0\) Compilation
• The Tarski API
• Known Limitations

Developing Tarski

• Development Guidelines
• Tarski - Documentation