Rad donosi pregled matematičkih pristupa postavljanju modela uma od 1950ih godina. Teškoće sa kojima se susreću ovi pristupi odnose se na fundamentalnu nepotpunost logike koju je otkrio K. Godel. Jedno od novijih dostignuća u matematici, dinamička logika (DL) prevazišlo je poteškoće iz prošlosti. DL je opisana i konceptualno i u kontekstu neuronauke, psihologije, kognitivne nauke i filozofije. DL daje model za više kognitivne funkcije: koncepte, emocije, instinkte, razumevanje, maštu, intuiciju, svest. DL se dovodi u vezu sa instinktivnim znanjem koje pokreće naše razumevanje sveta i služi kao temelj za više kognitivne funkcije. Estetske emocije i shvatanje lepote u vezi su sa “svakodnevnim” funkcionisanjem mozga. Ovaj članak donosi pregled mehanizama ljudskih sposobnosti za simbolizam, jezik i razum, zajedničku evoluciju uma, svesti i kulture. On dodiruje mnogostruke estetske emocije u muzici, njihovu kognitivnu funkciju, poreklo i evoluciju. Ovaj članak usmerava pažnju na razlučivanje prvih principa i donosi pregled onih aspekata ove teorije koji su potvrđeni u laboratorijskim istraživanjima.
Fizika i um
Fizika je usmerena prema prvenstvenim principima, malom broju fundamentalnih prirodnih zakona koji objašnjavaju značajan deo znanja u nekoj širokoj oblasti. Nedavna otkrića u neuronauci omogućavaju identifikaciju prvenstvenih principa uma-mozga. Ovi fundamentalni zakoni predmet su interesovanja ovog rada.
Logika naspram uma
Dugo se verovalo da je inteligencija ekvivalentna logičkom konceptualnom razumevanju i razumnom razmišljanju. Iako je očigledno da um nije logičan, u toku dva milenijuma od Aristotelovog vremena, mnogi ljudi poistovećivali su snagu inteligencije sa logikom. Osnivači veštačke inteligencije iz 50ih i 60ih godina XX veka verovali su da će, oslanjajući se na pravila logike, brzo razviti računare čija će inteligencija višestruko prevazići ljudski um.
Ova priča počinje sa Aristotelom, izumiteljem logike1. Aristotel, međutim, nije smatrao da um funkcioniše na principima logike: on je izumeo logiku kao superioran mehanizam rasprave, ne kao teoriju uma. Ovo se jasno vidi iz mnogih radova koje je napisao, na primer, u “Aleksandrovoj retorici” Aristotel navodi desetine tema o kojima je Aleksandar morao da govori u javnosti2. Za svaku temu, Aristotel je identifikovao dva suprotna stanovišta (npr. sklopiti mir ili objaviti rat; mučiti ili ponuditi zlato za dobijanje istinite informacije itd). Za svako od suprotnih stanovišta, Aristotel je davao logične argumente za i protiv. Jasno je da je za Aristotela logika bila instrument za izražavanje prethodno već donetih odluka, a ne mehanizam uma. Logika može da obezbedi samo dedukciju iz prvenstvenih principa, ali ne može da ukaže na to šta bi trebalo da budu prvenstveni principi. Kako bi objasnio um, Aristotel je razvio teoriju Oblika, koja će biti razmatrana kasnije. Međutim, tokom vekova koji su usledili, suptilnost načina razmišljanja Aristotela i njegovih sledbenika nije uvek bila pravilno shvatana. Sa procvatom nauke, ideja da je inteligencija ekvivalentna logici dobivala je na značaju. U XIX veku, matematičari su svoju pažnju usmerili na logiku. Džordž Bul je primetio da su temelji Aristotelove teorije logike bili nezadovoljavajući. Ovi temelji uključivali su zakon isključivanja sredine (ili zakon isključivanja treće mogućnosti) prema kome je svaka izjava ili tačna, ili netačna, a sve ostale mogućnosti su isključene3. Međutim, Aristotel je takođe naglašavao da logičke izjave ne bi trebalo da budu formulisane preterano precizno (na primer, merica pšenice ne bi trebalo da se definiše do svakog pojedinačnog zrna), da se jezikom implicira odgovarajući stepen preciznosti i da svako ima um koji će mu omogućiti da odluči šta je to razumna preciznost.
Bul je smatrao da bi trebalo ispraviti kontradiktornost između preciznosti zakona o isključenju sredine i neodređenosti jezika. Tako je rođena nova grana matematike, formalna logika. Istaknuti matemaatičari doprineli su razvoju formalne logike, među njima i Džordž Bul, Gotlib Frege, Georg Kantor, Bertrand Rasel, Dejvid Hilbert i Kurt Godel. Logičari su “odbacili” neodređenost jezika i ustanovili formalnu matematičku logiku na temeljima zakona o isključenju sredine. Hilbert je razvio pristup nazvan formalizam, koji je pokušao da definiše naučne objekte formalno, kroz aksiome i pravila. Hilbert je bio ubeđen da njegova logična teorija opisuje i mehanizme ljudskog uma: “Fundamentalna ideja moje teorije dokaza je upravo da opiše aktivnost našeg razumevanja, da napravi protokol od pravila po kojima se naše razmišljanje, zapravo, odvija.”
Skoro istog trenutka kad je Hilbert formulisao svoj program formalizacije, u njemu se pojavila prva rupa. Rasel je, 1902. godine, otkrio nedoslednost formalne logike, uvodeći skup R na sledeći način: R je skup svih skupova koji nisu članovi samih sebe. Da li je R član od R? Ako nije, onda bi trebalo da pripada skupu R u skladu sa datom definicijom, ali ako bi R bio član od R, onda je to u kontradiktornosti sa definicijom. Tako, kako god gledamo, dolazimo do kontradiktornosti. Ovo pitanje je postalo poznato kao Raselov paradoks. Kolokvijalna formulacija ovog paradoksa postavlja sledeće pitanje: “Brica brije svakog ko ne brije sam sebe. Da li brica brije sam sebe?”. Bilo koji odgovor na ovo pitanje (da ili ne) dovodi do kontradikcije. Ovaj brica, baš kao i Raselov skup, može da bude logično definisan, ali ne može da postoji. U narednih 30 godina, matematičari su pokušavali da razviju matematičku logiku koja će biti sama sebi dosledna i koja neće sadržati paradokse ovog tipa. Ali, 1931. godine, Godel je dokazao da tako nešto nije moguće5, formalna logika je nedosledna i sama sebi kontradiktorna.
Vera u logiku ima duboke psihološke korene koji su u vezi sa funkcionisanjem ljudskog uma. Veliki deo percepcije i spoznaje nije direktno dostupan svesti. Mi nismo svesni da naši neuroni šalju signale; mi smo samo svesni “konačnih ishoda” ovakvih procesa, koje naš um doživljava kao “koncepte” koji se, približno, pokoravaju formalnoj logici. Upravo iz tog razloga laici i istaknuti matematičari veruju u logiku. Čak i nakon Godelovog dokaza, osnivači veštačke inteligencije u 50im i 60im godinama XX veka i dalje su insistirali na tome da je logika dovoljna da objasni funkcionisanje ljudskog uma.
Problemi modelovanja ljudskog uma nakon 50ih godina prošlog veka: kompleksnost i logika.
Jednostavna percepcija predmeta podrazumeva signale “odozdo” od čulnih organa i signale “odozgo” koji potiču od mentalnih predstava (uspomena) predmeta. U toku vizuelne percepcije, ovi signali interaguju u vizuelnom korteksu, um povezuje signale koji pristižu od predmeta sa mentalnim predstavama o tom predmetu. Na taj način nastaje prepoznavanje predmeta: ono aktivira signale u mozgu koji dovode do mentalnih i bihevijoralnih odgovora, što sve zajedno čini razumevanje.
Razvoj matematičkih opisa prvog koraka prepoznavanja u ovom naizgled jednostavnom procesu asocijacija-prepoznavanja-razumevanja naišao je na nepremostive teškoće. Ove teškoće mogu ukratko da se predstave idejom kompleksnosti kombinatorike (KK)6. KK se odnosi na višestruke kombinacije; recimo, ako prepoznavanje određene scene zahteva istovremeno prepoznavanje više predmeta sa kojima bismo mogli da se susretnemo u različitim međusobnim kombinacijama. KK predstavlja ograničenje jer je broj kombinacija ogroman: na primer, uzmimo u obzir 100 predmeta (što nije preveliki broj, jer kad pogledate u nekom pravcu obično vidite više od 100 predmeta). Broj kombinacija 100 predmeta je 100100, što prevazilazi broj svih događaja u kojima su učestvovale elementarne čestice u celokupnoj istoriji kosmosa. Um nikada ne bi mogao da proračuna tako veliki broj kombinacija.
Ispostavilo se da su različiti pojavni oblici KK u veštačkoj inteligenciji, prepoznavanju obrazaca, neuralnim mrežama, neodređenoj logici itd svi u vezi sa formalnom logikom i Godelovom teorijom. Čak i matematički pristupi koji su razvijeni upravo da prevaziđu logiku, kao što su neuralne mreže i neodređena logika, i dalje se oslanjaju na logiku u procesu obuke ili učenja: npr. “ovo je stolica” – je logična izjava.
Dinamička logika (DL)
DL je izmišljena kako bi se prevazišle poteškoće klasične formalne logike i KK7,8. Prema DL, mentalne predstave u pamćenju su neodređene i približno odgovaraju većem broju predmeta i situacija. Stoga ne postoji potreba da se uzima u obzir veći broj kombinacija. U procesu percepcije i spoznaje, mentalne predstave se modifikuju tako da više odgovaraju senzornim informacijama. Što je poklapanje bolje, to se neodređenost smanjuje. Predstave postaju oštrije; one se međusobno nadmeću za dokaze dobijene iz primljenih podataka (signala “odozdo”). Predstave koje se najbolje uklapaju sa podacima pobeđuju u ovom nadmetanju, postaju oštre i dostupne svesti. Ukratko, DL je proces od-mutnog-ka-oštrom i od nesvesnog ka svesnom (ili od manje svesnog ka više svesnom).
Oslanjajući se na poznavanje neuralnih mehanizama percepcije, koji su otkriveni poslednjih decenija, svako može eksperimentalno da potvrdi, u roku od 3 sekunde, da DL proces od-mutnog-ka-oštrom funkcioniše u njegovom/njenom umu i mozgu. Zatvorite oči i zamislite neki predmet ispred sebe. Ova zamisao je nejasna, mutna, i nije tako oštra kao percepcija predmeta sa otvorenim očima. Takođe, nije ni toliko dostupna svesti – sa otvorenim očima teško nam je i da se svesno setimo predstave koju smo zamislili. Sličan eksperiment je sproveden, uz nešto detaljniji pristup, pomoću instrumenata za snimanje moždanih aktivnosti na Univerzitetu Harvard u laboratoriji Moš Bara9. Percepcija predmeta nije trenutna, kao što se čini. Ovaj proces traje prosečno jednu šestinu sekunde. Svesnoj percepciji prethodi aktivacija oblasti u korteksu u kojima se čuvaju uspomene – predstave predmeta. Prvobitne projekcije ovih predstava na vizuelni korteks su neodređene. Ove neodređene predstave i ceo proces, koji traje šestinu sekunde, nisu dostupni svesti.
Primer DL operacija dat je na slici 1. Svi pravi obrasci, bez smetnji, prikazani su na slici A, dok su stvarno dobijeni podaci, sa smetnjama, dati na slici B. Ranije je pronalaženje obrazaca pod smetnjama, kao što je to na slici B, predstavljalo nerešiv problem zbog KK podešavanja modela dostupnim podacima. DL rešava ovaj problem, kao što je prikazano na slikama C do H. Počev od neodređenog modela (predstave) na slici C, on se sliva u oštru sliku H, sličnu pravim obrascima na slici A.
fizika i um...siroke teme,koje uvek zanimaju ljude za novim istrazivanjima...i kada se spoje, rezultati su definicija...uma i prirode...
Mlada žena preživljava saobraćajnu nesreću. Pet meseci posle nesreće u kojoj je smrskala delove mozga, mogla je samo da otvori oči, ali bez reagovanja na slike, zvuke ili dodire. U neurološkom žargonu opisana je kao u stalnom vegetativnom stanju. U svakodnevnom žargonu, ...
Najbolji simboli i smajlići na jednom mestu. Zanimljivim i originalnim simbolima odnosno smajlićima ulepšajte svoj status na Facebooku. Predstavljamo vam obilnu kolekciju kako simbola tako i smajlića kako bismo vam olakšali originalnost vašeg novog statusa. Ovi simboli, ...
Vrste Koliko puta vam se dogodilo da jednostavno ne znate šta ćete učiniti koliko ste ljuti, ili ste dobili kritiku od pretpostavljenog koja vas je dovela do suza...? Ljudi različito reaguju u različitim situacijama, što je ohrabrujuće jer na taj način učimo jedni ...
Cirih (nem. Zürich, ital. Zurigo, engl. Zurich, lat. Turicum, Ciriški dijalekt: Züri) je najveći grad u Švajcarskoj, u njenom severnom, nemačkom delu. Cirih je i glavni grad istoimenog kantona. Takođe grad je ekonomsko i saobraćajno središte dražve, a na polju bankarstva ...

