Mesterséges Intelligencia - Tervezés
53 Questions
0 Views

Choose a study mode

Play Quiz
Study Flashcards
Spaced Repetition
Chat to Lesson

Podcast

Play an AI-generated podcast conversation about this lesson

Questions and Answers

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?

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?

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?

<p>A Move2T operátor az x blokkot a T asztalra mozgatja, feltéve, hogy x a y blokkra van helyezve és x szabad.</p> Signup and view all the answers

Milyen jellemzője van a GraphPlan algoritmusnak?

<p>A GraphPlan algoritmus iteratív mélységi keresést (DFS) hasonlít.</p> Signup and view all the answers

Mik a plán konszisztensek feltételei?

<p>A tervezés konzisztense, ha az ordering constraintek és a variable binding constraintek is konzisztensek.</p> Signup and view all the answers

Mit jelent a részben rendezett terv (POP)?

<p>A részben rendezett terv lépéseket, ordering constrainteket, variable binding constrainteket és causal linkeket tartalmaz.</p> Signup and view all the answers

Milyen lépéseket kell követni a POP algoritmus használatakor?

<p>Első lépésként kezdeti tervet kell készíteni, majd folytatni kell a plán teljesítményének ellenőrzését.</p> Signup and view all the answers

Hogyan válasszuk ki az operátort a POP során?

<p>Az operátort a plán egy lépésével, vagy egy új lépéssel választjuk ki, amely c-t mint hatást hoz létre.</p> Signup and view all the answers

Mik a fenyegetések (threats) a POP algoritmusban?

<p>A fenyegetés akkor áll fenn, ha egy lépés S veszélyt jelent egy causal linkre Si ®c Sj.</p> Signup and view all the answers

Mit jelent a fenyegetés megoldása a POP algoritmusban?

<p>A fenyegetés megoldása azt jelenti, hogy döntést hozunk a lépés promóciójáról vagy demóciójáról a tervezett sorrendben.</p> Signup and view all the answers

Mik a STRIPS példában alkalmazott akciók?

<p>A példában szereplő akciók közé tartozik a Buy(x, store) és a Go(x, y).</p> Signup and view all the answers

Mik a célok a STRIPS példában?

<p>A célok a Have(Milk) és a Have(Banana) valamint a Have(Drill) teljesítése.</p> Signup and view all the answers

Hogyan jön létre a causal link a POP folyamat során?

<p>A causal linket úgy hozunk létre, hogy összekötjük az operátor lépését a szükséges hatással.</p> Signup and view all the answers

Mik azok a változók, amelyek fenyegetést okozhatnak szituációkban?

<p>A változók fenyegetést jelentenek, ha bármely instantiation olyan feltételeket hoz létre, amelyek nem teljesülnek.</p> Signup and view all the answers

Mi a célja a Sussman anomáliának?

<p>A cél az, hogy elérjük az 'on(A,B) Ù on(B,C)' állapotot.</p> Signup and view all the answers

Milyen előfeltételek szükségesek a move(x,y,z) operátor végrehajtásához?

<p>A szükséges előfeltételek: 'on(x,y)', 'clear(x)', 'clear(z)'.</p> Signup and view all the answers

Hogyan kell értelmezni az 'At(HO)' állapotot?

<p>'At(HO)' azt jelenti, hogy a tárgy a 'HO' helyen van.</p> Signup and view all the answers

Mit jelent a 'clear(x)' predikátum?

<p>A 'clear(x)' predikátum azt jelenti, hogy az x objektum szabad, nincs rajta másik tárgy.</p> Signup and view all the answers

Milyen hatása van a 'Buy(M,SM)' lépésnek?

<p>A 'Buy(M,SM)' lépés végrehajtása után M megvásárlásra kerül a SM helyen.</p> Signup and view all the answers

Mit jelent az 'At(HW) Ù ØAt(HO)' kifejezés?

<p>Ez azt jelenti, hogy a HW helyen vagyunk és HO helyen nincs mit előzékenynek lenni.</p> Signup and view all the answers

Mi az az 'Eff' a move(x,y,z) operátor esetében?

<p>Az 'Eff' azt jelenti, hogy x most z-n van, y tiszta, és x már nincs rajta y-n.</p> Signup and view all the answers

Milyen objektumok szerepelnek a feladathoz tartozó gyakorlatban?

<p>Az objektumok A, B, C és T.</p> Signup and view all the answers

Mit jelöl a 'S(HW,D)' kifejezés?

