Deskriptyvioji logika

Šiame savo referate kalbėsiu apie deskriptyviąją logiką, kaip formalizuotą kalbą skirtą žinioms ir samprotavimams pateikti.
Priėjimo prie žinių vaizdavimo buvo ieškoma 1970 m, kada ši sritis buvo labai populiari. Kartai ji dalijosi į dvi kategorijas: logika, grįsta formalizmais, kuri paplito institucijose, kurios manė, kad galima naudoti vienareikšmiškai tik tam, kad užfiksuotumėme faktus apie pasaulį; kita nėra grįsta loginiu vaizdavimu. Tyrimai deskriptyviosios logikos srityje prasidėjo nuo terminologinių sistemų. Pabrėžiu, kad vaizdavimo kalba buvo panaudota įsteigti bazinę terminologiją pasirinktoje modeliuojamoje srityje. Vėliau dėmesys skiriamas konceptų-formavimo aibės konstrukcijai, suteikdamas plėtrą konceptų kalbai. Neseniais laikais dėmesys buvo labiau skiriamas loginėms kalboms, terminas „Deskriptyvioji logika“ tapo populiarus.
Pirmiausiai pateiksiu bendrą supratimą apie deskriptyviosios logikos idėjas. Tuomet aptarsiu sintaksę ir semantiką.
Deskriptyvioji logika – tai formalizmų šeima, skirta žinių vaizdavimui, leidžianti įvesti supratimo aprašymą. Dauguma iš jų gali būti interpretuojamos kaip fragmentai pirmo lygio logikos, bet turinčios daug „draugiškesnę“, laisvesnę pakeitimams sintaksę; išsprendžia loginių išvadų problemas; mažesnę vaizdavimo galią. Modalinės logikos šeimos pradžia kilo iš filosofijos ir naudojama subjektyvių žinių vaizdavimui. Iš formaliosios pusės žvelgiant galima teigti, kad modalinės logikos tampriai tarpusavyje susijusios su deskriptyviosiomis logikomis. Pagrindinis deskriptyviosios logikos tikslas yra įsivaizdavimas būtinos informacijos, skirtos konkrečiai sričiai. Tai įgyvendinama aprašant santykį tarp konceptų, konceptų ir objektų ir taip pat užduoties ryšių tarp objektų.
Deskriptyvioji logika yra vienas iš naujesnių vardų žinių vaizdavimo formalizmuose, kurie vaizduoja taikymo srities žinias konceptais ir tada tuos konceptus naudoja objektams specifikuoti ir individualiems veiksmams atlikti. Pavadinimas deskriptyvioji logika duoda suprasti, kad viena iš šios kalbos charakteristikų, skirtingai nuo jos pirmtakų yra aprūpinta formalizuota logikos pagrindų semantika. Kita žymi savybė yra centralizuoto samprotavimo veikimas: samprotavimas leidžia išvesti netiesiogiai numanomas žinias iš žinių, kurios aiškiai yra žinių bazėje. Deskriptyvioji logika remiasi išvadų šablonais, kurie vyksta daugelyje intelektualių informacijos apdorojimo sistemų taikymų ir kuriuos tai pat naudoja žmogus, kad struktūrizuotų ir suprastų pasaulį: klasifikuojami konceptai ir objektai. Konceptų...

Daugiau informacijos...

★ Klientai rekomenduoja

Šį rašto darbą rekomenduoja mūsų klientai. Ką tai reiškia?

Mūsų svetainėje pateikiama dešimtys tūkstančių skirtingų rašto darbų, kuriuos įkėlė daugybė moksleivių ir studentų su skirtingais gabumais. Būtent šis rašto darbas yra patikrintas specialistų ir rekomenduojamas kitų klientų, kurie po atsisiuntimo įvertino šį mokslo darbą teigiamai. Todėl galite būti tikri, kad šis pasirinkimas geriausias!