Na svetu ima dosta čudaka. Svako ima svoj hobi ali za ovakav do sada nismo niti čuli niti videli. Ovaj ˝simpatičan mladić˝ ima hobi da se postavi iza voditelja kako bi bio viđen na nacionalnoj ili nekoj drugoj televiziji. Možda čovek želi da postane popularan, ...
Prelepo uređeni vrtovi predstavljaju ljubav prema biljkama, uređenom prostoru i radu u sa životnim prostorom koji nas okružuje. Ovako prelepo uređeni vrtovi opuštaju ljude, čine ih srećnim i zadovoljnim. Za ovako uređene vrtove se koriste biljke koje se mogu oblikovati ...

Krdo bizona može se kretati onom brzinom kojom se može kretati najsporiji bizon, nikako brže od toga jer bi inače najsporiji bizon zaostao za krdom. Kad je krdo napadnuto, najslabiji ili najbolesniji bizoni su obično prvi na udaru i oni prvi stradaju jer se nalaze na ...

Lion Sands Ivory Lodge je hotel iz Južne afrike koji se nalazi na privatnom posedu Sabi Sand Game Reserve. Preko nekoliko kilometara proteže se luksuzni hotel koji ima šest apartmana u u formi odvojenih vila sa dnevnom sobom, bazen sa grejačima, kupatilo sa tuš kabinom, ...
Lakši i lepši život, visok privredni rast i niski troškovi života samo su neke od odlika gradova u kojima je najpovoljnije ...

Ako si se uputio prema cilju i putem počeo da zastajkuješ i kamenjem gađaš svakog psa koja na tebe laje, nikada nećeš stići ...
Tajno napravio kuću na drvetu u ekskluzivnom odmaralištu u Kanadi Mesecima je tragao za savršenim drvetom na kom će sagraditi ...