<p>A 'S(HW,D)' jelenti, hogy a HW helyen D beszerzés alatt áll.</p> Signup and view all the answers

Mi a szerepe az 'on(x,y)' predikátumnak az operátorokban?

<p>Az 'on(x,y)' megmondja, hogy x tárgy y tárgyon van.</p> Signup and view all the answers

Mik a STRIPS rendszer állapotai és céljai?

<p>Az állapotok földliterálok konjunkciói, míg a célok literálok konjunkciói.</p> Signup and view all the answers

Mi a különbség a progresszív és a regresszív tervezők között?

<p>A progresszív tervezők a lehetséges akciók hatását vizsgálják egy adott állapotban, míg a regresszív tervezők azt nézik, hogy mi kellett, hogy igaz legyen az előző állapotban a cél eléréséhez.</p> Signup and view all the answers

Mik a probléma speciális tulajdonságai a tervezés során?

<p>Összekapcsolják az akció- és állapotleírásokat, független alkérdéseket integrálnak, és az igények, állapotok, akciók leírására szűkítik a nyelvet.</p> Signup and view all the answers

Mit jelent a részben rendezett terv fogalma?

<p>Olyan lépések halmaza, amelyek között rendelési és változó kötési korlátok, valamint okozati linkek szerepelnek.</p> Signup and view all the answers

Mi az a helyzet tér, és hogyan kapcsolódik a tervezéshez?

<p>A helyzet tér olyan állapotok halmaza, ahol a frissítések és akciók végrehajtásának különböző lehetőségeit mérlegelik.</p> Signup and view all the answers

Mik a tervezési algoritmusok fő típusai?

<p>A tervezési algoritmusok két fő típusa a progresszív tervezők és a regresszív tervezők.</p> Signup and view all the answers

Mik a STRIPS akciók preconditions és effects jellemzői?

<p>A preconditions a szükséges állapotokat, míg az effects az akciók következményeit reprezentálják.</p> Signup and view all the answers

Miért nem hatékony a helyzet kalkulus használata a tervezésben?

<p>Mert az exponenciális bonyolultság és a terv optimalitásának értékelési nehézségei miatt nem ideális megoldás.</p> Signup and view all the answers

Milyen nyelvi korlátozásokat kell figyelembe venni a tervezés során?

<p>A célok, állapotok és akciók leírására vonatkozó nyelvi korlátozások segíthetnek a problémák egyszerűsítésében.</p> Signup and view all the answers

Milyen követelményeknek kell teljesülniük egy terv teljességéhez?

<p>A tervnek teljesnek kell lennie, ha minden egyes lépés előfeltétele teljesül valamely más lépés által.</p> Signup and view all the answers

Hogyan definiálnád az intelligenciát a mesterséges intelligencia kontextusában?

<p>Az intelligencia a problémák megoldására való képesség, amely magában foglalja a tervezést és a keresést is.</p> Signup and view all the answers

Mi a különbség az informált és informálatlan keresési stratégiák között?

<p>Az informált keresési stratégiák felhasználják a célállapot közeli információkat, míg az informálatlanok nem támaszkodnak ilyesmire.</p> Signup and view all the answers

Mik a célállapotok és hogyan definiálhatók a tervezési folyamatban?

<p>A célállapotok a kívánt végső állapotok, amelyeket a tervezési folyamat során kell elérni, általában világosan definiáltak.</p> Signup and view all the answers

Mit jelent a cselekvések leírása a tervezési folyamat során?

<p>A cselekvéseket úgy írjuk le, hogy megadjuk a következő állapotokat, amelyeket ezek a cselekvések eredményeznek.</p> Signup and view all the answers

Mit értünk reifikáció alatt a helyzetkalkulusban?

<p>A reifikáció azt jelenti, hogy a helyzeteket tárgyakként kezeljük, és felhasználjuk őket predikátumok argumentumaiként.</p> Signup and view all the answers

Mi a hatásaxiomák szerepe a tervezési logikában?

<p>A hatásaxiomák meghatározzák, hogy egy cselekvés milyen hatást gyakorol a világ állapotára.</p> Signup and view all the answers

Hogyan definiálható a tervezés helyzetkalkulusban?

<p>A tervezés a helyzetkalkulus használatával tétel bizonyításon alapuló megközelítést jelent a tervezési feladatok megoldására.</p> Signup and view all the answers

Mik a keretaxiomák és milyen szerepet játszanak a helyzetkalkulusban?

