STRIPPAR
STRIPS ( Stanford R esearch Institute P roblem S olver ) är en automatisk schemaläggare utvecklad 1971 av Richard Fykes och Niels Nilson . Därefter användes ordet STRIPS också för att beteckna ett formellt språk som beskriver indata för denna schemaläggare. Detta språk är grunden för de flesta moderna språk för att beskriva automatiska planeringsproblem . Den här artikeln beskriver bara språket (den så kallade STRIPS-formalismen), och inte själva schemaläggaren.
Definition
Beskrivningen av planeringsproblemet på STRIPS-språket innehåller följande komponenter:
- Initialtillstånd;
- Definition av måltillstånd - situationer som schemaläggaren försöker uppnå;
- En uppsättning möjliga åtgärder (operatörer). Varje åtgärd inkluderar:
- förutsättningar - en förutsättning som måste vara uppfylld för att åtgärden ska kunna utföras;
- postvillkor - ange ändringar som kommer att inträffa efter att åtgärden har utförts.
Matematiskt sett är planeringsproblemet i STRIPS-formalismen en fyrdubbling vars komponenter har följande betydelser:
- - uppsättning villkor (villkor)
- är uppsättningen av operatörer ; varje operatör är i sin tur en fyrhjuling . Alla element i fyrfalden är set. I prioritetsordning är dessa villkor som:
- måste vara uppfyllda innan operationen utförs
- måste kränkas (för att operationen ska vara meningsfull)
- nöjd med denna operation
- kränkts av denna operation
- - initialtillstånd - en uppsättning villkor som anses redan uppfyllda (alla andra villkor anses ouppfyllda);
- — Specificering av det slutliga målet. ges av ett par som definierar vilka villkor som måste uppfyllas och överträdas för att målet ska anses uppnått.
Planen (lösningen) av ett sådant planeringsproblem är en sekvens av åtgärder (operatörer) som kan utföras med början från tillståndet och kommer att leda till vilken som helst av måltillstånden .
Litteratur
- R. Fikes och N. Nilsson (1971). STRIPS: ett nytt tillvägagångssätt för tillämpningen av teorem som bevisar problemlösning. Artificiell intelligens, 2:189-208.