L’interface est localisée ; les présentations et documents des Skills sont traduits automatiquement par IA dans votre langue. Le code, les commandes, chemins et termes techniques restent en version originale, et le document de l’auteur fait foi.
Explorer les Skills
Développement · 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

Documentation 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 enregistrées