Heuristika: erinevus redaktsioonide vahel

Heuristika ehk ''ars ivendi'', mis tähendab leidmise, loomise, väljamõtlemise või leiutamise teadust või kunsti on oma algses tähenduses seotud [[loogika]], [[filosoofia]] ja [[psühholoogia]]ga. Heuristika on valdkond, mis käsitleb ''loova mõtlemise'' eripära. Uuritakse võtteid, mille abil on õnnestunud leida mingi praktilise või teoreetilise probleemi ligikaudne kuid kiire lahendus. Rakendatakse „ajurünnakut“"ajurünnakut", [[hüpotees|tööhüpoteese]] ja [[modelleerimine|modelleerimist]], sh [[matemaatika|matemaatilist]], mõttelist ja arvutieksperimenti. Ka range [[tõestus]]e konstrueerimisel on heuristilised arutelud vajalikuks osutunud.

[[Pappos Aleksandriast]] (ca 300 pKr), tuntud [[kreeka]] [[matemaatik]] kirjutab oma „Synagoge’s“"Synagoge’s" teadusharust, mis tõlkes tähendab ka „analüüsi"analüüsi aardeid“aardeid" või „ülesannete"ülesannete lahendamise kunsti“kunsti" või koguni „heuristikat“"heuristikat", milles õpetab analüüsi ja sünteesi võtteid. Pappos kirjutab, et [[analüüs]]i puhul lähtume sellest, mida nõutakse, me võtame selle antuna, teeme sellest järeldusi, järeldustest jälle järeldusi kuni jõuame punkti, mida saab kasutada sünteesi lähtekohana. [[Analüüs]]i nimetatakse ka „tagasisuunas"tagasisuunas lahenduseks“lahenduseks" ehk „regressiivseks"regressiivseks aruteluks“aruteluks". On olemas kahte liiki analüüsi: üks on „tõestusülesannete“"tõestusülesannete" analüüs, mille eesmärgiks on tõeste teoreemide kindlakstegemine, teine on „leidmisülesannete“"leidmisülesannete" analüüs ja selle eesmärgiks on otsitava leidmine. ''[[Süntees]]i'' puhul muudame selle protsessi suunda ning alustame punktist, milleni me analüüsi lõpptulemusena jõudsime, sellest, mida me kas teame või võime tunnistada tõeks. Sellest tuletame temale analüüsi käigus eelnenud järelduse ja jätkame tuletamist seni, kuni analüüsi samme tagurpidi korrates jõuame lõpuks selleni, mida nõutakse. [[Süntees]]i nimetatakse ka „konstruktiivseks"konstruktiivseks lahendamiseks“lahendamiseks" ehk „progressiivseks"progressiivseks aruteluks“aruteluks"

[[René Descartes]] ([[1596]]–[[1650]]) kavatses välja töötada ülesannete lahendamise universaalse meetodi, kuid tema „Mõistuse"Mõistuse suunamise reeglid“reeglid" jäid lõpetamata. Selle katkendid leiti tema käsikirjade hulgast ja need sisaldavad rohkem ja huvitavamaid materjale ülesannete lahendamise kohta kui tema põhiteos. <ref name="Jy5mf" /> Descartes pidas väga oluliseks ''[[intuitsioon]]i''.

[[Gottfried Wilhelm Leibnitz]] ([[1646]]–[[1716]]) kavatses kirjutada „leiutamise"leiutamise kunsti“kunsti" kuid ei viinud oma kavatsust lõpule. Mõned mõtted tema poolelijäänud tööst (u [[1700]]. aastal): ''„Kõik"Kõik asjad ja nähtused on tõesed kui nende eksisteerimisel on küllaldane alus. Empiiriline kogemus ainult vallandab tunnetustegevuse. Pole midagi tähtsamat kui näha leiutamise allikaid, mis minu arvates on huvitavam kui leiutised ise. Mõistuses ei ole midagi, mida varem pole olnud kogemustes – peale mõistuse enda“enda"''.<ref name="Kbb46" /> Leibnitz püüdis luua universaalset keelt, loogilist arvutust, mis võimaldaks ''mõtlemist formaliseerida''.

