Inteligen artificial Cursul 8

Reprezentarea cunoaterii prin reele semantice

1. Concepte i instane 2. Abstractizarea conceptelor cu ajutorul variabilelor formale 3. Reele semantice simple 4. Reele semantice sortate 5. Reele semantice extinse 6. Concluzii

1. Concepte i instane
O trstur important a memoriei umane este existena unui numr foarte mare de conexiuni i asociaii ntre informaiile nmagazinate. Ideea fundamental este aceea c semnificaia unui concept rezid n modul n care acesta este conectat cu alte concepte. Pentru a nelege mai bine acest mod de reprezentare, ne vom referi mai nti la relaia dintre concept i instan. Descrierea realitii se efectueaz prin intermediul unor obiecte formale intensionale, denumite concepte i a unor obiecte extensionale, numite instane:

Conceptualizarea unei instane are un caracter intensional. De exemplu, triunghiul oarecare, triunghiul isoscel i triunghiul echilateral sunt instane ale aceluiai concept, acela de triunghi. Concretizarea unui concept ntr-o instan are un caracter extensional. De exemplu, conceptul de plant poate fi denotat de reprezentanii individuali, obiectuali, ai lumii vegetale (un anumit copac sau o anumit plant) sau de alte concepte, mai puin generale, precum categoria plantelor erbacee sau legumicole. Deci o instan poate reprezenta la rndul ei un obiect din lumea real sau un alt concept, care are la rndul su mai multe instane. n acest caz, avem de-a face cu mai multe nivele ierarhice, care corespund unor concepte generice i respectiv individuale, ale cror instane sunt obiecte:

Conceptele mai puin generale au mai multe proprieti, deoarece motenesc proprietile conceptelor mai generale din care sunt derivate. Animal, mamifer sunt n cazul nostru concepte generice, care nu pot fi instaniate. Putem spune Grivei este un animal, ns ntr-un context unde dorim s exprimm de exemplu lipsa unor capaciti cognitive umane. Nu este o formulare uzual menionarea unui individ ca reprezentant al regnului animal, precum Grivei este un animal, nu o plant. De asemenea, nu folosim de obicei o exprimare de genul Grivei este un mamifer, ntruct mamifer nu este o categorie rezultat din experiena uman direct i ntrebuinat curent, ci o categorie tiinific, dedus n afara observaiei imediate a unui om obinuit. Aceste dou concepte pot fi concretizate ns cu uurin n alte concepte: Psrile sunt animale, Pisicile sunt mamifere. Dimpotriv, conceptele cine i cocker sunt concepte individuale; ele pot fi instaniate direct: Grivei este un cine, Grivei este cocker. n cea de-a doua situaie, se presupune implicit c Grivei este un cine cocker. Reelele semantice (Quillian, 1968) sunt o ncercare de modelare a modului cum gndim despre concepte i au fost utilizate att de psihologi ct i de informaticieni pentru a explica i simula comportamentul inteligent. Procesul de inferen se realizeaz prin urmrirea arcelor i nodurilor. De asemenea, reelele sunt folosite i n lingvistic, pentru reprezentarea explicit a structurilor gramaticale ale limbii. Ele au fost dezvoltate iniial pentru a reprezenta semnificaia cuvintelor limbajului natural. n acest caz, nodurile reelei sunt asociate cuvintelor, care descriu concepte, iar arcele descriu relaiile cu alte cuvinte, care indic semnificaia enunului. De aici vine i denumirea de reele semantice.
2

O reea semantic este o modalitate grafic de reprezentare a cunoaterii n modele de noduri, semnificnd concepte, interconectate prin arce etichetate, sugernd relaiile dintre concepte.

2. Abstractizarea conceptelor cu ajutorul variabilelor formale

n logica propoziional i predicativ, modul de reprezentare a conceptelor era de forma: Ion este om. Automobilele sunt vehicule. om(Ion) x automobil(x) vehicul(x)

Folosirea variabilelor formale n expresiile predicative primare are rolul de a permite desfurarea corect a procesului de substituie. Variabilele formale apar n termenii formulelor calcului cu predicate de ordin I, att sub form de atomi ct i n expresii identificate prin simboluri funcionale. Prin intermediul notaiei uzuale nu se poate face distincie ntre cazurile: f(x) funcie de variabila x (concept) f(x) valoare a funciei pentru o anumit valoare concret a variabilei x (instan).

Pentru a putea realiza aceast distincie, s-a dezvoltat teoria -conversiei, care introduce o notaie distinctiv pentru interpretarea lui f(x) utiliznd operatorul de abstractizare . n acest caz, o funcie g(x, y, z) se poate reprezenta n urmtoarele moduri:

x g( x, y, z ) funcie de o singur variabil; x y g( x, y, z ) funcie de dou variabile; x y z g( x, y, z ) funcie de trei variabile.

Pentru a exemplifica, s considerm conceptele de triunghi i dreptunghi ca particularizare a conceptului de poligon convex: POLIGON X Y n h( X , Y , n) , unde X i Y sunt vectorii coordonatelor vrfurilor poligonului: X = ( x1 ,..., xn ) i Y = ( y1 ,..., y n ) , iar n este numrul de vrfuri. TRIUNGHI X Y 3 h( X , Y ,3) DREPTUNGHI X Y 4 h( X , Y ,4) Ambele concepte sunt submulimi ale conceptului general de poligon:

3. Reele semantice simple

Reelele semantice simple folosesc etichete care descriu relaiile fundamentale dintre concepte i instane. S considerm cteva exemple simple:

