Wyznaczanie sekwencji akcji prowadzącej do celu z formalnego opisu świata; dziś także jako weryfikowalne wsparcie planowania agentów LLM.
Finding a sequence of actions that reaches a goal from a formal world description; today also as verifiable support for LLM agent planning.
To układanie kolejności działań, które mają doprowadzić opisaną sytuację do wybranego celu.
This arranges actions to take a described situation towards a chosen goal.
Wiesz, co chcesz osiągnąć, ale niektóre czynności są możliwe dopiero po wykonaniu innych.
You know what you want to achieve, but some actions become possible only after others are completed.
Opisuje wymagania i skutki każdego działania, a potem szuka sekwencji, w której spełnione warunki pozwalają przejść do celu.
It describes each action's requirements and effects, then searches for a sequence whose conditions allow progress towards the goal.
Program planuje załadunek paczki: najpierw otwarcie magazynu, potem pobranie paczki i dopiero przeniesienie jej do samochodu.
Software plans loading a parcel: first open the warehouse, then retrieve the parcel, then carry it to the vehicle.