[[Bernard Bolzano]] ([[1781]]–[[1848]]) rakendas ''arutluse loogilise ranguse'' nõuet. Suure osa oma raamatust „Wissenschaftslehre“"Wissenschaftslehre" ([[1837]]) pühendas heuristika ainele. <ref name="RHlSK" /> Selles kirjutab ta: ''„Ma"Ma ei arva, et suudan siin esitada mingi uurimismeetodi mida kõik andekad inimesed pole juba ammu taibanud. Samuti ei saa anda lubadust, et te siit selle valdkonna kohta midagi täiesti uut leiate. Kuid ma püüan selgelt sõnastada need uurimisviisid ja –reeglid millest peavad kinni kõik võimekad inimesed, ehkki nad enamasti ei tea, et nad neist kinni peavad. Kuigi ma olen kaugel illusioonist, et sellega edukalt toime tulen, loodan siiski, et ka see vähene, mis siin esitatud, meeldib mõnedele ja leiab hiljem mingil määral rakendamist“rakendamist"''.

[[George Pólya]] ([[1887]]–[[1985]]) hindab kõrgelt oma eelkäijaid, eriti Bolzanot. Ta leiab, et ''„…"… vajalikku informatsiooni heuristika edendamiseks tuleb hankida mitmesugustest allikatest, millest ühtki ei tohi ignoreerida. Tuleb arvestada nii loogilist kui ka psühholoogilist tagapõhja. Ei tohi arvestamata jätta, mida selle kohta on öelnud vanad autorid kuid veelgi vähem võib jätta arvestamata eelarvamusteta võetavaid kogemusi“kogemusi"''. Ta leiab ka, et ''„heuristiline"heuristiline arutlus peaks tuginema peamiselt induktsioonile ja analoogiale“analoogiale"''. Oma raamatus „How"How to solve it: A new aspect of mathematical method“method" ([[1946]]) märgib ta, et heuristika ainel on väga mitmekülgsed seosed [[matemaatika]], [[loogika]], [[psühholoogia]], [[pedagoogika]] ja isegi [[filosoofia]]ga. <ref name="Nztca" /> See raamat kujutab endast teatud „heuristika"heuristika leksikoni“leksikoni", mille lühiartiklid on organiseeritud originaalseks ''heuristiliste eeskirjade süsteemiks''. Iseloomustamaks seda eeskirjade süsteemi toome mõned märksõnad ja fraasid: ''avastamise reeglid, analoogia, definitsioon, diagnoos, dekomponeerimine ja komponeerimine, induktsioon, intelligentne lahendaja, kontroll, lahendusplaan, leidmis- ja tõestusülesanded, meelekindlus, otsitav, pedantsus ja meisterlikkus, reductio ad absurdum, sümmeetria, terminid, tingimused, tulemus, vanasõnade tarkus, üldistamine, varieerimine''. Kõik mõttekäigud on illustreeritud matemaatiliste ülesannete abil. G. Polya lõi olulise metodoloogilise baasi kaasaegse heuristika edendamiseks.

Inimese [[looming]]uline mõtlemine – aju töötamine ja mõtlemisprotsess – on sisuliselt heuristilised protsessid. Uurimused on näidanud, et inimese ajus kujuneb tema loomeprotsessi käigus väliskeskkonna „sisemine"sisemine mudel“mudel", mis pidevalt muutub ja täiustub ning mille alusel ta kontrollib (tihti alateadlikult) oma lahendusi, mille seast valib välja ratsionaalsed.

Kaasaegne heuristika on seotud ka ''[[tehisintellekt]]i probleemidega''. Viimase uurimisel oli juba möödunud sajandi kuuekümnendail kaks suunda, [[bioonika|biooniline]] ja heuristiline. Kui biooniline suund orienteerub inimese [[füsioloogia|füsioloogilisusele]], siis heuristiline orienteerub [[intellekt|intellektuaalse]]uaalse tegevuse [[psühholoogia]]le. Heuristilises suunas püütakse reprodutseerida (simuleerida) mõistuse välispidist tegevust, eriti [[looming]]ulist – teisest küljest aga ülesannete lahendamisviisi, mis ei ole seotud jäikade reeglitega ning on seotud riskiga.

