CSÍKOK
A STRIPS (Stanford Research Institute P roblem Solver ) egy automatikus ütemező , amelyet 1971 - ben Richard Fykes és Niels Nilson fejlesztett ki . Ezt követően a STRIPS szót egy formális nyelv jelölésére is használták, amely az ütemező bemeneti adatait írja le. Ez a nyelv a legtöbb modern nyelv alapja az automatikus tervezési problémák leírására . Ez a cikk csak a nyelvet írja le (az úgynevezett STRIPS formalizmust), magát az ütemezőt nem.
Definíció
A tervezési probléma leírása a STRIPS nyelven a következő összetevőket tartalmazza:
- Kezdeti állapot;
- Célállapotok meghatározása - helyzetek, amelyeket az ütemező próbál elérni;
- Lehetséges műveletek (operátorok) halmaza. Minden művelet a következőket tartalmazza:
- előfeltételek – előfeltétel, amelynek teljesülnie kell a művelet végrehajtásához;
- utófeltételek – állapotváltozások, amelyek a művelet végrehajtása után következnek be.
Matematikailag a tervezési probléma a STRIPS formalizmusban négyszeres, amelynek összetevői a következő jelentéssel bírnak:
- - feltételrendszer (feltételek)
- az operátorok halmaza ; minden operátor egy quad . A négyes minden eleme halmaz. A fontossági sorrendben ezek a feltételek:
- meg kell felelnie a művelet végrehajtása előtt
- meg kell sérteni (hogy a műveletnek értelme legyen)
- elégedett ezzel a művelettel
- megsértette ez a művelet
- - kezdeti állapot - olyan feltételek összessége, amelyeket már teljesítettnek tekintenek (az összes többi feltételt nem teljesítettnek tekintjük);
- — a végső cél meghatározása; egy pár adja meg, amely meghatározza, hogy mely feltételeknek kell teljesülnie és megsértenie, hogy a célt elértnek tekintsük.
Egy ilyen tervezési probléma terve (megoldása) olyan műveletek (operátorok) sorozata, amelyek az állapotból indulva végrehajthatók , és bármelyik célállapotba vezetnek .
Irodalom
- R. Fikes és N. Nilsson (1971). STRIPS: új megközelítés a problémamegoldás bizonyító tételének alkalmazásában. Mesterséges intelligencia, 2:189-208.