Documente Academic
Documente Profesional
Documente Cultură
Ex.3
Godel
Demonstraia lui Gdel a fost extrem de ingenioas. De la nceput, el a fost hotrt s evite diferena
dintre matematic i ceea ce este cunoscut drept metamatematic. n proiectul lui Hilbert, obiectivul
era s demonstreze, cu ajutorul logicii simbolice, c matematica este solid i complet. Dar aceasta
nsemna c matematica era discutat i analizat folosind un alt sistem simbolic. Sistemul care
vorbea despre matematic i fcea enunuri despre matematic nu era, n sine, matematic,
cimetamatematic, un sistem din afara matematicii care era folosit pentru a descrie matematica.
Ideea de geniu a lui Gdel a fost aceea de a descoperi o cale de a rmne n interiorul matematicii
prin crearea unui sistem simbolic (n interiorul matematicii) care s se refere la sine nsui i, de
aceea, capabil s fac enunuri despre sine - n aa fel nct s demonstreze (ori s eueze s
demonstreze) propria consisten.
4.Retele semantice
O reea semantic este un notaie grafic pentru reprezentarea cunotinelor n modele de noduri de
interconectate i arcuri. Implementarea computaional a reelelor semantice a avut loc mai nti
pentru intelgena artificial i pentru traduceri automate, ns versiunile anterioare au fost utilizatate
pe o perioad ndelungat n filozofie, psihologie i lingvistic. Ce este comun pentru toate reelele
semnatice este reprezentarea grafic declarativ, care poate fi utilizat fie pentru reprezentarea
cunotinelor sau pentru suportul sistemelor automate. Unele vesiuni sunt foarte informale, dar alte
versiuni sunt definite n mod oficial sisteme de logic.
Mai jos avem ase dintre cele mai frecvente tipuri de reele semantice:
1.Reele de definire este o relaie ntre un tip de concept i un subtip nou definit. Reeaua
care rezult, de asemenea numit o generalizare , sprijin regula de motenire pentru copierea
proprietilor definite pentru un supertype destinate pentru toate subtipurile sale. Din moment ce
definiiile sunt adevrate prin definiii, informaiile din aceste reele sunt de multe ori considerate
de a fi neaprat adevrate.
2.Reele de afirmare au fost concepute pentru a-i afirma propoziiile. Spre deosebire de
reelele de definire, informaiile ntr-o reea de afirmare se presupune de a fi adevrate, dac nu
este n mod explicit, marcat cu un operator modal. Unele reele de afirmare au fost propuse ca
modele de structuri conceptuale care stau la baza semantic ca limbaj natural.
3.Reele de implicare folesete implicaia ca raport primar pentru conectarea noduri. Ele
pot fi folosite pentru a reprezenta modele de credine, cauzalitate, sau deducii.
5.Reele logice - construiesc sau prelungesc reprezentanele lor prin dobndirea de cunotine
de la exemple. Cunotine noi se poate schimba reeaua veche, prin adugarea i tergerea
nodurilor i a arcurilor sau prin modificarea valorilor numerice, numite greuti, care sunt
asociate cu noduri i arcuri.
6.Reelele hibride - combin dou sau mai multe dintre tehnicile anterioare, fie ntr-o reea
unic sau separat, dar cu o interaciune strns cu reelele.
Unele dintre reele au fost concepute n mod explicit s pun n aplicare ipoteze despre mecanismele
cognitive umane, n timp ce altele au fost proiectate n primul rnd pentru eficiena calculatoarelor.
Uneori, motive de calcul poate duce la aceleai concluzii ca probe psihologice.