2012 Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

1

- 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

Ágensek – bevezet ő áttekintés:

1. Racionális ágens megközelítés

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

2

2. Az a másik ágens

- „hasznos”, „barát” van számomra hasznos információja

amit csinál, annak eredménye, nekem hasznosvan 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 megzavarjaerőforrást „elvesz”információt ront, torzít, megsemmisít, …

… - „semleges”

majdnem minden környezetben a véges erőforrások miatt

Együttműködés Kommunikáció Konfliktus-feloldás

a lényeg

2012

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

3

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.

2012

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

4

5. Én + mások = a szervezet

Társadalom

Szervezet

R1 R2R3

AB

CD

E

B

Taszkkörnyezet

Szerepek

Ágensek

Ágens

á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égelogikai modellek

ágensek személyiségenyelvek fejlesztése hordozhatóságbiztonság, kívánt működés

2012

2011 Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

5

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átkő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?

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?

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

7

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ésmobil ágens ←→ befogadó-befogadott biztonságahelyes következtetés ←→ kommunikáció alapjánhelyes 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 ”

2012

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

8

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

modellezőérzékelés tervező cselekvés

reaktív- emocionális

mindenhol, mindenhez modális logikai modellek! Miér t?

2012

2011 Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

9

Modalitások (1' logika kiterjesztése): Júlia azt hiszi, hogy P , P = Holnap esni fogSzintaxis!? 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átumde Hiszi(Júlia, [Hiszi(Béla, [ [ holnap esni fog] ]) ]).

- modális logika: HisziJúlia holnap esni fog. HisziJúlia – egy logikai operátor

de mi a szintaxis, szemantika, mi a helyzet a teljességgel, a félig eldönthetőséggel?

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

102012

Kooperatív és Tanuló Rendszerek DT-HG, BME-MIT

11

Segítségkérés

Tárgy: Egyetemi jegyzetNyelv: MagyarFogalmi rendszer: ELTE szleng…Tartalom: (Gólyavár hely ?X)

Üzenet

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!

2012