ACHIZITIA SI STRUCTURAREA CUNOSTINTELOR IN SISTEMELE IT VIRTUALIZATE 2012 | Page 99

Achiziţia şi structurarea cunoştinţelor în sistemele IT virtualizate Achiziţia şi structurarea cunoştinţelor (enunţuri logice ce nu pot fi deduse din altele, dar poate fi folosit pentru demonstrarea altora). În realitate, parcursul de la limbajul natural către logică este făcut de ontologiile informale versus formale. Ontologiile formale sunt de două tipuri:  Axiomatice, acestea distingând sub-tipurile cu ajutorul axiomelor şi definiţiilor specificate într-un limbaj formal (logic);  Bazate pe prototipuri, acestea distingând sub-tipurile prin comparaţie cu un membru tipic sau specificând un prototip pentru fiecare sub-tip întâlnit. O clasificare pertinentă a ontologiilor a fost făcută de (Daconta et. al., 2003) după puterea semantică, lucru exemplificat în figura 3.27. Figura 3. 27. Tipuri de ontologii (Daconta et. al. , 2003) Principii privind reprezentarea cunoştinţelor Reprezentarea cunoştinţelor reprezintă „domeniul de studiu preocupat cu folosirea de simboluri formale pentru a reprezenta o colecţie de propuneri crezute de către presupuşi agenţi” (Brachman and Levesque, 2004). „Reprezentarea cunoştinţelor ajută oamenii să vizualizeze cunoştinţele, să menţină şi să dezvolte o înţelegere comună înainte de punerea lor în aplicare” (Gordon, 2000). Cea mai sugestivă comparaţie (Tabelul 3. 1) între limbaj, cunoştinţe şi ontologii a fost făcută de Pease. 90