La interfaz está localizada; las descripciones y documentos de las Skills se traducen automáticamente con IA a su idioma. El código, los comandos, rutas y términos técnicos se mantienen en el original, y prevalece el documento del autor.
Explorar Skills
Desarrollo · SKILL.md

skill-110

skill-110

Comprehensive tools for working with PDDL files and planning problems, offering a wide range of functionalities for parsing, planning, and validation across different scenarios.

Independent GitHub snapshot · Automated classification · Original documentation governs

Documentación de la Skill

GitHub

name: skill-110 description: "Comprehensive tools for working with PDDL files and planning problems, offering a wide range of functionalities for parsing, planning, and validation across different scenarios." license: Proprietary. LICENSE.txt has complete terms

Requirements for Outputs

General Guidelines

  • PDDL files should be syntactically correct and adhere to general PDDL standards.
  • Outputs must be in a usable format, but specifics can vary.
  • Validation processes should ensure that outputs meet the specified goals.

PDDL Planning Tools

1. Load PDDL Files

load-pddl-files(domain_path, problem_path)

Description:
Loads any PDDL domain and problem files, making them accessible for further processing and planning activities.

Parameters:

  • domain_path (str): Path to the PDDL domain file.
  • problem_path (str): Path to the PDDL problem file.

Returns:

  • files_loaded: A boolean indicating whether the files were successfully loaded.

Example:

files_loaded = load_pddl_files("domain.pddl", "task01.pddl")

Notes:

  • Basic loading functionality that should accommodate different PDDL versions.

2. Generate Plans

generate-plans(problem)

Description: Generates plans based on the loaded problem, utilizing various planning strategies.

Parameters:

  • problem: The PDDL problem instance.

Returns:

  • plans: A list of possible plans generated.

Example:

plans = generate_plans(problem)

Notes:

  • Supports multiple planning algorithms without specifying which ones are used.

3. Save Plans and Outputs

save-plans(plans, output_path)

Description: Saves generated plans to a specified file format, allowing for flexible output options.

Parameters:

  • plans: A list of generated plans.
  • output_path (str): Path where plans should be saved.

Example:

save_plans(plans, "output.plans")

Notes:

  • Output format details are not strictly defined; it could vary widely.

4. Validate Plans

validate-plans(problem, plans)

Description: Validates the generated plans against the specified problems to ensure that they are feasible.

Parameters:

  • problem: The original PDDL problem instance.
  • plans: The generated plans.

Returns:

  • bool: True if plans are valid, False otherwise.

Example:

valid = validate_plans(problem, plans)

Notes:

  • General validation method; specifics of what constitutes a valid plan may vary.

Example Workflow

# Load PDDL files
files_loaded = load_pddl_files("domain.pddl", "task01.pddl")

# Generate plans
if files_loaded:
    plans = generate_plans(problem)

# Validate plans
if not validate_plans(problem, plans):
    raise ValueError("One or more plans are invalid")

# Save plans
save_plans(plans, "output.plans")

Notes

  • This skill set provides foundational tools but lacks specificity for particular planning scenarios.
  • Suitable for users looking for a broad overview of PDDL planning capabilities.
Skills guardadas