Podcast
Questions and Answers
Mit jelent az on(x,y) előfeltétel a Move(x,y,z) operátor esetében?
Mit jelent az on(x,y) előfeltétel a Move(x,y,z) operátor esetében?
Az on(x,y) azt jelenti, hogy az x blokk az y blokkra van helyezve.
Mik a korlátai a STRIPS nyelvnek az idő reprezentációjában?
Mik a korlátai a STRIPS nyelvnek az idő reprezentációjában?
A STRIPS nem képes időt, időtartamokat vagy határidőket reprezentálni.
Mi a fő különbség a POP és a GraphPlan tervezési modellek között?
Mi a fő különbség a POP és a GraphPlan tervezési modellek között?
A POP 'emberi-like' tervezésű, de lassú, míg a GraphPlan egyszerűsített, hatékony algoritmus.
Mi a Move2T(x,y) operátor célja?
Mi a Move2T(x,y) operátor célja?
Milyen jellemzője van a GraphPlan algoritmusnak?
Milyen jellemzője van a GraphPlan algoritmusnak?
Mik a plán konszisztensek feltételei?
Mik a plán konszisztensek feltételei?
Mit jelent a részben rendezett terv (POP)?
Mit jelent a részben rendezett terv (POP)?
Milyen lépéseket kell követni a POP algoritmus használatakor?
Milyen lépéseket kell követni a POP algoritmus használatakor?
Hogyan válasszuk ki az operátort a POP során?
Hogyan válasszuk ki az operátort a POP során?
Mik a fenyegetések (threats) a POP algoritmusban?
Mik a fenyegetések (threats) a POP algoritmusban?
Mit jelent a fenyegetés megoldása a POP algoritmusban?
Mit jelent a fenyegetés megoldása a POP algoritmusban?
Mik a STRIPS példában alkalmazott akciók?
Mik a STRIPS példában alkalmazott akciók?
Mik a célok a STRIPS példában?
Mik a célok a STRIPS példában?
Hogyan jön létre a causal link a POP folyamat során?
Hogyan jön létre a causal link a POP folyamat során?
Mik azok a változók, amelyek fenyegetést okozhatnak szituációkban?
Mik azok a változók, amelyek fenyegetést okozhatnak szituációkban?
Mi a célja a Sussman anomáliának?
Mi a célja a Sussman anomáliának?
Milyen előfeltételek szükségesek a move(x,y,z) operátor végrehajtásához?
Milyen előfeltételek szükségesek a move(x,y,z) operátor végrehajtásához?
Hogyan kell értelmezni az 'At(HO)' állapotot?
Hogyan kell értelmezni az 'At(HO)' állapotot?
Mit jelent a 'clear(x)' predikátum?
Mit jelent a 'clear(x)' predikátum?
Milyen hatása van a 'Buy(M,SM)' lépésnek?
Milyen hatása van a 'Buy(M,SM)' lépésnek?
Mit jelent az 'At(HW) Ù ØAt(HO)' kifejezés?
Mit jelent az 'At(HW) Ù ØAt(HO)' kifejezés?
Mi az az 'Eff' a move(x,y,z) operátor esetében?
Mi az az 'Eff' a move(x,y,z) operátor esetében?
Milyen objektumok szerepelnek a feladathoz tartozó gyakorlatban?
Milyen objektumok szerepelnek a feladathoz tartozó gyakorlatban?
Mit jelöl a 'S(HW,D)' kifejezés?
Mit jelöl a 'S(HW,D)' kifejezés?
Mi a szerepe az 'on(x,y)' predikátumnak az operátorokban?
Mi a szerepe az 'on(x,y)' predikátumnak az operátorokban?
Mik a STRIPS rendszer állapotai és céljai?
Mik a STRIPS rendszer állapotai és céljai?
Mi a különbség a progresszív és a regresszív tervezők között?
Mi a különbség a progresszív és a regresszív tervezők között?
Mik a probléma speciális tulajdonságai a tervezés során?
Mik a probléma speciális tulajdonságai a tervezés során?
Mit jelent a részben rendezett terv fogalma?
Mit jelent a részben rendezett terv fogalma?
Mi az a helyzet tér, és hogyan kapcsolódik a tervezéshez?
Mi az a helyzet tér, és hogyan kapcsolódik a tervezéshez?
Mik a tervezési algoritmusok fő típusai?
Mik a tervezési algoritmusok fő típusai?
Mik a STRIPS akciók preconditions és effects jellemzői?
Mik a STRIPS akciók preconditions és effects jellemzői?
Miért nem hatékony a helyzet kalkulus használata a tervezésben?
Miért nem hatékony a helyzet kalkulus használata a tervezésben?
Milyen nyelvi korlátozásokat kell figyelembe venni a tervezés során?
Milyen nyelvi korlátozásokat kell figyelembe venni a tervezés során?
Milyen követelményeknek kell teljesülniük egy terv teljességéhez?
Milyen követelményeknek kell teljesülniük egy terv teljességéhez?
Hogyan definiálnád az intelligenciát a mesterséges intelligencia kontextusában?
Hogyan definiálnád az intelligenciát a mesterséges intelligencia kontextusában?
Mi a különbség az informált és informálatlan keresési stratégiák között?
Mi a különbség az informált és informálatlan keresési stratégiák között?
Mik a célállapotok és hogyan definiálhatók a tervezési folyamatban?
Mik a célállapotok és hogyan definiálhatók a tervezési folyamatban?
Mit jelent a cselekvések leírása a tervezési folyamat során?
Mit jelent a cselekvések leírása a tervezési folyamat során?
Mit értünk reifikáció alatt a helyzetkalkulusban?
Mit értünk reifikáció alatt a helyzetkalkulusban?
Mi a hatásaxiomák szerepe a tervezési logikában?
Mi a hatásaxiomák szerepe a tervezési logikában?
Hogyan definiálható a tervezés helyzetkalkulusban?
Hogyan definiálható a tervezés helyzetkalkulusban?
Mik a keretaxiomák és milyen szerepet játszanak a helyzetkalkulusban?
Mik a keretaxiomák és milyen szerepet játszanak a helyzetkalkulusban?
Mik a kölcsönösen kizárt akciók jellemzői?
Mik a kölcsönösen kizárt akciók jellemzői?
Mik azok a kölcsönösen kizárt kijelentések?
Mik azok a kölcsönösen kizárt kijelentések?
Mi a szerepe a megoldás kinyerésének az akciók szintjein?
Mi a szerepe a megoldás kinyerésének az akciók szintjein?
Mik a lépések egy étkezés tervezése során, ha a kiindulási feltételek a 'garbage', 'cleanHands', és 'quiet'?
Mik a lépések egy étkezés tervezése során, ha a kiindulási feltételek a 'garbage', 'cleanHands', és 'quiet'?
Hogyan befolyásolja a kölcsönösen kizárt akciók megléte a tervezést?
Hogyan befolyásolja a kölcsönösen kizárt akciók megléte a tervezést?
Mik azok az ellentmondásos hatások az akciók esetén?
Mik azok az ellentmondásos hatások az akciók esetén?
Milyen folyamatokat támogathat a hierarchikus tervezés?
Milyen folyamatokat támogathat a hierarchikus tervezés?
Mik a versengő igények és hogyan befolyásolják a tervezést?
Mik a versengő igények és hogyan befolyásolják a tervezést?
Milyen szerepet játszanak a diszjunktív előfeltételek a tervezési folyamat során?
Milyen szerepet játszanak a diszjunktív előfeltételek a tervezési folyamat során?
Mi a célja az állapot-tere tervezésnek?
Mi a célja az állapot-tere tervezésnek?
Flashcards
Move2T(x,y)
Move2T(x,y)
A STRIPS operátor, amely egy blokkot a táblára mozgat. Feltételek: a blokknak egy másik blokkon kell lennie, és a felső blokknak szabadnak kell lennie. Hatások: a blokk a táblán van, a korábbi blokk szabad, a blokk nem a korábbi helyén.
A STRIPS operátor korlátai
A STRIPS operátor korlátai
A STRIPS operátorok korlátozott képességeinek bemutatása, amelyek nem tudják kezelni a hierarchikus tervezést, a komplex állapotfeltételeket, az időt, a forrásokat.
Tervezési gráf
Tervezési gráf
Egy gráf, amely a tervezés során lehetséges eredményeket ábrázol. A gráf csomópontjai az állapotokat és az operátorokat reprezentálják, a gráf élei pedig a lehetséges átmeneteket jelentik.
GraphPlan algoritmus
GraphPlan algoritmus
Signup and view all the flashcards
GraphPlan algoritmus és a mélységi keresés
GraphPlan algoritmus és a mélységi keresés
Signup and view all the flashcards
Tervezés
Tervezés
Signup and view all the flashcards
Kezdeti állapot
Kezdeti állapot
Signup and view all the flashcards
Célállapot
Célállapot
Signup and view all the flashcards
Szituációkalkulus
Szituációkalkulus
Signup and view all the flashcards
Műveletleírás
Műveletleírás
Signup and view all the flashcards
STRIPS
STRIPS
Signup and view all the flashcards
Regressziós tervező
Regressziós tervező
Signup and view all the flashcards
Progresszív tervező
Progresszív tervező
Signup and view all the flashcards
Tervterület
Tervterület
Signup and view all the flashcards
Részben rendezett terv
Részben rendezett terv
Signup and view all the flashcards
Mi a tervezés?
Mi a tervezés?
Signup and view all the flashcards
Mi a tervezés keresési perspektívából?
Mi a tervezés keresési perspektívából?
Signup and view all the flashcards
Miért probléma a keresés a tervezésben?
Miért probléma a keresés a tervezésben?
Signup and view all the flashcards
Mi a helyzetkalkulus?
Mi a helyzetkalkulus?
Signup and view all the flashcards
Mi a reifikáció?
Mi a reifikáció?
Signup and view all the flashcards
Mi a Result függvény?
Mi a Result függvény?
Signup and view all the flashcards
Mi az effektus axióma?
Mi az effektus axióma?
Signup and view all the flashcards
Mi a keret axióma?
Mi a keret axióma?
Signup and view all the flashcards
Cél elérési útvonal
Cél elérési útvonal
Signup and view all the flashcards
Részcél
Részcél
Signup and view all the flashcards
Végső állapot
Végső állapot
Signup and view all the flashcards
Operátorok
Operátorok
Signup and view all the flashcards
Prekondiziok
Prekondiziok
Signup and view all the flashcards
Effektusok
Effektusok
Signup and view all the flashcards
Lépések sorozata
Lépések sorozata
Signup and view all the flashcards
Részcél függőség
Részcél függőség
Signup and view all the flashcards
Sussman anomália
Sussman anomália
Signup and view all the flashcards
Megoldás
Megoldás
Signup and view all the flashcards
Logikai nyelv
Logikai nyelv
Signup and view all the flashcards
Kölcsönösen kizáró akciók
Kölcsönösen kizáró akciók
Signup and view all the flashcards
Konzisztens terv
Konzisztens terv
Signup and view all the flashcards
Orderingszámok
Orderingszámok
Signup and view all the flashcards
Kölcsönösen kizáró állítások
Kölcsönösen kizáró állítások
Signup and view all the flashcards
Változókötések
Változókötések
Signup and view all the flashcards
Trendek a tervekben
Trendek a tervekben
Signup and view all the flashcards
Megoldás kinyerése
Megoldás kinyerése
Signup and view all the flashcards
Lépés
Lépés
Signup and view all the flashcards
Vacsoraparancs
Vacsoraparancs
Signup and view all the flashcards
Hatások
Hatások
Signup and view all the flashcards
Terv
Terv
Signup and view all the flashcards
Bővítések
Bővítések
Signup and view all the flashcards
Bővítések
Bővítések
Signup and view all the flashcards
Bővítések
Bővítések
Signup and view all the flashcards
Előfeltételek
Előfeltételek
Signup and view all the flashcards
Hatások
Hatások
Signup and view all the flashcards
Bővítések
Bővítések
Signup and view all the flashcards
Más megközelítések
Más megközelítések
Signup and view all the flashcards
Study Notes
Mesterséges Intelligencia - Tervezés
- A mesterséges intelligencia (MI) tervzési problémák kulcsfontosságú fogalmai ismertetése
- Az intelligencia fogalmának definiálása
- Ügynök modell
- Problémamegoldás kereséssel
- Információ nélküli keresési stratégiák
- Információval rendelkező keresési stratégiák
- Logika
- Propozicionális logika
- Prédikátum-logika
Tervezés - Tervszintű Vázlat
- Terv és keresés
- Szituációs kalkulus
- Részleges sorrendű tervezés
- Graphplan
Terv vs. Keresés
- Terv készítésének nehézségei a keresési stratégiák használatával
- Akciók leírása
- Követőállapotok meghatározásával
- Állapotok leírása
- Minden állapot pontosan meghatározott
- Cél leírása
- Célállapotok meghatározása (és a heurisztika)
- Terv leírása
- Akciók rögzített sorrendje, csak a kezdőállam vagy célállamból lehet elindítani
- Akciók leírása
Meghatározatlan Kezdőállapot
- Mi van, ha a kezdőállapot nem ismert pontosan?
- A keresés a mögöttes (atomi) állapotok halmaza felett zajlik
- Hatékonyság hiánya
- Exponenciális növekedés az atomi állapotok halmazainak a számában
Terv mint logikai keresés
- A klasszikus tervezési megközelítés: szituációs kalkulus
- FOPL leírás a releváns állapot- és akcióhalmazokról
- ATP egy terv megtalálásához
Szituációs Kalkulus
- Reifikáció: a helyzetek tárgyakként való kezelése
- Eredményfüggvény: az új állapot, amelyet egy akció a másik helyzetben végrehajtása hoz létre
- Hatás axiómák: egy akció hatása a világra
- Keret axiómák: mit nem változtat meg egy akció
Szituációs Kalkulusban Terv készítés
- Tételbizonyítás egy terv megtalálásához
- Célállapot: egy bizonyos státusz állapotban, adott tárgyat tartva
- Kezdőállapot: adott tárgyak hiánya, adott állapot
- Terv
Szituációs Kalkulus - Problémák
- A specifikus tervezési problémát általános tételbizonyítási problémává alakítani nem hatékony
- Exponenciális összetettség
- A terv optimális voltának nehéz értékelni
- Egy speciálisabb megközelítés a tervezési problémák tulajdonságainak kiaknázására
Speciális tervezési tulajdonságok
- Csatlakozás az akció és állapot leírásokhoz (keresés fókuszálás)
- Az akciók bármely sorrendbe való hozzáadása a tervhez
- Alproblémafüggetlenség
- A célok, állapotok és akciók leírására korlátozott nyelv
STRIPS: Stanford Kutatóintézet Problémamegoldó
- ~1971: Az első tényleges tervező rendszer
- Dobozok mozgatása szobák között
STRIPS reprezentáció
- Állapotok: alapvető logikai kifejezések halmaza
- Célok: logikai kifejezések halmaza
- Akciók (operátorok):
- Előzmények: logikai kifejezések
- Hatások: logikai kifejezések
STRIPS példa
- Akció
- Előfeltételek
- Hatások
- Cél
Tervezési algoritmusok
- Progressziós tervezők
- Regressziós tervezők
Tervezési térben keresés
- Helyzettér: progreszív és regresszív tervezők
- Tervtér: kezdő terv és lépések hozzáadása a cél eléréséig
- Tervezés sorrend független a végrehajtási sorrendtől
- Minimum elkötelezettség
Részleges sorrendű terv
- Lépések halmaza (operátor példány)
- Rendezéskorlátok
- Változó-meghatározási korlátozások
- Ok-következmények
Kezdő terv
- Lépések: {kezdés, befejezés}
- Rendezés: {kezdés < befejezés}
- Kezdő terv
Teljesség és következetesség
- Terv teljessége
- Terv következetessége
Részleges sorrendű terv (POP)
- Lépések
- Rendezéskorlátozások
- Változó meghatározási korlátozások
- Ok-következményi kapcsolatok
- POP algoritmus
- Kezdő terv létrehozása
- Ciklus, amíg a terv nem teljes
- Célok kiválasztása
Operátor kiválasztása
- Operátor kiválasztása a tervezési terven belül
- Lépések hozzáadása a tervhez
Fenyegetések feloldása
- Egy lépés fenyegeti egy ok-következményi vonalat
- Fenyegetések feloldása
STRIPS példa
- Akciók
- Előfeltételek
- Hatások
- Cél
- Kezdőállapot
Kiterjesztések
- Idő optimalizálások
- Diszjunktív előfeltételek
- Univerzális mennyiségek (a majdnem) előfeltételek és hatások
- Feltételes tervezés
Egyéb megközelítések
- Hierarchikus tervezés
- SATPlan
- FOPL-szerű tervezés
- Állapottér tervezők visszatérése
- Bizonytalanság bevezetése
- Világdinamikák tanulása
- Újra-tervezés
Tervezési gráf
- Lehetséges kimenetelek grafikonjának felépítése
GraphPlan algoritmus
- Iteratív mélységi kereséshez hasonló
- Tervgörbe létrehozása
- Megoldás keresése
- Ha sikeres, a terv visszatérése
- Ellenkező esetben k:= k+1
- Visszatérés 1 lépésre
Kölcsönösen kizáró akciók
- Két akció egymással együtt nem végezhető el
- Inkonzisztens hatások
- Beleavatkozás
- Versengő igények
Kölcsönösen kizáró javaslatok
- Két javaslat egymással együtt nem teljesíthető
- Ellentmondásos támogatás
- A javaslatok egymás megvalósítását lehetetlenné teszik
Trendek az új rétegekkel
- Javaslatok egyre nőnek
- Akciók egyre nőnek
- Javaslatok egymással való kizárásának növekedésének csökkenése
- Akciók egymással való kizárásának növekedésének csökkenése
Megoldás kibontása
- A tervben szereplő összes adat megjelenése és nem kizárása
- A szubcél megoldásának keresése
- Egy akció kiválasztása, amely megvalósítja a szubcélt
- Amennyiben más akciókkal ütközik, elutasítás
- Visszatérés a függőségek szintjére
Példa: vacsora randevú
- Kezdő állapotok: szemét, tiszta kéz, csend
- Cél: vacsora, jelenlét, -szemét
- Akciók:
- főzés
- előfeltétel: tiszta kéz
- hatás: vacsora
- csomagolás
- előfeltétel: csend
- hatás: jelenlét
- cipelés
- előfeltétel: -
- hatás: szemét ^ -tiszta kéz
- dolly: szemét ^ -csend
- főzés
Keresés egy megoldási terv után
Kiterjesztések
- Sok idő optimalizálása
- Diszjunktív előfeltételek
- Univerzális mennyiségek
- Feltételes tervezés
Egyéb megközelítések
- Hierarchikus tervezés
- SATPlan
- FOPL-szerű tervezés
- Állapottér tervezők visszatérése
- Bizonytalanság bevezetése
- Világdinamikák tanulása
- Újra-tervezés
Studying That Suits You
Use AI to generate personalized quizzes and flashcards to suit your learning preferences.
Related Documents
Description
Ez a teszt a mesterséges intelligencia tervezési folyamatait és kulcsfogalmait vizsgálja. Kérdések találhatók az ügynök modellek, a problémamegoldás stratégiák, valamint a logika különböző aspektusairól. Teszteld tudásodat a tervezési kihívások és stratégiák terén!