Mesterséges Intelligencia - Tervezés

Az on(x,y) azt jelenti, hogy az x blokk az y blokkra van helyezve.

A STRIPS nem képes időt, időtartamokat vagy határidőket reprezentálni.

A POP 'emberi-like' tervezésű, de lassú, míg a GraphPlan egyszerűsített, hatékony algoritmus.

<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

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

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

<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

<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

<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

<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

<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

<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

<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

<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

<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

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

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

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

<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

<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

<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

<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

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

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

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

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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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

<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