<p>A keretaxiomák azt írják le, hogy a cselekvések végrehajtása során mi nem változik meg a világban.</p> Signup and view all the answers

Mik a kölcsönösen kizárt akciók jellemzői?

<p>A kölcsönösen kizárt akciók közé tartoznak az ellentmondásos hatások, zavarás és versengő igények.</p> Signup and view all the answers

Mik azok a kölcsönösen kizárt kijelentések?

<p>A kölcsönösen kizárt kijelentések ellentmondóak, vagy mindkét kijelentés elérése párhuzamosan kizárt a korábbi szint szempontjából.</p> Signup and view all the answers

Mi a szerepe a megoldás kinyerésének az akciók szintjein?

<p>Ha az összes literális elem a célnál a legmélyebb szinten található és nem kölcsönösen kizárt, akkor keresni kell a megoldást minden al-célra az akciók szintjén.</p> Signup and view all the answers

Mik a lépések egy étkezés tervezése során, ha a kiindulási feltételek a 'garbage', 'cleanHands', és 'quiet'?

<p>Először is, főzzük meg az ételt a 'cleanHands' előfeltétel teljesítésével, majd csomagoljuk be az ételt a 'quiet' előfeltétel segítségével.</p> Signup and view all the answers

Hogyan befolyásolja a kölcsönösen kizárt akciók megléte a tervezést?

<p>A kölcsönösen kizárt akciók jelenléte arra kényszeríti a tervezőt, hogy más akciókat válasszon, mivel az egyes akciók nem hajthatók végre párhuzamosan.</p> Signup and view all the answers

Mik azok az ellentmondásos hatások az akciók esetén?

<p>Az ellentmondásos hatások olyan helyzetek, amikor az egyik akció hatása ellentétes a másik akció hatásával.</p> Signup and view all the answers

Milyen folyamatokat támogathat a hierarchikus tervezés?

<p>A hierarchikus tervezés lehetővé teszi a bonyolult feladatok lebontását egyszerűbb részekre, segítve a megoldási lehetőségek gyorsabb megtalálását.</p> Signup and view all the answers

Mik a versengő igények és hogyan befolyásolják a tervezést?

<p>A versengő igények olyan előfeltételek, amelyek kölcsönösen kizárják egymást, ezzel megnehezítve a megoldási lehetőségeket.</p> Signup and view all the answers

Milyen szerepet játszanak a diszjunktív előfeltételek a tervezési folyamat során?

<p>A diszjunktív előfeltételek lehetővé teszik a választható akciók szélesebb spektrumát, javítva a rugalmasságot a tervezési intézkedések során.</p> Signup and view all the answers

Mi a célja az állapot-tere tervezésnek?

<p>Az állapot-tere tervezés célja a bonyolult tervezési problémák egyszerűsítése a lehetséges állapotok és akciók vizsgálatával.</p> Signup and view all the answers

Flashcards

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á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

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

Egy algoritmus, amely a tervezési gráfot felhasználva keres megoldást. Felépít egy gráfot, keres a megoldást benne, és ha nem találja, bővíti a gráfot.

Signup and view all the flashcards

GraphPlan algoritmus és a mélységi keresés

A GraphPlan algoritmus hasonló az iteratív mélységi kereséshez (DFS), de a tervezési gráfot használja a megoldás megtalálására.

Signup and view all the flashcards

Tervezés

A plan is a sequence of actions leading to a goal state. This concept helps to understand how AI systems plan and achieve desired outcomes.

Signup and view all the flashcards

Kezdeti állapot

A kezdeti állapot a probléma kiindulási pontját írja le. Ez tartalmazza a releváns objektumok, helyzetek és attribútumok kezdeti értékeit.

Signup and view all the flashcards

Célállapot

A célállapot a probléma megoldásának kívánt állapotát jelenti. Ez tartalmazza azokat a feltételeket, amelyeknek teljesülniük kell ahhoz, hogy a probléma megoldódjon.

Signup and view all the flashcards

Szituációkalkulus

A szituációkalkulus egy logikai formálisizmus a világ állapotainak és a változásoknak a leírására. Ez egy olyan eszköz, amely segít megérteni a dinamikus rendszerek állapotait és a rájuk ható változásokat.

Signup and view all the flashcards

Műveletleírás

A művelet leírása egy olyan szabály, amely meghatározza, hogy egy adott művelet hogyan befolyásolja a világ állapotát. Ez lehetővé teszi a rendszer számára, hogy megjósolhassa a műveletek hatását.

