FÂȘI
STRIPS ( Stanford Research Institute Problem Solver ) este un programator automat dezvoltat în 1971 de Richard Fykes și Niels Nilson . Ulterior, cuvântul STRIPS a fost folosit și pentru a desemna un limbaj formal care descrie datele de intrare ale acestui planificator. Acest limbaj este baza majorității limbilor moderne pentru descrierea problemelor de planificare automată . Acest articol descrie doar limbajul (așa-numitul formalism STRIPS), și nu planificatorul în sine.
Definiție
Descrierea problemei de planificare în limbajul STRIPS include următoarele componente:
- Stare initiala;
- Definirea stărilor țintă - situații pe care planificatorul încearcă să le realizeze;
- Un set de acțiuni posibile (operatori). Fiecare acțiune include:
- precondiții - o condiție prealabilă care trebuie îndeplinită pentru ca acțiunea să fie îndeplinită;
- postconditii - schimbari de stare care vor avea loc dupa efectuarea actiunii.
Matematic vorbind, problema de planificare în formalismul STRIPS este un cvadruplu ale cărui componente au următoarele semnificații:
- - set de condiții (condiții)
- este setul de operatori ; fiecare operator la rândul său este un quad . Toate elementele cvadruplui sunt seturi. În ordinea priorităților, acestea sunt condițiile care:
- trebuie să fie satisfăcut înainte de a efectua operația
- trebuie încălcat (pentru ca operațiunea să aibă sens)
- multumit de aceasta operatiune
- încălcate de această operaţiune
- - starea inițială - un set de condiții care sunt considerate deja îndeplinite (toate celelalte condiții sunt considerate nesatisfăcute);
- — precizarea scopului final; este dat de o pereche care definește ce condiții trebuie îndeplinite și încălcate pentru ca scopul să fie considerat atins.
Planul (soluția) unei astfel de probleme de planificare este o secvență de acțiuni (operatori) care poate fi efectuată pornind de la starea , și va duce la oricare dintre stările țintă .
Literatură
- R. Fikes şi N. Nilsson (1971). STRIPS: o nouă abordare a aplicării dovedirii teoremei la rezolvarea problemelor. Artificial Intelligence, 2:189-208.