STRIPS

I kunstig intelligens er STRIPS eit automatisk planleggingssystem, utvikla av Richard Fikes og Nils Nilsson i 1971. Namnet står for (Stanford Research Institute Problem Solver), og vert nytta båe om planleggingssystemet og om det formelle språket som vert nytta i det. 

Ved automatisk planlegging kan ein tenkje seg at ein må søkje gjennom skildringar av tilstandsrom. For å planleggje ein veg frå ein starttilstand til ein måltilstand må ein ha eit sett med handlingar som kan endre verdstilstanden. Handlingar kan skildrast vha. handlingsskjema, og i STRIPS korresponderer desse med STRIPS-reglar, som er generelle og har frie variablar. Ein STRIPS-regel med bundne variablar vert kalla ein STRIPS-operator.

Eit mål kan sjåast på som ei liste med sanne faktaklausuler. Ein STRIPS-regel inneheld ei liste med føresetnader (PC - Preconditions), som er dei faktaklausulane som må vere sanne i lista som skildrar verdstilstanden for at ein skal kunne nytte regelen (utføre handlinga), i tillegg til ei sletteliste (D - Delete list) og ei tilleggsliste (A - Add list) som gir dei klausulane som skal slettast og leggast til i skildringa av den nye verdstilstanden. I STRIPS-operatoren vil variablane i klausulane vere bundne, og kopla til faktiske objekt i verda. 

Føresetnadslista kan sjåast på som ein måltilstand, altså ein konjunksjon av literalar, og dette vert utnytta i søket (dette kan samanliknast med resolusjonen utført i programmeringsspråket PROLOG). 

 Kjelde 
 Nilsson, Nils J (1998). Artificial Intelligence: A New Synthesis. Morgan-Kaufmann:San Francisco, CA. ISBN 0-07-046573-8. 

Kategori:Kunstig intelligens