2012 Kooperáció és intelligencia, Dobrowiecki T., BME-MIT 1 Kooperáció és intelligencia kis HF-ok/ 2012.

Az előadások a következő témára: "2012 Kooperáció és intelligencia, Dobrowiecki T., BME-MIT 1 Kooperáció és intelligencia kis HF-ok/ 2012."— Előadás másolata:

1 2012 Kooperáció és intelligencia, Dobrowiecki T., BME-MIT 1 Kooperáció és intelligencia kis HF-ok/ 2012

2 20122 Kis HF-1: Iteratív VH protokoll implementálása Iteratív VH protokollban menedzser ágens újszerű módon ismételten dekomponálja a feladatot és ír ki versenytárgyalást, ha nem elégedett az eddig beküldött ajánlatokkal. A protokollban 1 db MA menedzser- és 3 db SA1…3 vállalkozó ágens vesz részt. A feladat egy egységnyi hosszúságú bot átfestése 1, 2, vagy 3 színre, és a dekompozicíója egy (a%, a-szín, b%, b-szín, c%, c-szín) vektor. Minden vállalkozó rendelkezik valamilyen színű festékkel (több vállalkozó ugyanilyen festékkel is rendelkezhet), ami a bot legfeljebb 40%-nak megfestésére elég. Egy ajánlás elfogadható, ha színben egyezik és elegendő a kívánt botszakasz megfestésére. Megjegyzés: - Legyen egy-egy SA ágens „képessége”, hogy milyen színű feladattal képes elbánni. Ez el van raktározva az ágens hiedelmei között, pl. tud(Piros). tud(Kék). - Az MA ágensnek nem a feladata egy „optimális” dekompozicíót megtanulni. Elegendő csupán, hogy észrevegye, hogy a felajánlások számára nem jók és egy másik (akár random módon) feladatbontással kísérletezik. Elvárható határidő: 2012. február 15. Kooperáció és intelligencia, Dobrowiecki T., BME-MIT

3 20123 Kis HF-2: Elosztott következtetés 1 db. szervező SA és 3 db. következtető KA ágens következtet közösen együtt. KA1 azt tudja, hogy: ha nyuszi-kicsi és nyuszi-egeszseges, akkor nyuszi-ok. KA2 azt tudja, hogy: ha erkely-van és kert-van, akkor lakas-ok. KA3 azt tudja, hogy: ha nyuszi-ok ÉS lakas-ok, akkor allattartas-ok. A szervező meghirdet KA ágensek felé néhány tényt a premisszákban előforduló tényekből és vagy egy üres kérdést tesz fel, vagy valamelyik konkrét következményre rákérdez. Üres kérdés esetén az KA ágensek kötelesek előrefelé láncolva következtetni, a keletkező következményeket egymásnak átadva, amíg haladás tapasztalható. Nem üres kérdés esetén az KA ágensek kötelesek a kérdéstől hátrafelé láncolva következtetni és a kívánatos premisszákat feladatul tovább adni, amíg az ismert tényekig nem jutnak el. Ilyenkor a felismerés láncát a kérdés felé kell pörgetni, hogy a kérdést felvető ágens bebizonyosodjon a válasz helyességéről. Minden következtetési és kommunikációs lépést kiíratással kell követhetővé tenni. Ötlet: a helyes kommunikáció kialakításához legjobb a folyamatot először papíron végig követni. Elvárható határidő: 2012. február 22. Kooperáció és intelligencia, Dobrowiecki T., BME-MIT

4 20124 Kis HF-3: Alkusz (mediátor) protokoll Információkeresés problémája, hogy A CIMZETT (az információ helye) NEM ISMERT, ami elvezet a „lekérdezés címzett nélkül” mediátor protokollhoz. A protokoll az alábbi: (a tényleges címzettet és a nyelvezetét az alkusz ismeri, az ontológia szerver képes ágensek közt „tolmácsolni”) Igénylő ágens → kérés → Alkusz Alkusz → továbbítás → Ontológia-szerver Alkusz ← „lefordított kérés” ← Ontológia-szerver Alkusz → kérés → (Információforrás) ágens Alkusz ← válasz ←(Információforrás) ágens Igénylő ágens ← továbbítás ← Alkusz Legyen adva egy információigénylő, egy alkusz, egy ontológia szerver, és két információforrás. Információforrások virágok nevét és színét, ill. állatok nevét és bőrmintázatát szolgáltatják felkérésre, angolul, ill. németül (egy forrás csak a saját nyelvén érti a kérdést!). Az alkusz le tudja kérdezni az információ forrásokat, hogy azok mit és milyen nyelven tudnak. Az információigénylő egy virág/állat magyar nevével, annak színéről/mintázatáról érdeklődve fordul az alkusz felé, amely megvizsgálja, hogy ki tud erre választ adni, majd a nyelvének megfelelően a felkérést lefordíttatja az ontológia szerverrel, helyes nyelven rákérdez az információra, és a választ az ontológia szerverrel újra lefordítva, továbbítja a várakozó ágens felé. Minél egyszerűbb tudásreprezentációra törekedjenek! Elvárható határidő: 2012. február 29. Kooperáció és intelligencia, Dobrowiecki T., BME-MIT

