FRDCSA | external codebases | haz-uambat-afd33d8ef811

[Project image]

Jump to: Project Description

Project Description

This project aims to serve as mechanism for converting between various action theory formalisms. Possible uses include, but are not limited to, 1. Translation between the supported formalisms (e.g., GDL <-> PDDL) 2. Analysis / simplification of actions (e.g., adding or removing preconditions and effects) 3. Combining formalisms (e.g., mixing GDL and SitCalc for solving with planners) 4. Analysis in target languages (e.g., convert to PDDL, use planner preprocess, then convert back) 5. Visualizing the semantic interpretation of a proposed action schema (e.g., cool figures!)

This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:22 EDT 2019 .