Signup and view all the flashcards

STRIPS

A STRIPS (Stanford Research Institute Problem Solver) egy olyan tervezési rendszer, amely a műveletek hatásainak leírására és a célállapot eléréséhez szükséges műveletek megtalálására szolgál.

Signup and view all the flashcards

Regressziós tervező

A regressziós tervező algoritmus a célállapotból indul ki, és visszafelé dolgozik a kezdeti állapotig, meghatározva azokat a műveleteket, amelyek szükségesek a cél eléréséhez.

Signup and view all the flashcards

Progresszív tervező

A progresszív tervező algoritmus a kezdeti állapotból indul ki, és a célállapot eléréséhez szükséges műveleteket alkalmazza.

Signup and view all the flashcards

Tervterület

A tervterület egy olyan absztrakt tér, amely a lehetséges tervek halmazát tartalmazza. A tervezési algoritmusok ebben a térben keresnek optimális tervet.

Signup and view all the flashcards

Részben rendezett terv

A részben rendezett terv egy olyan terv, amelyben a műveletek sorrendje nem teljesen rögzített. Ez lehetővé teszi a tervezési algoritmusok számára, hogy rugalmasabban dolgozzanak, és több alternatívát fontolján meg.

Signup and view all the flashcards

Mi a tervezés?

A plan is a sequence of actions that transforms an initial state into a goal state. The plan is described by the initial and goal states, as well as the available actions.

Signup and view all the flashcards

Mi a tervezés keresési perspektívából?

A problémamegoldás a keresési algoritmusok alkalmazásával történő tervezési probléma megoldása. A keresési algoritmusok megkeresik a legjobb megoldást az összes lehetséges megoldási útvonal között.

Signup and view all the flashcards

Miért probléma a keresés a tervezésben?

A keresés tervezési probléma megoldására történő alkalmazása kihívást jelent, mivel a cselekvéseket nehezen lehet leírni, és a keresési térben egymástól független állapotokat kell meghatározni. Emellett a célok definiálása és a terv leírása is nehézkes.

Signup and view all the flashcards

Mi a helyzetkalkulus?

A helyzetkalkulus egy klasszikus megközelítés a tervezéshez, amely a FOPL (First-Order Predicate Logic) segítségével írja le az állapotokat és cselekvéseket. A kalkulus felhasználja a tételbizonyítási módszert a terv megtalálásához.

Signup and view all the flashcards

Mi a reifikáció?

A reifikáció lehetővé teszi a helyzetek kezelését objektumként, és a predikátumok argumentumaiként történő használatát. Például a At(Agent, Room 13, s8) azt jelenti, hogy az ügynök a Room 13 helyiségben van az s8 szituációban.

Signup and view all the flashcards

Mi a Result függvény?

A Result függvény megadja az új helyzetet, amely egy adott cselekvés végrehajtása után jön létre. Például a Result(StandUp, s1) = s3 azt jelenti, hogy a StandUp cselekvés végrehajtása az s1 szituációban az s3 szituációt eredményezi.

Signup and view all the flashcards

Mi az effektus axióma?

Az effektus axiómák meghatározzák, hogy milyen hatást gyakorol egy cselekvés a világra. Például az " x.s.Present(x,s) Ù Portable(x) → Holding(x, Result(Grab, s)) axióma azt jelenti, hogy ha egy tárgy jelen van (Present) és hordozható (Portable), akkor megragadása (Grab) után az ügynök tartja (Holding) azt.

Signup and view all the flashcards

Mi a keret axióma?

A keret axiómák leírják, hogy mely tulajdonságok nem változnak meg a cselekvés végrehajtása során. Például a " x.s.color(x,s) = color(x, Result(Grab, s)) axióma azt jelenti, hogy egy tárgy színe (color) nem változik meg megragadása során.

Signup and view all the flashcards

Cél elérési útvonal

A cél elérése érdekében szükséges lépések halmaza. Ezek a lépések, amelyek a kezdeti állapotból a végső állapotba visznek, a probléma megoldásához vezető útvonalat jelölik ki.

Signup and view all the flashcards

Részcél

Egy probléma megoldása során a cél elérése közben felmerülő részcélok, amelyeket a probléma megoldásához meg kell oldani.

Signup and view all the flashcards

Végső állapot

A végső állapot a probléma megoldásának célja, az a helyzet, amelyet el kell érni.

Signup and view all the flashcards

Operátorok