5 Kis HF-4: Mozgó pont tanulás 2 db szimmetrikus felépítésű A és B ágens egymással kommunikál: „tell Fekete”, „tell Fehér” ütemezett üzenetekkel. Ágensenként az üzenetek (színtartalom) generálása az ágens Fekete/Fehér véletlen generátorától függ, aminek beállítása induláskor: Prob(Ág,” Fekete”) = K/N, Prob(Ág,”Fehér”) = (N-K)/N, N egy nagy szám és K A ágens esetén egy nagy, B ágens esetén egy kicsi szám (A ágens inkább “Feketét” mond, B ágens pedig “Fehéret”). 0 < K(A), K(B) < N, K(A) ~ N, K(B) ~ 0 Üzenetek vételekor az ágensek felülbírálják a saját véletlen generátoraikat: „Fehér” üzenetek vételekor: K = K - 1(0  korláttal) „Fekete” üzenetek vételekor: K = K + 1(  N korláttal) A feladathoz tartozik egy GUI is, amelyen követni kell a K/N alakulását, mindkét ágensnél. Határidő: 2012. március 7. Kooperáció és intelligencia, Dobrowiecki T., BME-MIT 2012

6 Kooperáció és intelligencia, Dobrowiecki T., BME-MIT 2012 Kis HF-5: Szavazási protokollok Tervezze 4-5 ágenst, akikből mindegyike állítható létszámú szavazói csoportot képvisel, szintén állítható preferenciasorral (5 jelöltre szavazva). A szavazást lebonyolító ágens begyűjti a szavazatokat és 4-féleképpen számítja ki a szavazás eredményét: - Először meghirdeti, hogy a szavazásban megszületett-e a Condorcet-győztes, - Majd kiszámítja a Borda-győztest, - Majd a kétfordulós győztest, - Végül a virtuális többfordulós (Single Transferable Vote, STV) győztest. Megoldás beküldési határidő: március 14.

7 Kis HF-6: Együttműködés tervek cserével Tervezze 1 menedzserből és 2 vállalkozóból álló ágensközösséget. Az egyik vállalkozó tetszőleges méretű számhalmazt összeadni tud, és a feléje küldött N db összegzendő számra azok összegével válaszol. A másik vállalkozó szorozni tud, a feléje küldött N db összeszorzandó számra azok szorzatával válaszol. Nincs gond, amíg a menedzser az ágenseket nem téveszti össze. Ha azonban a menedzser a felkérését rossz ágensnek küldi (az összeadást a szorzó ágensnek, vagy a szorzást viszont az összeadó ágensnek), akkor az ágensek nem adják fel. Megérdeklődnek kölcsönösen, hogy a társuk rendelkezik-e a felkérés lekezeléséhez szükséges tervvel, ha igen, elkérik tőle, és az átvett tervet végrehajtva, a felkérésekre helyesen válaszolnak. Megoldás beküldési határidő: március 21. 2012 Kooperáció és intelligencia, Dobrowiecki T., BME-MIT

8 Kis HF-7-8: Feladatmegosztás szekvenciális aukcióval Tervezzen egy (0,N), N=20-30, rácsvilágot mutató GUI-t, ahol a rácspontjaiban 3-4 ágens helyezkedik. A rácsra véletlen módon sorsolunk 15-20 taszkot. A taszkok nehézsége a rácsban számított euklideszi távolsággal mérendő. A licit alapja a MinSum team optimum, ill. a beszúrásos heurisztika. A szekvenciális aukció egyes köreit klaviatúrából lehessen indítani. A GUI-n látszódjon az ágensek és a taszkok pozíciója (valamilyen jellegzetes ikon), ill. az aukcióból nyert hozzárendelése (pl. megfelelő színkódolással). Jó lenne megjeleníteni ágensenként a megnyert taszkjainak szekvenciáját is (a rácspontok összekötésével). Megoldás beküldési határidő: a szorgalmi időszak vége. 2012 Kooperáció és intelligencia, Dobrowiecki T., BME-MIT