Gerbazse: Listák helyrerakása

2013-11-04T21:00:59Z

Listák helyrerakása

← Régebbi változat		A lap 2013. november 4., 23:00-kori változata
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		**# 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		**# 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		**# 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

Gerbazse, 2013. november 4., 20:58-n

2013-11-04T20:58:49Z

← Régebbi változat		A lap 2013. november 4., 22:58-kori változata
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 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		*# 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====

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloTervkeszites}} TOC ==Általános tudnivalók, tételek, definíciók:== '''Klasszikus tervkészítési környezet:''' * t…”

2012-10-21T20:05:48Z

Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloTervkeszites}} __TOC__ ==Általános tudnivalók, tételek, definíciók:== '''Klasszikus tervkészítési környezet:''' * t…”

Új lap

{{GlobalTemplate|Infoalap|MIOsszefoglaloTervkeszites}}

__TOC__

==Általános tudnivalók, tételek, definíciók:==
'''Klasszikus tervkészítési környezet:'''
* teljesen megfigyelhető
* véges
* statikus
* diszkrét

===11.1. A tervkészítési probléma===
'''Nehézségek:'''
* szükségtelen cselekvések
* jó heurisztika megtalálása
* problémadekompozíció

====A tervkészítési problémák nyelve====
'''STRIPS:''' klasszikus alapnyelv
* ''állapotok leírása:'' világ (zárt világ: nem felsorolt állítások hamisak) logikai dekompozíciója, állapotok leírás pozitív literálok konjunkciójaként
* ''célok leírása:'' egy részlegesen definiált állapot, amit pozitív literálok konjunkciója ad meg
* ''cselekvések leírása:'' az előfeltétel és következmény határozza meg
** 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
** törlés lista: negatív literálok listája
** alkalmazható cselekvés: minden állapotban, mikor kielégíti az előfeltételeket
** STRIPS feltételezés: minden a következményben nem szereplő literál változatlan marad
* ''megoldás:'' olyan cselekvés sorozat, amely a kiinduló állapotból a célállapotba visz

====Kifejezőképesség és kiterjesztések====

===11.2. Tervkészítés állapottér-kereséssel===
====Előrefelé keresés az állapottérben====
'''A tervkészítési probléma állapottér-keresési problémaként formalizálva:'''
* kiindulási állapot
* cselekvés: végrehajtható, mikor az előfeltevések igazak
* célteszt: ellenőrzi, hogy az állapot kielégíti-e a tervkészítési probléma célját
* lépésköltség: tipikusan 1

====Hátrafelé keresés az állapottérben====
* másnéven regressziós keresés
* '''releváns cselekvés:''' ha egy konjunktív cél szempontjából eléri a cél egy konjunktját
* '''konzisztens cselekvés:''' kielégít egy literált, és nem ront el másikat
* '''megfelelő elődállapot:'''
** A: releváns és konzistens cselekvés
** 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====
* '''elfogadható heurisztika:''' ami nem becsül túl
* A* keresés egy elfogadható heurisztikával alkalmas az optimális megoldások keresésére
* két megközelítés:
** relaxált probléma származtatása
** részcélfüggetlenség feltételezés (a részcélok konjunkciójának megoldási költségét, az egymástól függetlenül megoldott részcélok költségeinek összegével becsüljük)
*** optimista: vannak negatív kölcsönhatások a részcélokhoz készített résztervek között
*** pesszimista (elfogadhatatlan): a résztervek redundás cselekvéseket tartalmaznak

===11.3. Részben rendezett tervkészítés===
* általános stratégia: legkisebb megkötés
* '''részben rendezett tervkészítő:''' olyan algoritmus, ami be tud illeszteni két cselekvést úgy a tervbe, hogy nem határozza meg azok sorrendjét
* '''a terv 4 komponense:'''
** cselekvés
** rendezési kényszer
** okozati kapcsolat
** nyitott előfeltétel: ha nem teljesül a terv egy akciójának hatására, cél a halmaz kiürítése
* '''konzisztens terv:''' amiben nincsenek ciklusok a rendezési megkötésekben és nincsenek ellentmondások az okozati kapcsolatokkal; mentes a nyitott előfeltételektől
* egy részben rendezett megoldás minden sorba rendezése egy teljes megoldás

===11.4. Tervkészítési gráfok===
===11.5. Tervkészítés ítéletlogikával===

===11.6. A tervkészítési módszerek elemzése===
Egy feladatnak sorba rendezhető részcéljai vannak, ha létezik a részcélok egy olyan rendezése, hogy a tervkészítő sorrendben elérheti őket anélkül, hogy a korábban már elért részcélokat felszámolná.

==Feladatok:==

[[Category:Infoalap]]

11. Tervkészítés - Laptörténet

Gerbazse: Listák helyrerakása

Gerbazse, 2013. november 4., 20:58-n

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloTervkeszites}} __TOC__ ==Általános tudnivalók, tételek, definíciók:== '''Klasszikus tervkészítési környezet:''' * t…”

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloTervkeszites}} TOC ==Általános tudnivalók, tételek, definíciók:== '''Klasszikus tervkészítési környezet:''' * t…”