|
|
 |
|
|
|
|
|
|
| Detalji |
| Projekt: |
Optimizacija baze znanja |
| Voditelj: |
Vladimir Mateljan |
| Ustanova: |
Filozofski fakultet, Zagreb |
| Sažetak: |
Baze znanja su temelj za znanstveno-istraživački rad i obrazovanje. Ugradnjom računa funkcijskih zavisnosti u bazu znanja, otvara se mogućnost dizajniranja baze znanja prema uzoru na modeliranje relacijskih baza podataka. Obratno, ugradnjom implikacija u bazu podataka otvara se mogućnost inteligentnog pretraživanja podataka i zaključivanja u bazi.
U okviru projekta izvest će se istraživanja u smislu integracije funkcijskih zavisnosti u bazu znanja. Na temelju iskaznog i predikatnog računa te računa funkcijskih zavisnosti izradit će se metode za dizajniranje i optimizaciju baze znanja u smislu njenog kvalitetnijeg održavnja i efikasnijeg pretraživanja. Na početku bi se pošlo od pretpostavke da se baza znanja sastoji od implikacija (činjenice se mogu tretirati kao trivijalne implikacije), a zatim bi se slično metodama normalizacije za baze podataka, a koje se baziraju na računu funkcijskih zavisnosti, izvele metode "normalizacije" za bazu znanja. Rezultati bi se temeljili na uvedenim, modificiranim i proširenim Armstrongovim aksiomima za funkcijske zavisnosti, ali "preuređenim" za logiku i za oblikovanje baze znanja. Razmotrile bi se i neke mogućnosti primjene modalne logike na navedenu problematiku, ako baza znanja sadrži neprovjereno znanje. Sama optimizacija bi se odnosila na početku na problem održavanja baze znanja, a zatim i na optimizaciju njenog pretraživanja. Razmotrile bi se mogućnosti dobivanja ("izračunavanja") odgovora na pitanja vezana uz bazu znanja. Moguće primjene: bolje održavanje i brže pretraživanje baze znanja. |
|
|
|
|
|
|
|
