Ágensek bevezető áttekintés: 1. Racionális ágens megközelítés - racionális cselekvés = bizonyos hiedelmeket feltételezve, adott célok elérésére irányul - a cél = a környezet (környezeti feltételek) egy kívánatos állapota - környezet = nem hozzáférhető,... - ágens = folyamatosan intelligens rendszer, környezetébe ágyazottan működik, céljai érdekében a környezetét folyamatosan átalakítja - MI feladata: racionális gépi ágensek létrehozása és tanulmányozása 1
2. Az a másik ágens - hasznos, barát van számomra hasznos információja amit csinál, annak eredménye, nekem hasznos van erőforrása, ami kell és elkérhető van kapacitása (feltehetően szándéka is), hogy átvállal tőlem valamit - ellenség működésemet, funkcióimat megzavarja erőforrást elvesz információt ront, torzít, megsemmisít, - semleges majdnem minden környezetben a véges erőforrások miatt a lényeg Együttműködés Kommunikáció Konfliktus-feloldás 2
3. Esettanulmány: Szemantikus Világháló - információ volumene, geo-, időproblémák, információ földrajzi elosztottsága - tulajdonevolúció nincs kontroll alatt, minden szempontból heterogén - nyitott világ - változás üteme: napi, órás, perces (tőzsde), információ soha sem teljes - referenciális integritás hiánya: broken link szemantika? - változó minőség: belső inkonzisztencia, előre nem megjósolható felhasználás - többszörös tudásforrás: eltérő koncepcionálizálás - linkelés, másolás/ letöltés helyett: HREF hozzáférési ideje, 1 db axióma hozzáférési ideje, algoritmus komplexitás más alapokon robusztus következtetés: nem teljes, helyes, fokozatos romlás (erőforrások). információ minősége semmilyen vonatkozásban nincs kézben tartva - narrow casting - információ keresés biztosító ágens (supply) eredeti, közvetítő igénylő ágens (demand) alkusz ágens (broker) - információ eladása, vásárlása hatékony információ alkusz (intelligencia) - segítség a kérés megfogalmazásánál (ontológia,...), - információs források azonosítása, - kérés megválaszolásának megtervezése, - a terv végrehajtása, - a válaszok megadása kliensnek: (interpretált) - a válasz hogyan kapcsolódik a kéréshez, definíciók, alternatív kérések ötlete. 3
5. Én + mások = a szervezet Társadalom Szerepek R1 Ágensek Ágens A B B Szervezet R3 D C E R2 ágens szervezetek miért, mi célból, hogyan? kooperativitás miért, miből? konfliktusok forrása, szervezetek, kooperativitás és konfliktusok protokollok és nyelvek nyelv(ek) sajátosságai szabványosítás lehetősége logikai modellek ágensek személyisége nyelvek fejlesztése hordozhatóság biztonság, kívánt működés Taszkkörnyezet 4
6. Intelligens ágensekről részletesebben - gyenge tulajdonságok - kitartó (persistent) - folyamatosan konzisztens belső állapot - autonóm - kontroll a belső állapot és akciók felett, önálló - direkt beavatkozás nélkül - reaktív - érzékeli a környezetének változásait és reagál azokra - szociális - kapcsolatban áll emberekkel, ill. más ágensekkel - kommunikáló - képes információt cserélni, aktív, nemet is mondhat, lazán csatolt - kezdeményező: - (pro-active) cél-orientált, opportunista viselkedés - mobilis - képes helyről-helyre mozogni, megtartva saját belső állapotát kővetkeztető, tanuló, adaptív - párbeszéd - ágens megosztja-e a céljainkat és képes azokat megvalósítani? párbeszédre = intenciókat és képességek tisztázása párbeszéd eredménye a megegyezés (és eközben a logikai modellek építése) - igazmondás - nem hazudik, jóindulat - megkísérel teljesíteni mások kéréseit - rizikó és bizalom - ágens = a döntés és a felelőség kihelyezése rizikó és bizalom mérlegelése: alacsony riz. domén: pl. szociális kapcsolatok magas rizikójú domén: ágens kérdéses Kommunikáció is egy cselekvésfajta kikövetkeztethető, megtervezhető, Kommunikációnak szemantikus értelmezése van: az üzenetet meg kell érteni (kontextusában), miért jött, miért ilyen, hogyan kell rá reagálni ha cselekvésfajta, akkor vannak előfeltételei és következményei, mik azok? 2011 5
7. Erős ágens definíció... az ágens leírása olyan elvek alapján, melyeket többnyire emberekre alkalmaznak: tudás, vélemény, szándék, meggyőződés, kötelességtudat,... ágens elhisz dolgokat, szándékai vannak, kívánságai vannak,... ágensnek emocionális állapotai vannak: emocionális ágens mi a hiedelem, szándék, kívánság, emóció? miért kellene itt velük foglalkozni?
8. MAS Multi Agent Systems: elméletek, architektúrák és nyelvek - ágens modell (elmélet) - alapvetően logikai modellezni kell: lokális fejlesztés globális üzemeltetés döntés kihelyezés káros működés mobil ágens befogadó-befogadott biztonsága helyes következtetés kommunikáció alapján helyes kommunikáció következtetés alapján információs attitűd: tudás, hiedelem (belief) (miért ez a megkülönböztetés?) kölcsönös információs attitűd (azt hiszem, hogy ő tudja, hogy én azt hiszem,... miért kell?) pro-attitűd: kíváncsiság, szándék, kötelesség, kötelezettség, választás, kollektív pro-attitűdök (csoportszándék,..., stb. miért kell?) információs attitűdök (hozzáállások) modalitásai pro-attitűdök modalitásai (akar, nem akar, tervez,...) cselekvések reprezentációja (akció, épp benne van, már megcsinálta,...) idő reprezentációja (múlt, jelen, jövő, egymásutániság,...) - Cselekvések: fizikai kognitív kommunikatív 7
9. Ágens architektúrák - reaktív (ugrótábla) helyzet cselekvés - deliberatív (célorientált) valamilyen (1 rendű) logika - BDI Belief, Desire, Intention (gyakorlati humán következtetés, 1987) belief hiedelem információs attitűd, az ágens által rendelkezett információ reprezentálása. desire (goal) - kívánalom (cél) motivációs attitűd, célállapot explicit reprezentációja a cselekvés végrehajtásának az oka. intention (plan) szándék (terv) deliberatív attitűd, a cél elérésének eszközei a jövőbeli cselekvések - hibrid (réteges) reaktív deliberatív - emocionális modellező érzékelés tervező cselekvés reaktív mindenhol, mindenhez modális logikai modellek! Miért? 8
Modalitások (1' logika kiterjesztése): Júlia azt hiszi, hogy P, P = Holnap esni fog Szintaxis!? Naív és helytelen átírás: Hiszi(Júlia, P). Szemantika!? 1 logika állításai extenzív igazság-funkcionálok csak a komponensek igazságértéke, pl. A ÉS B P Hiszi(Júlia, P) Hiszi(Júlia, P) Hiszi(Júlia, P) Hiszi(Júlia, P) Hamis Hamis Hamis Igaz Igaz Igaz Hamis Igaz Hamis Igaz Júlia: optimista jól informált kötekedő pesszimista tudja Az érték nem függ a P állítás értékétől, csak Júlia tudásszerző képességeitől. Az 1' rendű logikát ki kell terjeszteni: - külső nyelv/ belső nyelv, Júlia azt hiszi, hogy holnap esni fog. Hiszi(Júlia, [holnap esni fog]). már két argumentumú predikátum de Hiszi(Júlia, [Hiszi(Béla, [ [ holnap esni fog] ]) ]). - modális logika: Hiszi Júlia holnap esni fog. Hiszi Júlia egy logikai operátor de mi a szintaxis, szemantika, mi a helyzet a teljességgel, a félig eldönthetőséggel? 2011 9
10
Üzenet Segítségkérés Tárgy: Egyetemi jegyzet Nyelv: Magyar Fogalmi rendszer: ELTE szleng Tartalom: (Gólyavár hely?x) Aha! Erre nincs időm Tipizált Üzenetváltó ágensek (Typed-Message agents): csoportként definiálva, csoportnak információt kell cserélnie a taszkok végrehajtásához ehhez megosztott protokollal kell rendelkeznie, ahol az üzenetszemantikának legalább egy részét tipizálni kell feladat független módon. Erre van esély! 11