| name | ralstp-consultant |
| description | Analyze problems using RALSTP (Recursive Agents and Landmarks Strategic-Tactical Planning). Based on PhD thesis by Dorian Buksz (RALSTP). Identifies agents, calculates difficulty, and suggests decomposition. |
RALSTP Consultant
Based on "Recursive Agents and Landmarks Strategic-Tactical Planning (RALSTP)" by Dorian Buksz, King's College London, 2024.
Core Concepts (from the thesis)
1. Agents Identification
Definition: Agents are objects with dynamic types that are active during goal state search.
How to identify:
- Dynamic type = appears as first argument of a predicate in any action's effects
- Static type = never appears in action effects
- Example: In Driverlog,
truck and driver are dynamic (they're in drive action effects), but location is static
Real PDDL Example (RTAM Domain):
(:types
ambulance police_car tow_truck fire_brigade - vehicle
acc_victim vehicle car - subject
...
)
- Agents: ambulance, police_car, tow_truck, fire_brigade (appear in action effects like
at, available, busy)
- Passive: acc_victim, car (acted upon but don't act)
2. Passive Objects
Objects that are NOT agents — things being acted upon but don't act themselves.
- Packages, cargo, data, files, victims in RTAM
3. Agent Dependencies
Definition: Relationships between agents based on what preconditions they satisfy for other agents.