# Planowanie automatyczne (PDDL)

EN: **Automated planning (PDDL)** · id `classicalplanning`

Path: [AI Atlas](https://aiatlasgraph.com/llms.txt) › [Fundamenty i rozumowanie](https://aiatlasgraph.com/t/foundations.md) › [Przeszukiwanie i planowanie](https://aiatlasgraph.com/t/search.md) › Planowanie automatyczne (PDDL)

## Description

- PL: Wyznaczanie sekwencji akcji prowadzącej do celu z formalnego opisu świata; dziś także jako weryfikowalne wsparcie planowania agentów LLM.
- EN: Finding a sequence of actions that reaches a goal from a formal world description; today also as verifiable support for LLM agent planning.

## In one sentence

- PL: To układanie kolejności działań, które mają doprowadzić opisaną sytuację do wybranego celu.
- EN: This arranges actions to take a described situation towards a chosen goal.

## Problem it solves

- PL: Wiesz, co chcesz osiągnąć, ale niektóre czynności są możliwe dopiero po wykonaniu innych.
- EN: You know what you want to achieve, but some actions become possible only after others are completed.

## What it does

- PL: Opisuje wymagania i skutki każdego działania, a potem szuka sekwencji, w której spełnione warunki pozwalają przejść do celu.
- EN: It describes each action's requirements and effects, then searches for a sequence whose conditions allow progress towards the goal.

## Everyday example

- PL: Program planuje załadunek paczki: najpierw otwarcie magazynu, potem pobranie paczki i dopiero przeniesienie jej do samochodu.
- EN: Software plans loading a parcel: first open the warehouse, then retrieve the parcel, then carry it to the vehicle.

## This concerns you if you…

- PL: twoje działania mają warunki i zmieniają sytuację
- PL: potrzebujesz wykonalnej kolejności czynności
- EN: perform actions with prerequisites that change the situation
- EN: need a feasible sequence of tasks

## Keywords

PDDL · STRIPS · state-space planning · preconditions and effects · Fast Downward · LLM+P

## How it works

- PL: Model opisuje stan faktami, a działania warunkami wstępnymi i efektami. Planner szuka sekwencji prowadzącej do celu, którą walidator sprawdza względem tego samego modelu świata.
- EN: A model describes states as facts and actions through preconditions and effects. A planner searches for a goal-reaching sequence, which a validator checks against the same world model.

## Limits

- PL: Klasyczny opis często zakłada znane, deterministyczne działania. Błędny model świata unieważnia plan w praktyce; czas, zasoby i niepewność wymagają bogatszych formalizacji.
- EN: Classical descriptions often assume known, deterministic actions. Incorrect world models invalidate plans in practice; time, resources and uncertainty need richer formalisations.

## Key terms

- PL: **warunek wstępny**: Fakt wymagany, aby działanie było dopuszczalne w danym stanie.
- PL: **PDDL**: Język opisu dziedzin planowania, działań i celów.
- EN: **precondition**: A fact required for an action to be allowed in a state.
- EN: **PDDL**: A language describing planning domains, actions and goals.

## Know first

- [Logika zdań i logika pierwszego rzędu (Propositional and first-order logic)](https://aiatlasgraph.com/t/fol.md)
- [Przeszukiwanie ślepe (BFS, DFS) (Uninformed search (BFS, DFS, uniform-cost))](https://aiatlasgraph.com/t/uninformedsearch.md)

## Examples

- PL: PDDL · STRIPS · planery klasyczne · LLM + planer
- EN: PDDL · STRIPS · classical planners · LLM + planner

## Related topics

Untyped, symmetric "see also" links.

- [Agenci i orkiestracja (Agents and orchestration)](https://aiatlasgraph.com/t/agentsnode.md)
- [AI neurosymboliczna (Neuro-symbolic AI)](https://aiatlasgraph.com/t/neurosymbolic.md)
- [Harmonogramowanie produkcji (Production scheduling with learning-based methods)](https://aiatlasgraph.com/t/prodscheduling.md)
- [Hierarchiczne RL i opcje (Hierarchical reinforcement learning and options)](https://aiatlasgraph.com/t/hierarchicalrl.md)
- [Planowanie działań postaci (GOAP) (Goal-oriented action planning for game characters)](https://aiatlasgraph.com/t/goap.md)
- [Planowanie zadań robota z modelem językowym (Language-model task planning for robots)](https://aiatlasgraph.com/t/llmtaskplanning.md)
- [Programowanie logiczne (Logic programming)](https://aiatlasgraph.com/t/logicprogramming.md)

## Sources

- [Russell & Norvig · Artificial Intelligence: A Modern Approach, 4th ed. — table of contents](<https://aima.cs.berkeley.edu/>) `aima4` · by Stuart Russell, Peter Norvig
- [LLM+P: Empowering Large Language Models with Optimal Planning Proficiency](<https://arxiv.org/abs/2304.11477>) `llmp2023` · by Bo Liu, Yuqian Jiang, Xiaohan Zhang, Qiang Liu, Shiqi Zhang, Joydeep Biswas, Peter Stone
- [LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks](<https://arxiv.org/abs/2402.01817>) `kambhampati2024llmmodulo` · by Subbarao Kambhampati, Karthik Valmeekam, Lin Guan, Mudit Verma, Kaya Stechly, Siddhant Bhambri, Lucas Saldyt, Anil Murthy

---

AI Atlas revision 122 (2026-10-30) · HTML: https://aiatlasgraph.com/t/classicalplanning · index: https://aiatlasgraph.com/llms.txt · everything: https://aiatlasgraph.com/llms-full.txt · updated 2026-10-30
