Epistemologija

John L. Pollock
mogu}e projicirati smatrati svaku konjunkciju atomskih formula i negaciju
atomskih formula, iako moram naglasiti da je to pojednostavljeno i
da }emo to shva}anje kasnije morati razjasniti.
No ostaje jo{ jedan problem vezan uz tu implementaciju. OPA@AJNA-
-POUZDANOST od nas zahtijeva da znamo da je R istinito u trenutku
opa`aja. Obi~no }emo to znati samo ako taj zaklju~ak izvedemo iz ~injenice
da je R ranije bilo istinito. Narav takve vrste izvo|enja bit }e tema
sljede}eg odjeljka. Bez tog izvo|enja nije mogu}e dati zanimljive primjere
implementacije koju smo upravo opisali pa }emo to odgoditi za
odjeljak 7.
6. Temporalna projekcija 19
Shema razloga OPA@ANJE omogu}uje ~iniocu da izvede zaklju~ke o svojoj
trenutnoj okolini na temelju svojih trenutnih opa`aja. Prirodno je
pretpostaviti da je to dovoljno da ~iniocu pru`i osnovne podatke koji su
mu potrebni za dono{enje sudova o svijetu, a ako to nadopunimo shemama
razloga »vi{e razine« koje mu omogu}uju da induktivno zaklju~uje
te dodamo neke sheme razloga posebne namjene koje se odnose na zaklju~ivanje
o osobitim predmetima kao {to su umovi drugih, mo`da }e
~inilac mo}i zaklju~ivanjem prona}i put do slo`enog modela svijeta. No
u takvom zaklju~ivanju postoji praznina koju su epistemolozi previdjeli.
Problem je u tome {to je opa`anje zapravo neka vrsta ku{anja uzoraka.
Nije mogu}e neprekidno opa`ajno pratiti ~itavo stanje svijeta. Sve {to
mo`emo u~initi je ku{ati male prostorno-vremenske komadi}e svijeta te
iz kombinacije tih uzoraka izvesti zaklju~ke. Uz izvo|enje zaklju~aka iz
opa`ajnih uzoraka vezana je iznena|uju}a pote{ko}a. Ona se mo`e ilustrirati
primjerom robota ~iji je zadatak vizualno o~itati dva razli~ita brojila,
a zatim pritisnuti jednu od dvije tipke, zavisno o tome koje brojilo pokazuje
ve}u vrijednost. To ne bi trebao biti te`ak zadatak, no ako pretpostavimo
da robot mo`e o~itati samo jedno brojilo u danom trenutku, on
ne}e mo}i do}i do potrebnih informacija o brojilima samo pomo}u
sheme razloga OPA@ANJE. Robot mo`e o~itati jedno brojilo i izvesti
zaklju~ak o njegovoj vrijednosti, no kada promijeni svoj polo`aj radi
19 U ovom odjeljku su djelomi~no kori{teni materijali iz Pollock, »Reasoning about
Change and Persistence«.
500