Reprezentarea cunoașterii. Rețele semantice Curs 6 Reprezentarea cunoașterii. Rețele semantice
Reţele semantice descriptive adecvate reprezentării cunoaşterii statice se descriu: entităţi, în ierarhia de la general spre specific relaţii între entităţi două niveluri: conceptual (intensiv): concepte (tipuri) referenţial (extensiv): instanţe ale conceptelor
Rețele semantice descriptive O lume obiectuală: Taxonomie: Cub1 Cub2 Cilindru corp-geometric cilindru obiect-fizic cub Cub1 Cub2 Reţeaua semantică conceptuală Reţeaua semantică referenţială Cilindru1
Rețelele semantice descriptive permit reprezentarea economică Proprietăţile: explicite – la nivelul conceptual implicite (moștenite) – la nivelul referențial Interogări: care este închiderea tranzitivă a relaţiilor taxonomice ISA ale unui nod din reţea? ce valoare este ataşată prin relaţia semantică R nodului n? care este valoarea regăsită prin navigare în reţea în lungul lanţului de relaţii R1 … Rn, plecând din nodul n? care este calea de relaţii semantice ce se poate stabili între două noduri n1 şi n2?
Interogări într-o rețea semantică Reţeaua semantică conceptuală e-făcut-din material densitate are-dens are-vol masă Reţeaua semantică referenţială cub dimensiune are-latură are-rază are-înălţime cilindru Cub1 fier lemn 0.8 2.4 are-masă obiect-fizic volum 2500 1000 Cub2 10 3 Cilindru1 corp-geometric
Demoni Proceduri care... Stările unui demon: nu se apelează se activează singure când anumite condiţii pe care ei sunt pregătiţi să le sesizeze sunt îndeplinite Stările unui demon: adormit disponibil (idle) activ
Tranzițiile demonilor la îndeplinirea condiției proprii proces extern ADORMIT TREAZ ACTIV proces extern la terminare
Demoni într-o rețea semantică Reţeaua semantică conceptuală computeMass e-făcut-din material densitate are-dens are-vol are-masă(demon) masă Reţeaua semantică referenţială cub computeVolCube dimensiune are-latură are-rază are-înălţime cilindru Cub1 fier lemn 0.8 2.4 are-masă obiect-fizic (demon) are- masă volum 2500 1000 Cub2 10 3 Cilindru1 computeVolCylinder corp-geometric
Demonul ComputeMass m=*V procedure ComputeMass(x) begin ; află densitatea lui x: ?Cx: x ISA Cx ?R1*: Cx R1* densitate ?y1: x R1* y1 ; află volumul lui x: ?R2*: Cx R2* volum ?y2: x R2* y2 ; calculează masa ca densitate * volum: return y1 * y2; end m=*V
Activarea demonilor (demonul nu se activează) Care este masa lui Cub1? ?CCub1: Cub1 ISA CCub1 CCub1 = cub ?R*: cub R* masă R* = are-masă ?y: Cub1 are-masă y y = 2500 Reţeaua semantică conceptuală computeMass e-făcut-din material densitate are-dens are-vol are-masă(demon) masă Reţeaua semantică referenţială cub dimensiune are-latură are-rază are-înălţime cilindru Cub1 fier lemn 0.8 2.4 are-masă obiect-fizic volum 2500 1000 Cub2 10 3 Cilindru1 corp-geometric
Demonul devine ACTIV Care este masa lui Cub2? ?CCub2: Cub2 ISA CCub2 CCub2 = cub ?R*: CCub2 R* masă R* = are-masă ?y: Cub2 are-masă y nil ACTIV demonul din vârful relației are-masă… Reţeaua semantică conceptuală computeMass e-făcut-din material densitate are-dens are-vol are-masă(demon) masă Reţeaua semantică referenţială cub computeVolCube dimensiune are-latură are-rază are-înălţime cilindru Cub1 fier lemn 0.8 2.4 are-masă obiect-fizic (demon) volum 2500 1000 Cub2 10 3 Cilindru1 computeVolCylinder corp-geometric
Demonul ComputeMass e activ! cub2 procedure ComputeMass(x) begin ; află densitatea lui x: ?Cx: x ISA Cx ?R1*: Cx R1* densitate ?y1: x R1* y1 ; află volumul lui x: ?R2*: Cx R2* volum ?y2: x R2* y2 ; calculează masa ca densitate * volum: return y1 * y2; end m=*V Cx = cub R1* = e-făcut-din are-dens y1 = cub2 e-făcut-din are-dens = 0.8 R2* = are-vol y2: cub2 are-vol y2 y2 = 1000 return 0.8 * 1000
Demoni într-o rețea semantică Care este masa cilindrului 1? ?CCilindru1: Cilindru1 ISA CCilindru1 CCilindru1 = cilindru ?R*: cilindru R* masă R* = are-masă ?y: Cilindru1 are-masă y nil ACTIV demonul computeMass(cilindru1) Reţeaua semantică conceptuală computeMass e-făcut-din material densitate are-dens are-vol are-masă(demon) masă Reţeaua semantică referenţială cub computeVolCube dimensiune are-latură are-rază are-înălţime cilindru Cub1 fier lemn 0.8 2.4 are-masă obiect-fizic (demon) are- masă volum 2500 1000 Cub2 10 3 Cilindru1 computeVolCylinder corp-geometric
Demonul ComputeMass e activ! Cilindru1 procedure ComputeMass(x) begin ; află densitatea lui x: ?Cx: x ISA Cx ?R1*: Cx R1* densitate ?y1: x R1* y1 ; află volumul lui x: ?R2*: Cx R2* volum ?y2: x R2* y2 ; calculează masa ca densitate * volum: return y1 * y2; end m=*V Cx = cilindru R1* = e-făcut-din are-dens y1 = Cilindru1 e-făcut-din are-dens = 2.4 R2*: Cilindru R2* volum R2* = are-vol y2: Cilindru1 are-vol y2 nil ... return 0.8 * 1000 = 800
Demonul devine ACTIV computeVolCylinder computeMass computeVolCube Reţeaua semantică conceptuală computeMass e-făcut-din material densitate are-dens are-vol are-masă(demon) masă Reţeaua semantică referenţială cub computeVolCube dimensiune are-latură are-rază are-înălţime cilindru Cub1 fier lemn 0.8 2.4 are-masă obiect-fizic (demon) volum 2500 1000 Cub2 10 3 Cilindru1 computeVolCylinder corp-geometric
Demonul ComputeVolCylinder e activ! Cilindru1 V = π * r2 * H procedure ComputeVolCylinder(x) begin ; află raza bazei lui x: ?r: x are-rază r ; află înălţimea lui x: ?h: x are-înălţime h ; calculează volumul: return 3.14 * r * r * h; end 3 10 return 3.14 * 3 * 3 * 10 = 282.6
Demonul ComputeMass e activ! Cilindru1 procedure ComputeMass(x) begin ; află densitatea lui x: ?Cx: x ISA Cx ?R1*: Cx R1* densitate ?y1: x R1* y1 ; află volumul lui x: ?R2*: Cx R2* volum ?y2: x R2* y2 ; calculează masa ca densitate * volum: return y1 * y2; end m=*V Cx = cilindru R1* = e-făcut-din are-dens y1 = Cilindru1 e-făcut-din are-dens = 2.4 R2*: Cilindru R2* volum R2* = are-vol y2: Cilindru1 are-vol y2 nil ... 282.6 return 2.4 * 282.6 = 678.24
Reţele semantice evenimenţiale adecvate reprezentării cunoaşterii dinamice se descriu: entităţi şi tipuri evenimente în care sunt angrenate entităţile reguli de bun-simţ secvenţe de evenimente pot fi folosite la: explicarea semnificaţiei unor enunţuri generarea de situaţii specifice pentru verificarea unor condiţii simularea comportamentului unor societăţi de agenţi
Reprezentări evenimenţiale Ion a săpat aseară gradina cu hârleţul. ev1 Ion a săpa hârleţ1 ISA grădina1 persoană AG INSTR OB grădină hârleţ aseară TMP
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
Care sunt procesele care se dezvoltă în mintea noastră când citim un text? Maria a scăpat oul din mână. Ea a curăţat apoi pardoseala.
1. Maria a scăpat oul din mână. timp ev1C 1. Maria a scăpat oul din mână. persoană a scăpa ISA ISA Maria AG ev1 PART-OF mână-1 REC FROM ou-1 ISA ATR CONTAINS mână fragil lichid-1 ISA lichid
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
1. Maria a scăpat oul din mână. timp ev1C ev2 1. Maria a scăpat oul din mână. persoană a cădea ISA ISA Maria ev2 PART-OF REC mână-1 ou-1 ISA ATR CONTAINS mână fragil lichid-1 ISA lichid
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 1. Maria a scăpat oul din mână. persoană a atinge ISA ISA Maria ev3 PART-OF REC mână-1 AG REC MOD ou-1 X-obiect repede ISA ATR CONTAINS mână ISA fragil lichid-1 ?? ISA lichid
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
Wordnet ca sursă de cunoaştere
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 1. Maria a scăpat oul din mână. persoană a lovi ISA ISA Maria ev3 PART-OF mână-1 AG REC ou-1 X-obiect ISA ATR CONTAINS mână ISA fragil lichid-1 ?? ISA lichid
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 ev4 1. Maria a scăpat oul din mână. persoană a lovi se sparge ISA ISA ISA Maria ev3 ev4 PART-OF UPON mână-1 AG REC REC ou-1 X-obiect ISA ATR CONTAINS mână ISA fragil lichid-1 ?? ISA lichid
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 ev4 ev5 1. Maria a scăpat oul din mână. persoană se revarsă ISA ISA Maria ev5 PART-OF mână-1 RECON ou-1 X-obiect ISA ATR CONTAINS mână ISA REC fragil lichid-1 ?? FROM ISA lichid
Reguli de modelare a lumii reale a scăpa persoană AG obiect REC a cădea cause X Y AG REC plausible a atinge Y-obiect X-obiect a cădea repede MOD AG X-obiect REC a atinge Y-obiect repede MOD ISA a lovi REC dur AG plausible a se sparge Y-obiect ATR X-obiect a lovi fragil UPON REC cause a se sparge X-container a se revărsa Y-lichid CONTAINS FROM UPON Z-object ON REC ON cause a fi întins Z-obiect Y-lichid a se revărsa
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 ev4 ev5 ev6 1. Maria a scăpat oul din mână. persoană se revarsă a fi întins ISA ISA ISA Maria ev5 ev6 PART-OF mână-1 REC ON ou-1 X-obiect ISA ATR CONTAINS mână ISA REC fragil lichid-1 ?? FROM REC ISA lichid
Reguli de modelare a proceselor cognitive plausible a fi întins Y-lichid X-persoană AG vedea Z-obiect persoană ISA REC ON lichid crede OB HAS-PROP murdar plausible curăţa X-persoană AG Y-obiect persoană ISA crede OB HAS-PROP murdar
Reguli de modelare a proceselor cognitive plausible a fi întins Y-lichid X-persoană AG vedea Z-obiect persoană ISA REC ON lichid crede OB HAS-PROP murdar plausible curăţa X-persoană AG Y-obiect persoană ISA crede OB Z-obiect HAS-PROP murdar
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 ev4 ev5 ev6 ev7 1. Maria a scăpat oul din mână. persoană a fi întins crede ISA ISA AG ISA Maria ev6 ev7 PART-OF OB mână-1 ON ou-1 X-obiect X-obiect ISA ATR CONTAINS mână ISA REC HAS-PROP fragil lichid-1 ?? murdar ISA lichid
1. Maria a scăpat oul din mână. timp ev1C ev2 ev3 ev4 ev5 ev6 ev7 ev8 1. Maria a scăpat oul din mână. persoană a fi întins crede ISA ISA AG ISA Maria ev6 ev7 PART-OF OB mână-1 ON ou-1 X-obiect X-obiect ISA ATR CONTAINS mână ISA REC HAS-PROP fragil lichid-1 ?? murdar ISA lichid 2. Ea a curăţat apoi pardoseala. curăţa ISA AG ev8 OB pardoseala
Reguli de modelare a proceselor cognitive plausible a fi întins Y-lichid X-persoană AG vedea Z-obiect persoană ISA REC ON lichid crede OB HAS-PROP murdar plausible curăţa X-persoană AG Y-obiect persoană ISA crede OB Z-obiect HAS-PROP murdar
1. Maria a scăpat oul din mână. ev6 ev7 ev8 t8 timp ev9 ev5 ev3 ev4 ev1C ev2 1. Maria a scăpat oul din mână. matching persoană a fi întins crede ISA ISA AG ISA Maria ev6 ev7 PART-OF OB mână-1 ON ou-1 X-obiect X-obiect ISA ATR CONTAINS ISA mână REC HAS-PROP fragil lichid-1 ?? Se potrivesc! murdar ISA lichid 2. Ea a curăţat apoi pardoseala. curăţa crede ISA ISA AG ev8 ev9 AG OB OB HAS-PROP pardoseala pardoseala murdar
1. Maria a scăpat oul din mână. ev6 ev7 ev8 t8 timp ev9 ev5 ev3 ev4 ev1C ev2 1. Maria a scăpat oul din mână. persoană se sparge se revarsă a fi întins crede a scăpa a cădea a lovi ISA ISA AG ISA ISA ISA ISA ISA ISA Maria AG REC ev2 ev3 ev4 ev5 ev6 ev7 ev1 PART-OF UPON REC mână-1 REC AG REC ON OB ON FROM ou-1 X-obiect X-obiect ISA ATR CONTAINS mână ISA REC REC HAS-PROP fragil lichid-1 ?? FROM murdar ISA lichid 2. Ea a curăţat apoi pardoseala. înţelegem... curăţa crede ISA ISA AG ev8 ev9 AG OB OB HAS-PROP murdar pardoseala pardoseala
1. Maria a scăpat oul din mână. ev6 ev7 ev8 t8 timp ev9 ev5 ev3 ev4 ev1C ev2 1. Maria a scăpat oul din mână. persoană se sparge se revarsă a fi întins crede a scăpa a cădea a lovi ISA ISA AG ISA ISA ISA ISA ISA ISA Maria AG REC ev2 ev3 ev4 ev5 ev6 ev7 ev1 PART-OF UPON REC mână-1 REC AG REC ON OB ON FROM ou-1 X-obiect X-obiect ISA ATR CONTAINS mână ISA REC REC HAS-PROP fragil lichid-1 FROM pardoseala murdar ISA lichid 2. Ea a curăţat apoi pardoseala. înţelegem... curăţa crede ISA ISA AG ev8 ev9 AG OB OB HAS-PROP murdar pardoseala pardoseala