Se remarc prezena unor cuvinte-cheie: ESTE-UN / ESTE-O (IS A), care denot apartenena unei instane obiectuale la o clas intensional; ESTE (IS), care reprezint un atribut propriu instanei; AKO (A-KIND-OF, UN-FEL-DE, ESTE-SUBMULIME), care sugereaz faptul c un concept este o instan a altui concept, mai general.

Delimitarea dintre aceste relaii nu este foarte strict, ea depinznd de viziunea persoanei care construiete reeaua. De exemplu, urmtoarele reprezentri sunt echivalente:

Pe lng aceste relaii, reelele semantice permit utilizarea de etichete mai generale pentru arce, potrivite pentru descrierea conceptelor dorite. n exemplul urmtor, se observ folosirea unor noi relaii: ARE i NUMR:

Tot aici se remarc o proprietate important a acestui mod de reprezentare, i anume posibilitatea motenirii trsturilor: Rex are patru picioare fiindc este cine. Reelele semantice pot fi folosite i pentru descrierea unor concepte complexe. S presupunem c dorim s definim conceptul fizic de for i cteva noiuni asociate acestuia. Trebuie s alegem mai nti relaiile pe care le vom reprezenta: fora aplicat unei mase provoac accelerarea acesteia; acceleraia produs este invers proporional cu masa; acceleraia produs este direct proporional cu fora; acceleraia este schimbarea vitezei n unitatea de timp; viteza este distana parcurs n unitatea de timp; masa are greutate ntr-un cmp gravitaional; acceleraia gravitaional pe Pmnt este de 9,81 m/s2; fora de msoar n Newton-i; Un model al acestei descrieri este urmtorul:

4. Reele semantice sortate

Clasa reelelor semantice sortate cuprinde mai multe tipuri de reele semantice, caracterizate prin specializarea nodurilor i/sau a arcelor pentru specificarea unor diferene de natur structural ntre acele entiti care nu pot fi relevate numai prin etichetare. Structura sintactic a propoziiei, care poate fi descris cu ajutorul unui numr limitat de relaii, nu ofer suficiente mijloace de reprezentare a semnificaiei. De aceea, propoziia poate fi privit i ca un eveniment produs de instanierea predicatului care sugereaz aciunea. Celelalte componente ale propoziiei sunt legate de acest predicat i se identific prin eticheta relaiei cazuale asociate. n continuare, vom prezenta cteva tipuri de astfel de relaii: Relaia de predicaie stabilete c nodul surs este o instaniere a predicatului specificat de eticheta nodului destinaie, care poate reprezenta o aciune sau o stare (este echivalent ca semnificaie cu predicatul propoziiei); Relaia de tip agent nodul destinaie este o entitate care are capacitatea de a efectua aciunea i care are rolul de subiect logic al propoziiei. Subiectul logic nu corespunde ntotdeauna cu subiectul gramatical. De exemplu, propoziiile Ion citete cartea i Cartea este citit de Ion au acelai subiect logic, Ion; Relaia de tip receptor are ca nod destinaie o entitate care beneficiaz de rezultatul aciunii; Relaia de tip obiect are ca nod destinaie o entitate care este afectat de aciunea specificat; Relaia de instrument are ca nod destinaie o entitate pe care agentul o folosete la efectuarea aciunii pe care o suport obiectul i de rezultatul creia beneficiaz receptorul; Relaia loc are ca nod destinaie o entitate care exprim o poziie n spaiu, adic locul desfurrii aciunii; Relaia timp exprim timpul momentan. Pentru a specifica un interval de timp se utilizeaz dou momente (cel iniial i cel final) sau relaia durat, care indic numai intervalul, fr a-l fixa pe scara timpului. S considerm cteva exemple: Dimineaa, la pia, Ion cumpr (cu bani) flori pentru Maria.

Seara, pescarul a pescuit din apa Dunrii (cu undia) pete pentru familia sa.

Pescarul ine undia n ap.

Un tip special de relaie este predicaia de tip proces. n acest caz, nu exist un agent definit explicit, rolul acestuia fiind ndeplinit de un instument: Valurile erodeaz faleza.

Nu se poate spune cu precizie care valuri erodeaz faleza. Valurile sunt un instrument al naturii. Fora valurilor erodeaz faleza.

Prin reelele semantice sortate se pot exprima i enunuri complexe, cu mai multe relaii de predicaie, corespunztoare frazelor cu mai multe propoziii: Omul care se scoal de diminea departe ajunge. Reprezentarea predicativ a acestei fraze este urmtoarea: este(x, om) se_scoal(x, diminea) ajunge(x, departe)

O reea semantic echivalent este:

5. Reele semantice extinse

O caracteristic a reelelor semantice extinse este specializarea nodurilor i arcelor pentru programarea logic. Astfel, se creeaz aa-numitele sorturi pentru noduri: simboluri constante, variabile sau funcionale i sorturi pentru arce: relaii condiionale sau concluzive. Exemplul anterior va fi reprezentat astfel:

6. Concluzii
Reelele semantice prezint avantajul unei reprezentri naturale a conceptelor, apropiat modului de gndire uman. De asemenea, ierarhia conceptelor poate fi urmrit uor iar motenirea proprietilor generice de ctre instane este permis. Dezavantajul principal a acestei metode este legat de faptul c nu exist o semantic formal; reprezentarea este limitat de gradul de nelegere a utilizatorului asupra a ceea ce nseamn legturile simbolizate. Reprezentarea este dependent i de limbajul folosit pentru descriere. Acest neajuns va fi nlturat de reprezentrile prin dependen conceptual, care opereaz la un nivel mai sczut, folosind concepte universale, independente de limb.