Az ELTE BTK Logika tanszek szeminariuman marc. 26., csutortok du. 4-kor Kalman Laszlo es Radai Gabor tart eloadast ALTALANOSITOTT OROKLODESI HALOK cimmel. Helyszin: Pesti B. u. 1., A ep. felem. 23. Az eloadas kivonata: Az a1ltala1nosi1tott o2ro2klo3de1si ha1lo1k (Generalised Inheritance Networks - GIN) elme1lete abbo1l a mesterse1ges intelligencia teru2lete1n egyre inka1bb teret nyero3 tradi1cio1bo1l no3tt ki, amely a szaba1lyalapu1 rendszerekkel szemben a mintailleszte1sben la1tja az intelligens viselkede1s alapjait. A nyelve1szet teru2lete1n ez specifikusan annyit tesz, hogy mind a mondatfeldolgoza1s mind a mondatgenera1la1s egy adatba1zisban tala1lhato1 minta1khoz valo1 hasonlo1sa1gon alapszik, ahol ezek a mintak adott esetben szintaktikai e1s szemantikai jelense1gek egyu2ttja1ra1sa1n alapszanak. Ennek a megko2zeli1te1snek bizonyos ko2vetkezme1nyei vannak az alkalmazott reprezenta1cio1k tekintete1ben is: jo1llehet a szoka1sos attribu1tum-e1rte1k struktu1ra1k nyelve ko2nnyen kezelheto3 sza1mi1ta1stechnikai szempontbo1l, de tu1lsa1gosan szege1nyes ahhoz, hogy minden nyelve1szetileg releva1ns aspektus megfogalmazhato1 legyen benne. Ez a nyelv konnyen a1tko1dolhato1 egy elso3rendu3 logikai nyelvre, illetve annak egy fragmentuma1ra. Innen ke1zenfekvo3 az o2tlet, hogy ezen fragmentum bo3vi1te1se1vel ero3si1hetju2k a nyelv kifejezo3 ereje1t. Azonban a teljes elso3rendu3 logika bizonyos tulajdonsa1gai miatt (ld. a ko2vetezme1nyrela1cio1 eldo2nthetetlense1ge) ke1nytelenek vagyunk o1vatosan elja1rni a fragmentum megva1laszta1sa1ban. Elso3 ko2zeli1te1sben teha1t egy olyan fragmentumot va1lasztottunk, ahol egy ve1ges mondathalmaz leza1ra1sa a ko2vetkezme1nyrela1cio1ra maga is ve1ges halmazt eredme1nyez (modulo logikai ekvivalencia), i1ly mo1on pedig kisza1mi1thato1 ke1t mondathalmaz hasonlo1sa1ga, amely nem ma1s mint ko2zo2s ko2vetkezme1nyeik halmaza -- Sim(A, B) = Intersect(Con(A), Con(B)). Jo1llehet ebben a fragmentumban a sztenderd mu3veletek jo1l e1rtelmezheto3ek, sajnos ez a fragmentum is tu1l szu3knek bizonyult. Eze1rt azta1n ma1sodik ko2zeli1te1sben egy olyan fragmentumot va1lasztottunk, amelyben tetszo3leges arita1su1 fu2ggve1nyek e1s relacio1k szerepelhetnek, de csak egzisztencia1lis kvantort engedu2nk meg. Itt ugyan a ve1gesko2vetkezme1nyhalmaz-tulajdonsa1g nem a1ll fenn, me1gis kifejezheto3 ke1t mondathalmaz hasonlo1sa1ga (ami majdnem ugyanolyan, mint az a1ltala1nosi1ta1suk). Tapasztalataink szerint ez a nyelv ma1r ele1g ero3s ahhoz, hogy minden nyelve1szetileg releva1ns a1ltala1nosi1ta1s kifejezheto3 legyen ha1lo1zatos forma1ban. Viszont a hasonlo1sa1g kisza1mi1ta1sa1hoz szu2kse1ges mu3veletek bonyolultsa1ga -- u1gy tu3nik -- tu1l nagy. Tova1bbra is keressu2k azt a fragmentumot, amelynek kifejezo3ereje ele1gse1ges, ugyanakkor leheto3ve1 teszi a szu2kse1ges mu3veletek (hasonlo1sa1g-sza1mi1ta1s illetve unifika1cio1) hate1kony elve1gze1se1t. ============================================================================== Andras Mate CSc, assoc. prof. -- Dept. of Symbolic Logic Lorand Eotvos University Budapest, Faculty of Arts and Humanities H-1364 Budapest, POB 107 Phone: (36 1) 266 9100/5328 -- TAD/Fax: (36 1) 266 41 95 e-mail:mate@isis.elte.hu Home: H-1119 Budapest, Nandorfehervar koz 11 / Phone: (36 1) 204 0489