On leitud, et heuristiline meetod on üks katse-eksituse meetodi erijuhtum. <ref name="zqquv" /> See eristavat heuristika deduktiivsetest meetoditest sellega, et töötab ''oletuste, analoogiate, tööhüpoteeside, provisoorsete mudelite jt'' baasil. Tõepoolest, heuristiline meetod ise ei ole mingi tõestusviis, vaid teatud menetlus, mis tõesuse otsimisel abiks võib olla. Heuristika uurib konkreetseid avastamise ja leiutamise juhuseid ning püüab nende üldisi seaduspärasusi välja selgitada. Selles mõttes on heuristika üks ''empiiriline teadus'', mis kasutab eksperimentaalse [[psühholoogia]], [[informaatika]], informatsioonipsühholoogia, samuti [[neurofüsioloogia]] tulemusi ja meetodeid. Teisest küljest on heuristilised meetodid simuleeritavad nagu näiteks, malemänguautomaadid. Heuristika on [[loogika]] üks oluline püsiosa. Kui heuristiliste meetodite abil on mingi tõestus leitud, mingi ülesanne lahendatud, võib seda tõestust üldjuhul rangelt loogiliselt esitada. Kui see on samal ajal ka rangelt formaliseeritud, siis võib väita, et heuristika asub ''empiirilise- ja täppisteaduse piirimail''.

Juba 1976. aastal kinnitas M. Haase-Rapoport kogumikus „Control"Control, Information, Intellect“Intellect", et suurte [[süsteem]]ide keerukus teeb nende analüüsimisel ja projekteerimisel matemaatiliste täppismeetodite kasutamise võimatuks <ref name="58T04" /> Sellepärast on laialdast levi saanud heuristilised meetodid, olgu need nii „matematiseeritud“"matematiseeritud" kui tahes. Heuristilised eeskirjad omavad metodoloogilist iseloomu ja selles mõttes on nad küllaltki suure praktilise kogemuse üldistused, nagu: a) mõistliku universaalsuse printsiip, mis hoidub „üliunivesaalsusest“"üliunivesaalsusest"; b) hierarhilisuse printsiip, mille järgi ühele hierarhilisele üksusele võiks alluda 3 – 5 allüksust; c) arengu ettevalmistamise printsiip, mille alusel peab süsteemi struktuur olema projekteeritud teatud liiasusega.

Samas kogumikus väidetakse, et ''kõik [[looming]]ulised protsessid on heuristilised'' kuid ''mitte kõik heuristilised protsessid pole [[looming]]ulised'', sest: a) heuristiline protsess võib olla hästi kasutatav ka mitte ainult põhimõtteliselt uue infostruktuuri konstrueerimiseks; b) heuristiline protsess võib olla formaliseeritud kuid viimane ei pea olema tingimata loominguline. Mingi ''uus'' võib olla saadud ka täielikult formaliseeritud protsesside abil. Kuid see ei ole heuristika mitte oma otseses tähenduses. Kõige loomulikumas tähenduses on heuristilised need protsessid, mis ei garanteeri mingi situatsiooniga seotud uue „mehaanilist"mehaanilist sündi“sündi".

Kas [[matemaatika]] on täielik? [[1931]]. aastal jõudis [[austria]] matemaatik [[Kurt Gödel]] tõdemuseni (kas ka heuristilisi meetodeid kasutades?), et matemaatilist (aritmeetilist) tõde pole võimalik täielikult formaliseerida (loomeprotsessist rääkimata!). Tema kuulus teoreem mittetäielikkusest väidab, et iga küllaltki keerulise matemaatilise süsteemi korral eksisteerib selles mingi tõene väide, mida aksioomidest lähtudes pole võimalik tõestada. Siin kerkib kohe küsimus: kas ehk heuristika ei päästaks matemaatika niisugusest ummikseisust välja? On tõdetud, et just heuristiliste algoritmide baasil on jõutud [[graaf]]ide „varjatud"varjatud külgede“külgede" jälile.