520 likes | 676 Views
Curs 8. Reprezentarea cunoaşterii prin reţele semantice. Raţionament legat de timp. 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:
E N D
Curs 8 Reprezentarea cunoaşterii prin reţele semantice. Raţionament legat de timp
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 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
hârleţ1 grădina1 aseară persoană a săpa grădină ISA hârleţ Ion ISA ISA ISA AG OB ev1 INSTR TMP Reprezentări evenimenţiale Ion a săpat aseară gradina cu hârleţul.
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână-1 mână lichid lichid-1 fragil Lanţul de inferenţe conceptuale persoană a scăpa 1. Maria a scăpat oul din mână. ISA ISA AG Maria ev1 PART-OF REC FROM ISA ATR CONTAINS ISA
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână lichid-1 lichid fragil Lanţul de inferenţe conceptuale persoană a cădea a scăpa 1. Maria a scăpat oul din mână. ISA ISA ISA REC AG Maria ev2 ev1 PART-OF REC REC mână-1 FROM ISA ATR CONTAINS ISA
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână-1 mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană a atinge a cădea a scăpa 1. Maria a scăpat oul din mână. ISA ISA ISA ISA REC AG Maria ev3 ev2 ev1 PART-OF REC MOD AG REC REC FROM repede X-obiect ISA ATR CONTAINS ISA ISA
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână-1 mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA ISA ISA ISA REC AG Maria ev3 ev2 ev1 PART-OF REC AG REC REC FROM X-obiect ISA ATR CONTAINS ISA ISA
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână-1 mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA ISA ISA ISA ISA REC AG Maria ev4 ev3 ev2 ev1 UPON PART-OF REC AG REC REC REC FROM X-obiect ISA ATR CONTAINS ISA ISA
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână-1 lichid lichid-1 mână ?? fragil Lanţul de inferenţe conceptuale persoană se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA ISA ISA ISA ISA ISA REC AG Maria ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC AG REC REC REC REC FROM X-obiect ISA ATR CONTAINS REC ISA FROM ISA
dur ATR Y-obiect fragil UPON ATR REC plausible X-obiect a lovi a se sparge AG REC Z-object Y-lichid REC ON CONTAINS Z-obiect UPON REC cause ON a se revărsa a se sparge X-container ON cause Y-lichid a se revărsa a fi întins REC FROM REC repede MOD a atinge REC AG ISA Y-obiect REC AG a lovi X-obiect AG X cause obiect a scăpa a cădea REC Y REC persoană Y-obiect REC plausible REC X-obiect a cădea a atinge AG MOD repede Reguli de modelare a lumii reale
ou-1 mână-1 mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC AG REC ON REC REC ON FROM X-obiect ISA ATR CONTAINS REC ISA REC FROM ISA
persoană lichid persoană X-persoană X-persoană Y-lichid ISA ISA ISA X-persoană X-persoană crede murdar crede murdar AG AG AG AG REC plausible plausible OB a fi întins curăţa vedea Y-obiect Z-obiect Z-obiect Y-obiect OB ON HAS-PROP HAS-PROP Reguli de modelare a proceselor cognitive
persoană lichid persoană X-persoană X-persoană Y-lichid ISA ISA ISA X-persoană X-persoană crede murdar crede murdar AG AG AG AG REC plausible plausible OB a fi întins curăţa vedea Z-obiect Z-obiect Z-obiect Y-obiect OB ON HAS-PROP HAS-PROP Reguli de modelare a proceselor cognitive
ou-1 murdar mână-1 X-obiect mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ISA
ou-1 murdar mână-1 X-obiect mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ISA 2. Ea a curăţat apoi pardoseala.
ou-1 murdar mână-1 X-obiect mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1.Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ISA 2.Ea a curăţat apoi pardoseala.
ou-1 curăţa murdar mână-1 X-obiect mână lichid-1 lichid ?? fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ISA 2. Ea a curăţat apoi pardoseala. ISA AG ev8 OB pardoseala
persoană lichid persoană X-persoană X-persoană Y-lichid ISA ISA ISA X-persoană X-persoană crede murdar crede murdar AG AG AG AG REC plausible plausible OB a fi întins curăţa vedea Z-obiect Z-obiect Z-obiect Y-obiect OB ON HAS-PROP HAS-PROP Reguli de modelare a proceselor cognitive
ou-1 crede murdar murdar curăţa mână-1 ev8 X-obiect lichid mână lichid-1 ?? fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ISA 2. Ea a curăţat apoi pardoseala. ISA ISA AG ev9 AG OB OB HAS-PROP pardoseala pardoseala
ou-1 crede curăţa murdar murdar mână-1 ev8 X-obiect lichid mână lichid-1 fragil Se potrivesc! Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ?? ISA 2. Ea a curăţat apoi pardoseala. ISA ISA AG ev9 AG OB OB HAS-PROP pardoseala pardoseala
ou-1 murdar crede murdar curăţa mână-1 ev8 lichid lichid-1 mână fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM ?? ISA 2. Ea a curăţat apoi pardoseala. înţelegem... ISA ISA AG ev9 AG OB OB HAS-PROP pardoseala pardoseala
ou-1 murdar crede murdar curăţa mână-1 ev8 lichid lichid-1 mână fragil Lanţul de inferenţe conceptuale persoană crede a fi întins se revarsă se sparge a lovi a cădea a scăpa 1. Maria a scăpat oul din mână. ISA AG ISA ISA ISA ISA ISA ISA ISA REC AG Maria ev7 ev6 ev5 ev4 ev3 ev2 ev1 UPON PART-OF REC OB AG REC ON REC ON FROM X-obiect X-obiect ISA ATR CONTAINS REC ISA HAS-PROP REC FROM pardoseala ISA 2. Ea a curăţat apoi pardoseala. înţelegem... ISA ISA AG ev9 AG OB OB HAS-PROP pardoseala pardoseala
Evenimentele se desfăşoară în timp Când a intrat în camerăe1, Ion a aprins luminae2. După cinci minute a ieşite3. La ieşire a stins luminae4.
Evenimentele se desfăşoară în timp Când a intrat în camerăe1, Ion a aprins luminae2. După cinci minute a ieşite3. La ieşire a stins luminae4. Două tipuri de mărimi temporale: • puncte... e1:t1 / e2:t1 / e3:t2=t1+5min / e4:t2 t1 t2 timp e2 e1 e3 e4
Evenimentele se desfăşoară în timp Când a intrat în camerăe1, Ion a aprins luminae2. După cinci minutea ieşite3. La ieşire a stins luminae4. Două tipuri de mărimi temporale: • ...şi intervale: 5 minute t1 t2 timp e2 e1 e3 e4
Evenimentele pot fi... • Instantanee: Ion a ieşit din cameră. Maria s-a întâlnit cu proful de mate. • De durată: Ion a citit toată seara. Afară plouă. t timp e t1 t2 timp e
Semnalizatori de relaţii temporale Cânda intrat în camerăe1, Ion a aprins luminae2. După cinci minutea ieşite3. La ieşirea stins luminae4. când e1, e2 t(e1) = t(e2) e1. După <interval> e2t(e2) = t(e1)+<interval> La <referinţă(e1)> e2 t(e1) = t(e2) 5 minute t1 t2 timp e2 e1 e3 e4
Raţionamente în care intervine timpul 1. Samurai S.R.L. a luat fiinţă la 23 ianuarie 1984. 2. [Falimentul firmei] a avut loc la un an după [înfiinţarea ei]. un an Când a falimentatSamurai S.R.L.?
a lua fiinţă a luat fiinţă compl subj ISA la Samurai S.R.L.(id=obj1) REC ev1 Samurai S.R.L. PP TIME 23 ianuarie 1984 23 ianuarie 1984 Prelucrarea enunţurilor reprezentare evenimenţială <object ID=“obj1” ISA=“companie” NAME=“Samurai S.R.L.”/> <event ID=“ev1” ISA=“a_lua_fiinţă” REC=“obj1” TIME=“23.01.1984”/>
a avut loc a avut loc compl compl subj subj dacă are_loc falimentarea lui X atunci X falimentează la la falimentarea a falimenta falimentarea compl PP PP subj atrib. genit? atrib. genit? la an an obj1 obj1 firmei det det PP referinţă anaforică la un eveniment deja menţionat după după un un an det după un înfiinţarea înfiinţarea atrib. genit? atrib. genit? obj1 ei ev1 rezoluţia anaforelor simplificări
expresie temporală ancorată într-un alt eveniment a falimenta compl subj la obj1 PP an det după un ev1 Prelucrarea enunţurilor reprezentări evenimenţiale <event ID=“ev2” ISA=“a_falimenta” REC=“obj1” TIME=“timex1”/> <timex ID=“timex1” TYPE=“after” REF=“ev1” DUR=“1” UNIT=“year”/>
Calculul timpului <object ID=“obj1” ISA=“companie” NAME=“Samurai S.R.L.”/> <event ID=“ev1” ISA=“a_lua_fiinţă” REC=“obj1” TIME=“23.01.1984”/> <event ID=“ev2” ISA=“a_falimenta” REC=“obj1” TIME=“timex1”/> <timex ID=“timex1” TYPE=“after” REF=“ev1” DUR=“1” UNIT=“year”/> <event ID=“ev2” ISA=“a_falimenta” REC=“obj1” TIME=“23.01.1985”/>
În simularea căderii oului nu intervine timpul... • Probleme: • spaţiul reprezentării explodează pentru că nici un eveniment adăugat nu este retras • nu putem face nici o predicţie relativă la timp (exemplu: apoi din propoziţia a doua înseamnă după un minut, o oră, o zi, o săptămână, un an?) • Reparaţii: • o regulă introduce cât şi retrage evenimente • reprezentările evenimentelor se clasifică în instantanee şi de durată • apar reprezentări stabile: situaţiile • se marchează timpii asociaţi desfăşurării evenimentelor v. şi Calculul Situaţional (John McCarthy)
ou-1 mână-1 lichid-1 mână lichid fragil timp t0 ev1C persoană a scăpa 1. Maria a scăpat oul din mână. ISA ISA AG Maria ev1 PART-OF REC FROM ISA ATR CONTAINS ISA
ou-1 mână lichid-1 lichid fragil timp t0 ev1C ev2 persoană a cădea 1. Maria a scăpat oul din mână. ISA ISA Maria ev2 PART-OF REC mână-1 ISA ATR CONTAINS ISA
ou-1 mână-1 mână lichid-1 lichid ?? fragil timp t0 t3 ev1C ev2 ev3 persoană a atinge 1. Maria a scăpat oul din mână. ISA ISA Maria ev3 PART-OF REC MOD AG REC repede X-obiect ISA ATR CONTAINS ISA ISA
ou-1 mână-1 mână lichid-1 lichid ?? fragil timp t0 t3 ev1C ev2 ev3 persoană a lovi 1. Maria a scăpat oul din mână. ISA ISA Maria ev3 PART-OF AG REC X-obiect ISA ATR CONTAINS ISA ISA
ou-1 mână-1 mână lichid lichid-1 ?? fragil timp t0 t3 ev1C ev2 ev3 ev4 persoană se sparge a lovi 1. Maria a scăpat oul din mână. ISA ISA ISA Maria ev4 ev3 UPON PART-OF AG REC REC X-obiect ISA ATR CONTAINS ISA ISA
ou-1 mână-1 mână lichid-1 lichid ?? fragil timp t0 t3 ev1C ev2 ev3 ev4 ev5 persoană se revarsă 1. Maria a scăpat oul din mână. ISA ISA Maria ev5 PART-OF REC X-obiect ISA ATR CONTAINS REC ISA FROM ISA
ou-1 mână-1 mână lichid-1 lichid ?? fragil timp t0 t3 t6 ev1C ev2 ev3 ev6 ev4 ev5 persoană a fi întins se revarsă 1. Maria a scăpat oul din mână. ISA ISA ISA Maria ev6 ev5 PART-OF REC ON X-obiect ISA ATR CONTAINS REC ISA REC FROM ISA
ou-1 murdar mână-1 X-obiect mână lichid lichid-1 ?? fragil timp t0 t3 t6 ev1C ev2 ev7 ev3 ev6 ev4 ev5 persoană crede a fi întins 1. Maria a scăpat oul din mână. ISA AG ISA ISA Maria ev7 ev6 PART-OF OB ON X-obiect ISA ATR CONTAINS ISA HAS-PROP REC ISA
ou-1 murdar curăţa mână-1 X-obiect lichid-1 mână lichid ?? fragil timp t0 t3 t6 t8 ev1C ev2 ev7 ev3 ev6 ev4 ev5 ev8 persoană crede a fi întins 1. Maria a scăpat oul din mână. ISA AG ISA ISA Maria ev7 ev6 PART-OF OB ON X-obiect ISA ATR CONTAINS ISA HAS-PROP REC ISA 2. Ea a curăţat apoi pardoseala. ISA AG ev8 OB pardoseala