Kooperat

1
Kooperatív és Tanuló Rendszerek4.
Beszédaktusoktól ACL-igDobrowiecki
TadeuszHorváth Gábor
2
Mi kell a kooperáló ágenseknek? Egy jó
nyelv! Formátum deklaratív, ember által
olvasható, tömör, egyszeruen generálható és
elemezheto, lineáris (bitfolyamhoz
illeszkedo) Tartalom külön kommunikációs
nyelv kommunikációs cselekvés kifejezésére
tartalom nyelv tények
kifejezésére több tartalom nyelv!?
rugalmasság (független fejlesztés)
kommunikatív cselekvések - teljesen
szabadon? - valamilyen primitív
elemkészlet (honnan?) Szemantika (kommunikációs
nyelvhez) általában természetes nyelven, de
számos más lehetoség, primitív elemkészlet?
protokollok kötelezo megértése egy
(logikai) elméletbe beágyazva, egyértelmu,
kanonikus (jelentés ? reprezentáció) térben
és idoben elosztott kölcsönhatások miatt,
külön figyelem a hely és ido miatt,
Implementálás hatékony, illeszkedés a létezo
technológiákhoz, részleges implementáció
lehetosége (egyszeru ágensek)
3
Mi kell a kooperáló ágenseknek? Egy jó
nyelv Hálózati technológiák megszokott
kapcsolatok támogatása (pont-pont, multicast,
broadcast), szinkrón-aszinkron kapcsolat
támogatása, kelloen gazdag elemkészlet
magasabb szintu protokollok megvalósításá
hoz, magasabb szintu protokollok függetlensége
a szállító mechanizmustól (TCP/IP, email,
http, stb.) Környezet nagy mértékben elosztott,
heterogén, igen dinamikus a nyelvnek erre
készülnie kell, más nyelvekkel és
protokollokkal való kölcsönös használat,
tudásbányászat támogatása kiterjedt
hálózatokban, könnyen ragasztható örökölt
rendszerekhez Megbízhatóság megbízható és
biztonságos ágens kommunikáció támogatása,
biztonságos és privát tranzakciók, ágens
azonosítása, mechanizmus hibák azonosításához
és figyelmeztetések jelzéséhez.
4
Beszédaktusok (Speech Acts) Természetes nyelvbol
logika 2000 év, a nyelv szerepe, mint
igaz/hamis kijelentések a világról
hiba! Sztoikusok, Diogenes Laertius (200 AD
500 AD?) Kimondás állítás, igen/nem kérdés,
infót kéro kérdés, utasítás, eskü, kikiáltás,
... J.L. Austin (1911-1960), Harvard Egyetem,
1955 eloadás sorozat, halála után kiadva
(1962) How to Do Things with Words nyelv
eszköz konstativum (a világ állását konstatáló)
megnyilatkozás konstatál verifikál,
kijelent performativum kimondás
csinálás nem igaz/hamis megnyilatkozás a
világról logikai értéke nincs, maga a
világállapot (létrehozása) Ennek a hajónak én a
Dundi nevet adományozom a megnyilatkozás a
tartalmának megfelelo valódi állapotot hoz létre,
önhivatkozó
5
Beszédaktusok (Speech Acts) Ígérem, adok neked
100 Ft-t Ígéretek teszek. A használt szavak
létesítettek egy ígéretet. Ilyen, vagy hasonló
szavak nélkül nincs ígéret. Egy kutya áll a
sarkon az ablakból kinézve beszámolok róla
kijelentés, állítás kutyától félo ismerosemnek
figyelmeztetés kutyabarát kutyáját sétáltató
ismerosemnek tanács .. Beszédaktusok - a
természetes nyelv pragmatikus elmélete, avagy nem
a nyelv felépítését, hanem a használatát
magyarázó elmélet. Az alap premissza        
- kimondott mondatok, mondatfoszlányok is
egyfajta cselekvések!         - a beszélonek
tipikusan szándéka van, hogy a megnyilatkozása
révén a világ (környezet) valamilyen
megváltoztatását érje el,         - a
megnyilatkozások a fizikai cselekvések mintájára
befolyásolják a fizikai valóságot  is.
6
Beszédaktusok (Austin, 1962) Beszélve egy
ágens 3 fajta cselekvést hajt végre lokuciós
aktus (locutionary act) (beszéd cselekedet) a
kommunikatív cselekvés puszta ténye
a szintaktikailag helyes
beszédtöredék kimondása, illokuciós aktus
(illocutionary act) szándékhatás        
performativ ige által, pl. felkér, informál,
követel, állít, ragaszkodik, megállapodik,
figyelmeztet, parancsol,
.         szándékható ero,
illokuciós ero (illocutionary force) fontos
pl. hogy kitol jön? (király kérése parancs)
ettol függ a megnyilatkozás
illokuciós erejének az erossége. perlokuciós
aktus (prelocutionary act) a valódi hatás
kieszközölése a hallgatón. Ez a hatás, amit a
beszélo megnyilatkozása a beszédaktus során a
hallgatóra valóban gyakorol.
7
Beszédaktusok (Austin, 1962) A beszéd
kijelentés egy cselekvés végrehajtása (egy
performativum) és mint minden cselekvés
sikerülhet, vagy sem. (Emlékezzünk egy STRIPS
operátor elofeltételeire és következményeire) Per
formativa sikeres teljesítése (un. boldogulási)
feltételekhez van kötve     elfogadott szokásos
procedúra, specifikált körülmények, személyek,
korrekt, maradéktalan végrehajtás,
oszinte, minden következményét vállalni kell,
pl. 'ki van utasítva' egy bíró szájából egy
performativa, de egy kollégától  nem.
A jelentésrol jelentés a lokució értelme,
hivatkozása illokuciós aktus ereje a
megnyilatkozás konvenció szerinti alkalmazása
a szándékható erot a társadalmi konvenció
köti a megnyilatkozáshoz az értelmet a
nyelvi konvenció köti a megnyilatkozáshoz Pl.
Ígérem, hogy holnap segítek festeni a
kerítést. Ígérem, hogy holnap segítek festeni a
kerítést. beszéd által hivatkozom magamra,
orá, cselekvésre, idore, Ígérem, hogy holnap
segítek festeni a kerítést. a szándékható ero
tisztázása, lehetne gondolom, sejtem,
álmodtam, (felvállalás megnyilatkozása)
8
Beszédaktusok (Searle, 1969) A szavaknak,
mondatoknak nincs önálló jelentésük, csak a
kommunikatív aktusnak van jelentése, a beszélo
és a hallgató cselekvése köti a jelentést a
szavakhoz és beszéd-töredékekhez. Beszéda
ktusok (BA) és a feltételrendszerük A
kiinduló premissza az, hogy egy párbeszéd, egy
beszélgetés nem más, mint egy szabály
alapú viselkedés. A beszédaktusok
struktúrája a szükséges és elégséges feltételek
rendszere. Boldogulási (felicity) feltételek -
a BA definiálása - az alap, mely szerint
történik a BA értékelése. Sikeresen, helyesen,
helytelenül alkalmazott BA
9
Beszédaktusok (Searle, 1969) Nézzük pl. a
felkérés esetét B(Beszélo) beszél, és ezzel
a H(Hallgató)-t szeretne a C(Cselekvés)-re
rávenni. ítélettartam feltételek a kiejtett
szavak mondanak valamit a világról, felkérésnél
találni kell pl. a jövobeli cselekvésekre
vonatkozó szavakat. normál I/O feltételek H
képes meghallani a kérést, készültségi
feltételek (preparatory conditions) minek kell
igaznak lennie a világban ahhoz, hogy B éppen
egy ilyen kéréshez  folyamodjon, pl. H képes
kell, hogy legyen C-re, B-nek hinnie 
kell, hogy H képes C-t megcsinálni, ne
legyen  világos, hogy H úgyis megteszi a C-t B
külön kérése nélkül. oszinteségi feltételek
(sincerity conditions) pl. nem oszinte, ha B 
igazából nem akarja, hogy C megtörténjen.
lényegi feltételek (essential conditions)
kísérlet B részérol, hogy C-re vegye rá H-t.
10
Beszédaktusok (Searle, 1969) Searle megalkotta a
teljes feltételrendszert az alábbi esetekre    
- kijelenteni, kérdezni, köszönni, tanácsolni,
figyelmeztetni, üdvözölni, gratulálni,
.. Illokuciós aktusok osztályozása     -
reprezentativumok a beszélot köti a
kimondottakhoz, a világ állapotát képviselik,
pl megnyilatkozások, követelések, leírások,
.......     - direktivumok kísérlet beszélo
részérol, hogy a hallgató csináljon valamit,
pl. utasítások, felkérések, kívánságok,
könyörgések, ...     - kommisszivumok beszélot
köt meg egy akciósorozathoz, pl. ígéretek,
fenyegetések, fogadalmak, ...     -
expresszivumok beszélo lélektani állapotának a
kifejezése, pl. üdvözlések, gratulálások,
köszönések, elnézéskérések, ...     -
deklarációk maguk jelentik változást a dolgok
állapotában, pl. házasságkötés, megnevezés,
áldás, letartoztatás, ... - verdikátivumok.
ítéletet adnak át, vagy értékelik pl. ítélkezés,
megbocsátás, engedélyezés, ....
11
Beszédaktusok (Searle, 1969) A helyesség
gradációja - sikertelen teljes BA elmulasztása,
BA nem történt meg - hibás BA megtörtént, de
nem teljesen korrekt módon Letörölték a táblán
egy fontos feljegyzés erre egy ironikus Köszi
szépen! Egy köszönet BA történt meg?
feltételek sérültek készültségi A B nem hiszi,
hogy a H cselekvése hasznos volt a B számára.
oszinteségi A B nem méltányolja a H
cselekvését. a lényegi feltételek megsértése
teljes sikertelenséghez vezet - Visszaadod
holnap, amivel tartozol? - Igen. -
Megígéred? - Igen. De ha H olyan kulturális
hátteru, ahol nem létezik a jövobeli
kötelességvállalást jelento ígéret BA? Így a
B számára H nem tett ígéretet. ítélettartam
feltétel megsértése hazudozás
12
Beszédaktusok és az MI tervkészítés Cohen,
Perrault (1970) Beszédaktus operátor STRIPS
leírás a szükséges és elégséges feltételek
(formálisan) Request (B, H, a)     Precond
Cando.pr (B Bel (H Cando a)) ? (B Bel (H Bel
(H Cando a)))                          Want.pr  
(B Bel (B Want request_instance))    
Effect                     (H Bel (B
Bel (S Want a))) a sikeres befejezéshez az
kell, hogy B higye, hogy H képes a-ra, és hogy H
szintén ezt higye. cél Megjegyzések Az
elmélet csupán az illokuciós ero modelljére
támaszkodik. Nincs semmilyen garancia, hogy H
teljesíti a kérést. Szükséges az un.
közvetíto aktus, amellyel H 'rávesszük' az B
szándékának megfelelo cselekvésre
(perlokuciós ero modellezése).
oszinteség
13
Beszédaktus mint racionális cselekvés (Cohen,
Levesque), 1990 A feltételezések - illokuciós
ero felismerése nem szükséges,- illokuciós
aktusok - komplex események, nem primitív
cselekvések. Elmélet - néhány primitív esemény
leírása, - konstrukciós elvek, bonyolultabb
események leírásához, és mindezt az 'LRA'
logikára alapozva. modális hiedelem logika
dinamikus logika ld. LRA anyag -------------------
--------------------------------------------------
---- Néhány hasznos tulajdonság Célokat hinni
kell ?? (Bel x p) ? (Goal x p) A célok
ismertek ?? (Goal x p) ? (Bel x (Goal x p)) Van
memória ?? (Done x (Bel x p)??e) ? (Bel x (Done
x (Bel x p)??e)) Fontos feltételezés, hogy a
célokat késobb (elobb-utóbb) levesszük az
agendáról ??(Goal x (Later p))
14
Beszédaktus mint racionális cselekvés (Cohen,
Levesque), 1990 Igen fontos, ha a cél tartós
(persistent goal) (P_ Goal x p q) (Goal
x (Later p)) ? (Bel x ?p) ?             ?Know x
(Prior ((Bel x p) ? (Bel x ??p) ? (Bel x ?q))
?(Goal x (Later p))) ? Szándék      (Intend
x ? q) (P_ Goal x Done x (Bel x (Happens
?))?? q) Váltakozó hiedelmek        
(ABel n x y p) (Bel x (Bel y (Bel x (Bel y ...
(Bel x p) ...)                              n -
szer - 'mutual belief' Unilaterális kölcsönös
hiedelem         (Bmb x y p) ? n . (ABel n x
y p)
15
Beszédaktus mint racionális cselekvés (Cohen,
Levesque), 1990 Beszéd aktus, mint
kísérlet Megkísérel egy komplex cselekvés
   Attempt x e p q   (Bel x ?p)  ? (Goal x
(Happens x ep?)) ? (Intend x eq?)?e az x
ágens e-t tesz, mert p hatást kíván elérni, azzal
a szándékkal, hogy legalább q sikerüljön.
Segítokészség        (Helpful x y) ?e .
(Bel x (Goal y ?(Done x e)))  ? ? (Goal x ??
(Done x e))                                      
                    ? (Goal x ?(Done x e)) 
Az x ágens segítokész (y szempontjából), ha
minden e cselekvés esetén, x elfogadja y
céljait, ha ezzel nem kerül konfliktusos
helyzetbe.
16

• Beszédaktus mint racionális cselekvés (Cohen,
  Levesque), 1990
• Felkér - komplex cselekvés
•   Request B H e a Attempt B e p (Bmb H B
  (Goal B p))  , ahol
• l     p   ?(Done H a) ? (Intend H a  (Goal
  B  ?(Done H a)) ? (Helpful H B) )
• A B kezdeményez, e-t megtéve, annak reményében,
  hogy egy olyan állapotot idéz elo, amelyben -
  az H szeretne a-t (amellett, hogy B még mindig
  a-t szeretne és segítokészek) - az H meg is
  csinálja a-t vagy legalább H megosztja B-vel a
  közös hiedelmeket.
• Megjegyzés
• B REQUEST-et valósít meg, ha a hozzá szükséges
  sorozatot végrehajtja! - minden esemény sorozat
  (akármilyen komplexitású), aminek ilyen a
• struktúrája - egy REQUEST
• .........stb................

17
ACL Agent Communication Language
Alkalmazottak
Már nem érdekesek
Igazából még nincsenek
18
Knowledge Sharing Effort (KSE) ARPA, ca.
1990 tudásmegosztás, tudás újrafelhasználásának
biztosítása tudásmegosztás kommunikáció, közös
nyelv - szintaxis - szemantika -
pragmatika KIF Knowledge Interchange Format
(szintaxis) Ontolingua megosztható ontológiák
nyelve (szemantika) web alapú interfészek
ontológia automatikus fordítása más tartalom
nyelvekre primitív elemek ontológiák
kombinálására KQML magas szintu kölcsönhatás
(pragmatika) Knowledge Query and Manipulation
Language
19
Összegzés ACL üzenetek beszédaktusok
után beszédaktus ágens szándékszintu
modellje szándékszintu modell hiedelem,
szándék, vágy, ... ágens ítéletlogikai
attitüd -je - reláció ágens jelentéssel
rendelkezo ítéletállítás attütüdök véges
halmaza (hisz, állít, félt, remél, ....) pl. ?
ágens, fél, esik_az_eso(most) ? Kommunikáció
egy eszköz megmutatni másoknak a BDI
állapotunkat kísérlet mások BDI állapotának
befolyásolására
ACL szótár belso nyelv (KIF) külso nyelv
(KQML) ACL üzenet KQML kifejezés, argumentumai
KIF termek, vagy állítások,
szótárból merített szavakkal
20
KQML (Knowledge Query and Manipulation Language
tudás lekérdezo és manipuláló nyelv)
www.cs.umbc.edu/kqml/papers/ Ágens alapú
rendszerek interfész kérdése üzenetszállítás
módja nyelv mi az üzenet jelentése stratégia
/eljárás a párbeszéd struktúrája architektúra r
endszerek összekapcsolása KQML több, mint egy
ACL ajánlás kommunikációra, üzenet
tartalomra, kontextus szinteken kívül
architekturális elemekre.
21
A kommunikáció szintjei A számítógép-hálózatoknál
megismert beágyazás elve szerint az ágens-ágens
kommunikációs protokollnak is több rétege van.
Adat csere szint (kommunikáció mechanizmusa)
állomások között közlekedo üzenet csomagok
legkülso rétege, a kommunikáció legalsó
protokoll szintje üzenet feladója, címzettje,
azonosítója, egyéb kommunikációs
paraméterek Üzenet szint (kommunikáció
logikája) az üzenet tartalmának azonosítása,
típus-meghatározása Tartalom szint (kommunikáció
tartalma) Az átadott információ közvetítése.
Bármit tartalmazhat, amiben a kommunikáló
ágensek megegyeznek.
22
Bár a formára sincs megkötés, a KQML
implementációk általában a LISP nyelvben
megismert listás (lineáris) adatszerkezetet
használják. Az üzenet szint szerepe kétféle
lehet adminisztratív vagy tartalom jellegu.
Adminisztratív üzenet tartalma kötött, a
rendszer muködéséhez szükséges adatokat
közvetíti. (pl. az új ágensek
bemutatkozása, ágens feladatmegoldó
képességek közzététele, illetve egy
ágens által igényelt adatok leírása.) Tartalom
típusú üzenet egy tudásdarabka átvitele,
meghatározva annak ontológiáját, témáját,
nyelvét és tartalmát.
23
Fenntartott kulcsszavak Adatcsere szint Type
ltMessage typegt Direction Source ltAgent
IDgt Destination ltAgent IDgt ID ltPackage
IDgt Communication ltblock, nonblockgt In-respons
e-to ltPackage IDgt Content ltMessagegt .. Üzenet
szint Type ltSpeech Actgt Qualifiers ltkeyword
listgt Content-language ltlanguage
namegt Content-ontology ltontology
namegt Content-description lttopic
namegt Content ltcontent language sentencegt ..
24
(QUERY QUALIFIERS (number-of-answers
1) CONTENT-LANGUAGE KIF CONTENT-ONTOLOGY block
-world CONTENT-DESCRIPTION physical-property CON
TENT (color block1 ?color)) KQML tartalom
jellegu üzenet Egy kérés a kocka világban, KIF
nyelven, egy fizikai tulajdonságra vonatkozó
kérdés a block1 nevu kocka színe.
25
Egy ágens hirdetése - az ágens azt a képességét
fogalmazza meg, hogy képes kockák színére utaló
állításokat tenni (azaz ilyen kérdésekre
válaszolni). (ADVERTISE DIRECTION EXPORT (TELL
CONTENT-LANGUAGE KIF
CONTENT-ONTOLOGY block-world
CONTENT-DESCRIPTION physical-property
CONTENT (color ?block ?color))) KQML
adminisztratív jellegu üzenet Ez esetben az
üzenet tartalma egy újabb üzenet!
26
(No Transcript)
27
Az adatcsere szintjén az üzenetek olyan adatokkal
egészülnek ki, melyek a kommunikációt, azaz a
csomagok célba érését segítik. Tipikus adatok a
címzett, feladó, azonosító, a kommunikáció
típusa, stb. Az alábbi példa bemutat egy teljes
KQML csomagot. (KQML-MESSAGE SOURCE
CAMERA-AGENT DESTINATION AGENT-FACILITATOR ID
CA-1293312Y COMMUNICATION
NON-BLOCKING (ADVERTISE DIRECTION EXPORT
(TELL CONTENT-LANGUAGE KIF CONTENT-ONTOLO
GY block-world CONTENT-DESCRIPTION
physical-property CONTENT (color ?block
?color))) Egy teljes KQML csomag
28
Üzenettípusok a KQML nyelvben (avagy milyen
performativumból merítenek) Alapveto lekérdezés -
evaluate, ask-if, ask-oke, ask-in, ask-all A
kérdezo egy kérdés kiértékelését kéri egy másik
ágenstol, melyre egy választ vár Többválaszos
lekérdezés - stream-in, stream-all Az ágens
azt kéri, hogy a kérdésre minden esetben
válaszoljon, amikor az ahhoz kapcsolódó
tudása megváltozik. Ez az üzenet tehát a jövoben
több választ is eredményezhet, attól függoen,
hogy a válaszadó milyen információkat
szerez. Válaszok - reply, sorry Az egy vagy
többválaszos kérdésekre érkezo válasz, illetve
annak jelzése, hogy a válaszadónak nincs adat
a birtokában. Általános közlés - tell, achieve,
cancel, untell, unachieve A tell egy állítás,
az achieve egy kívánság, mely állítás
teljesülését a küldo szeretné elérni.
Mindkettonek létezik a visszavonása is, illetve
van egy külön kulcsszó egy azonosítóval
meghatározott korábbi üzenet törlésére. Generátor
típusú üzenetek - standby, ready, next, rest,
discard, generator Ezen üzenetek mindegyike
további üzenetek küldését kezdeményezi. Képesség
definíciók - advertise, subscribe, monitor Az
ágensek felajánlhatják szolgáltatásaikat, illetve
igényelhetik mások szolgáltatását. Hálózattal
kapcsolatosak - register, unregister, forward,
broadcast, route Ezen kulcsszavak írják le
egyrészt új ágensek bejelentkezését, régiek
kilépését a rendszerbol, másrészt az ágensek
közötti csomagok továbbküldését, szétküldését,
illetve útjának meghatározását.
29
Példa A küldi B-nak B küldi
A-nak (standby language KQML ontology
K10 reply-with g1 content
(stream-about language KIF ontology
motors reply-with q3
content motor1)) (ready reply-with
2F0B in-reply-to
g1) (next in-reply-to 2F0B) (tell
language KIF
ontology motors
in-reply-to q3
content ( (val (torque
motor1) (sim-time 5))
(scalar 12 kgf)) (discard
in-reply-to 2F0B)
30
Példa A küldi B-nak B küldi
A-nak (advertise language KQML ontology
K10 content (subscribe language
KQML ontology K10 content
(stream-about language KIF
ontology motors content motor1)))
(subscribe reply-with s1
language KQML ontology K10
content
(stream-about language KIF
ontology motors content
motor1)) (tell language KIF ontology motors
in-reply-to s1 content ( (val (torque
motor1) (sim-time 5)) (scalar 12 kgf)) (tell
language KIF ontology structures in-reply-to
s1 content (fastens frame12
motor1)) (untell language KIF ontology motors
in-reply-to s1 content ( (val
(torque motor1) (sim-time 5)) (scalar 12
kgf)) (tell language KIF ontology motors
in-reply-to s1 content ( (val (torque
motor1) (sim-time 5)) (scalar 13 kgf))
31
Üzenetprotokollok a KQML nyelvben A
performatívumok típusától függoen többféle
párbeszéd is kialakulhat az ágensek között.
Egyszeru kérés-válasz párbeszéd két ágens között
Kérés és ismételt kérésekre adott válaszok
típusú párbeszéd
Feliratkozás és sorozatosan adott válaszok típusú
párbeszéd
32

• A KQML architektúra
• az adatcserét közvetlenül megvalósító KQML
  útvonal választó (KQML router)
• útvonal választó minden egyes ágens mellett, az
  üzenetek tartalmuktól
• független továbbítását végzi, illetve
  adminisztrálja az ágens rendszerbe lépését,
  illetve távozását. (nem igazán egy szervezet)
• - magasabb funkciókat ellátó kommunikációt segíto
  ágens (facilitator).
• minden magasabb szintu feladatot lát el
• A kommunikációt segíto ágens feladatai
• A routerek hozzá fordulnak a nem
  közvetítheto, pl. nem teljesen címzett
• csomagokkal.
• Az üzenetek tartalma alapján képes a pontos
  címzés eloállítására. (SzR)
• Nyilvántartja a rendszerben levo ágensek
  neveit és címét, ez alapján elvégzi a
• név-cím transzformációt.
• Ágensek közötti tartalom fordítást végez.
  (ontológia szerver)
• Az ágensek által közzé tett hirdetményeket
  tárolja, illetve felhasználja a
• kérdezo-válaszadó párok kialakításában. (Jade
  DF)

33
Tipikus kommunikációs utak ágensek, útvonal
választók és segíto ágensek között.
34
Tipikus kommunikációs utak ágensek, útvonal
választók és segíto ágensek között.
35
Tipikus kommunikációs utak ágensek, útvonal
választók és segíto ágensek között.
36

• KRIL ágensek integrálása a KQML rendszerbe
• az ágensek az útvonal választók segítségével
  integrálhatóak a KQML
• kommunikációs rendszerébe, melyek az ágenssel
  azonos gépen futó folyamatok.
• az ágens és router folyamatok között a KRIL
  interfész
• (KQML Router Interface Library) teremt
  kapcsolatot.
• Az ágens programok a KRIL API-t használva
  egyszeru függvényhívások
• segítségével érik el a rendszer
  szolgáltatásait.
• send-kqml-message(char msg, int msglen)
• declare-kqml-message-handler(void
  (hndlr)(char msg, int len))

Az ágens, a KRIL interfész és a KQML router
kapcsolódása
37
Késobbi problémák a KQML rendszerrel Összegezve
A rendszer alapfeladata a kommunikáció
biztosítása a koordináció és a koherencia
megteremtésére. Mindezt a beszédaktusok
elmélete alapján, ún. performatívumok
bevezetésével. Ezen kulcsszavak használhatóak
az ágensek közötti párbeszéd (kérdés, felelet)
során, illetve rendszer szintu információk
közlésére (be-, kilépés, képességdefiníciók,
hirdetmények, stb.). A performatívumok
egymásba ágyazhatóak, így komplex üzenetek is
kialakíthatóak. A rendszerrel szemben felmerülo
legfontosabb kritika a szemantika
aluldefiniáltsága, azaz az, hogy a
performatívumok definíciói kétértelmuek,
hiányosak, rosszak. Alapvetoen a következo
három problémakört említik a rendszer
hiányosságai között
38
Kétértelmuség. Több kulcsszó értelmezése nem
pontosan definiált, nem egyértelmu. A
szintaktikailag pontosan definiált struktúrák
szemantikája nem mindig egyértelmu,
implementációtól függhet, hiszen az üzenet
típusának magyarázata csupán természetes nyelven,
szabadon fogalmazódott meg. (konzisztens
tervezés távoli platformokon így nagyon
nehéz). Pl. (DENY ........ tartalom
........ jelentése, hogy a tartalom a hallgatóra
nézve nem igaz. de (DENY ..... (TELL
..... tartalom ......... jelentése nem
világos. Korábban nem mondta (letagadja, hogy
megmondta, vagy nem hiszi, amit most
mond? nem (TELL A), vagy (TELL (nem A))
? A performativumnak mintha logikai értéke
lenne.
39
Félreértelmezett performatívumok. Néhány
performatívumként megadott kulcsszó valójában nem
performatívum, mivel nem eredményez közvetlen
akciót, csak egy felkérést jelent, amit azonban
a fogadó figyelmen kívül hagyhat. Pl. (ACHIEVE
felkérés hallgató felé, hogy valamije igaz
legyen, de a formalizmus mellozi a felkérés
mechanizmusát, nincs benne a közvetíto
aktus. hasonlóan (BROKER (STREAM-ALL igazából
ezek nem performativumok, mert nem tudják a
hallgatót rávenni a cselekvésre. Nincs
elkötelezettség a cselekvésre. Hogyan lehet a
hallgatót rávenni a cselekvésre? KQML
üzenetkészlete így valójában csupán a
direktivumok, verdikátivumok és asszertivumok.
40
Hiányzó performatívumok. Az alap KQML nyelvbol
teljesen hiányoznak a megbízás típusú
performatívák, amelyekre a fogadónak egy rövid
válasszal mindenképpen reagálnia kell
(elfogadom, nem fogadom el a megbízást). Az
ilyen jellegu azonnali visszajelzések hiánya
nagyban ronthatja egy kooperáló rendszer
hatékonyságát. Mi hiányzik ? a komisszivumok!
az elkötelezettség kifejezése (ez a
legfontosabb). IGÉR JAVASLATOT
ELFOGAD BELEEGYEZIK .... stb.
41
Szemantikailag specifikált KQML (1997)
performativum ? ?
min. elo-feltételhalmaz min. utó-feltételhalmaz
sikeresen elvégzett performativum
által eloidézett végállapot ezekhez mind egy
modális logika az intencionális attitudök
kifejezésére. Tehát újra a BDI modellek és az
MI tervkészítés! Ezeket specifikálni kell és
ezekre tervezni kell! Dolgozzunk az alábbi
modális operátorokkal Bel (A, P) P igaz
(vagy bizonyítható) az A részére (a képességei
szerint). Know (A, S) S mentális állapot
ismert az A által. Want (A, S) A kívánja az S
mentális állapot bekövetkezését. Int (A, S) A
szeretné az S-t, el van kötelezve a hozzá vezeto
cselekvésre. Proc (A, M) A cselekvésében az M
üzenetet dolgozza fel. Sendmsg (A, B, M) A
cselekvésében B-nek M üzenetet küld. pl.
Know (A, Bel (B, .....)), feltéve, hogy Bel (B,
.....) el lett küldve (de helytelen a
Know (A, ...))
42
Szemantikus leírás komponensei - természetes
nyelvu leírás performativum intuitív
jelentése - az illokuciós aktus/ero formális
kifejezés - elofeltételek Pre(A) hogy
elküldhesse Pre(B) hogy (sikeresen)
feldolgozhassa - utófeltételek Post(A) állapota
sikeres feldolgozás után Post(B) - // - -
teljesítési feltétel Completion javasolt
végállapot, miután a szándékok érvényesülnek
43

• Példák üzenetek szemantikus leírására
• Advertise (A, B, M)
• A állítja B-nek, hogy az M üzenetét elfogadja (ha
  megkapja) és
• processzálja (elkötelezettség)
• 2. Int (A, Proc (A, M)) M performativum-név
  (B, A, X)
• 3. Pre(A) Int (A, Proc (A, M))
• Pre(B) -
• 4. Post(A) Know (A, Know (B, Int (A, Proc (A,
  M))))
• Post(B) Know (B, Int (A, Proc (A, M)))
• 5. Compl Know (B, Int (A, Proc (A, M)))
• Komisszivum, ha B Facilitator, akkor B azonos
  minden olyan ágenssel,
• amit a B tud.

44
Társalgási stratégiák és KQML Ágens társalgási
modulja melyik performativummal indítsünk egy
beszélgetést melyik performativumot használjunk
egy beszélgetés során Társalgási Modul -
üzenetet kap, illesztés valamelyik folytatott
beszélgetésre (protokoll, ágens ID, üzenet ID,
tartalom, stb. .), - üzenet nem folytatása egyik
beszélgetésnek sem, (új száll indítása, ha
alkalmas) - új száll nem megy, - ERROR, ha
ágensközösség felül érkezett, vagy - jelzés
alkalmazói programnak, ha tole származott.
További kritika a KQML (1997) szemben nincs
általános mechanizmus egy beszédaktus
visszavonására ígéro komisszivumok igénye (pl.
e-kereskedelem)