Az operátorok azok a műveletek, amelyeket a problém megoldásához alkalmazhatunk, a kezdeti állapotból a végső állapotba jutáshoz.

Signup and view all the flashcards

Prekondiziok

A prekondiziok azok a feltételek, amelyeknek teljesülniük kell ahhoz, hogy egy operátort végrehajthassunk.

Signup and view all the flashcards

Effektusok

Az effektusok azok a változások, amelyeket egy operátor végrehajtása eredményez, a kezdeti állapot módosulása.

Signup and view all the flashcards

Lépések sorozata

A probléma megoldása során az operátorok végrehajtása által létrejövő lépések sorozatát nevezzük.

Signup and view all the flashcards

Részcél függőség

A megoldás során felmerülő részcélok között fennálló kölcsönös függőség, amikor egy részcél elérése függ egy másik részcél megoldásától.

Signup and view all the flashcards

Sussman anomália

Egy olyan probléma, amelyben a részcélok megoldása nem független egymástól, és a megoldáshoz speciális stratégiára van szükség.

Signup and view all the flashcards

Megoldás

A probléma megoldása során az operátorok alkalmazása révén a kezdeti állapotból a végső állapotba vezető út.

Signup and view all the flashcards

Logikai nyelv

Egy logikai nyelv, amelyet a probléma megoldásához felhasználunk, a probléma állapotát és az operátorokat reprezentálja.

Signup and view all the flashcards

Kölcsönösen kizáró akciók

Két akciópéldány mutex, ha hatásuk inkonzisztens, vagy egyik akció törli a másik előfeltételét, vagy pedig egymásra eső szükségleteik vannak.

Signup and view all the flashcards

Konzisztens terv

A terv akkor konzisztens, ha az orderingszámok és a változókötések konzisztensek.

Signup and view all the flashcards

Orderingszámok

A terv lépéseinek sorrendjét meghatározó feltételek. Például, az A lépésnek a B lépés előtt kell elvégezni.

Signup and view all the flashcards

Kölcsönösen kizáró állítások

Két állítás mutex, ha negációk, vagy az előfeltétel szintjein nem található egyetlen sem mutex előfeltétel

Signup and view all the flashcards

Változókötések

A terv változóinak értékét meghatározó feltételek. Például, az X változó értéke Y-nak kell lennie.

Signup and view all the flashcards

Trendek a tervekben

A tervekben lévő állítások és akciók száma a rétegek mélyebbre haladtával növekszik, míg az mutex kapcsolatok száma csökken.

Signup and view all the flashcards

Megoldás kinyerése

Ha a célállítások a legmélyebb szinten találhatók, és nem mutexek , akkor kereshetünk megoldást minden alcélra a legmélyebb szinten.

Signup and view all the flashcards

Lépés

Része a tervnek, amelyet a cél eléréséhez végre kell hajtani. Lehet, hogy egy lépés egy operátor példányosítása.

Signup and view all the flashcards

Vacsoraparancs

A cél: vacsora, ajándék, nincs szemét. Van szemét, tiszta kéz és csend. A müveletek: főzés (tiszta kéz – vacsora), becsomagolás (csend – ajándék), hordás (- – nincs szemét, nincs tiszta kéz), tolás (- – nincs szemét, nincs csend).

Signup and view all the flashcards

Hatások

A múltbeli változások következményei.

Signup and view all the flashcards

Terv

A cél eléréséhez szükséges lépések sorrendje.

Signup and view all the flashcards

Bővítések

Számos időoptimalizálás

Signup and view all the flashcards

Bővítések

A predikatumok diszjunkciói

Signup and view all the flashcards

Bővítések

Sok esetben lehet olyan predikatumot vagy hatást adni, amely mindenre érvényes

Signup and view all the flashcards

Előfeltételek

Az operátorok végrehajtásához szükséges feltételek listája.

Signup and view all the flashcards

Hatások

Az operátorok végrehajtásakor bekövetkező változások listája.

Signup and view all the flashcards

Bővítések

A feltételes tervezés lehetővé teszi, hogy a feltétel teljesülése alapján különböző műveletek legyenek végrehajtva.

Signup and view all the flashcards

Más megközelítések

A hierarchikus tervezés lehetővé teszi, hogy a tervezést szintekre oszlassuk.

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

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

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.

Quiz Team

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!

More Like This

The Future of Family Planning and Healthcare
3 questions
Action Planning in AI
18 questions

Action Planning in AI

BrainiestLithium avatar
BrainiestLithium
Use Quizgecko on...
Browser
Browser