STRIPPER
STRIPS ( Stanford R esearch Institute P roblem S olver ) er en automatisk skemalægger udviklet i 1971 af Richard Fykes og Niels Nilson . Efterfølgende blev ordet STRIPS også brugt til at betegne et formelt sprog , der beskriver inputdataene for denne skemalægger. Dette sprog er grundlaget for de fleste moderne sprog til beskrivelse af automatiske planlægningsproblemer . Denne artikel beskriver kun sproget (den såkaldte STRIPS-formalisme), og ikke selve planlæggeren.
Definition
Beskrivelsen af planlægningsproblemet i STRIPS-sproget omfatter følgende komponenter:
- Indledende tilstand;
- Definition af måltilstande - situationer, som planlæggeren forsøger at opnå;
- Et sæt af mulige handlinger (operatører). Hver handling inkluderer:
- forudsætninger - en forudsætning, der skal være opfyldt, for at handlingen kan udføres;
- postbetingelser - angiv ændringer, der vil ske efter handlingen er udført.
Matematisk set er planlægningsproblemet i STRIPS-formalismen en firdobling , hvis komponenter har følgende betydninger:
- - sæt af betingelser (betingelser)
- er sættet af operatører ; hver operatør er på sin side en quad . Alle elementer i quadruplen er sæt. I prioriteret rækkefølge er disse betingelser, der:
- skal være opfyldt, før operationen udføres
- skal overtrædes (for at operationen giver mening)
- tilfreds med denne operation
- krænket af denne operation
- - initial tilstand - et sæt betingelser, der anses for at være allerede opfyldt (alle andre betingelser betragtes som uopfyldte);
- — specifikation af det endelige mål; gives af et par , der definerer, hvilke betingelser der skal være opfyldt og overtrådt for at målet kan anses for opnået.
Planen (løsningen) af et sådant planlægningsproblem er en sekvens af handlinger (operatører), der kan udføres fra tilstanden , og vil føre til enhver af måltilstandene .
Litteratur
- R. Fikes og N. Nilsson (1971). STRIPS: en ny tilgang til anvendelse af teorem, der beviser til problemløsning. Kunstig intelligens, 2:189-208.