„11. Tervkészítés” változatai közötti eltérés
Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloTervkeszites}} __TOC__ ==Általános tudnivalók, tételek, definíciók:== '''Klasszikus tervkészítési környezet:''' * t…” |
Listák helyrerakása |
||
| (Egy közbenső módosítás ugyanattól a felhasználótól nincs mutatva) | |||
| 23. sor: | 23. sor: | ||
* ''cselekvések leírása:'' az előfeltétel és következmény határozza meg | * ''cselekvések leírása:'' az előfeltétel és következmény határozza meg | ||
** három fő sémája: | ** három fő sémája: | ||
**# megnevezés és paraméterlista: az azonosítást szolgálja | |||
**# előfeltétel: függvényektől mentes pozitív literálok konjunkciója | |||
**# következmény: függvényektől mentes literálok konjunkciója | |||
** hozzáadás lista: pozitív literálok listája | ** hozzáadás lista: pozitív literálok listája | ||
** törlés lista: negatív literálok listája | ** törlés lista: negatív literálok listája | ||
| 49. sor: | 49. sor: | ||
** A: releváns és konzistens cselekvés | ** A: releváns és konzistens cselekvés | ||
** G: egy cél leírása | ** G: egy cél leírása | ||
*# az A minden pozitív következményét, ami szerepel G-ben, töröljük | |||
*# az A minden, még nem szereplő előfeltételét hozzáadjuk | |||
====Állapottér-keresési heurisztikák==== | ====Állapottér-keresési heurisztikák==== | ||