Epistemologija

16. Proceduralna epistemologija
=================================
Opravdano vjerovanje da je ((Fred plave boje) u trenutku 50)
s nepobijenom-razinom-podr{ke 0.960
odgovori #
=================================
# 7
∼((Fred je crvene boje) u trenutku 50)
Izvedeno pomo}u:
podr{ke-veze #5 iz {6} pomo}u NEKOMPATIBILNIH-BOJA
nepobijena-razina-podr{ke = 0.960
pobijeno: {veza 2 za ~vor 3}
vvvvvvvvvvvvvvvvvvvvvvvvvvvvv
# je postao pobijen.
vvvvvvvvvvvvvvvvvvvvvvvvvvvvv
=================================
Smanjenje nepobijene-razine-podr{ke za ((Fred je crvene boje) u trenutku 50)
povla~i prethodni odgovor na #
=================================
=============KRAJNJE EPISTEMI^KO ZANIMANJE============
Na zanimanje za (? x)((Fred je x boje) u trenutku 50)
odgovara ~vor 6: ((Fred je plave boje) u trenutku 50)
---------------------------------------------------------
Okrenimo se sada problemu {to smo ga spominjali vezano uz OPA-
@AJNU-POUZDANOST. Rije~ je o tom da }emo obi~no znati R-u-t
samo izvode}i ga iz R-u-t0 za neko t0 < t (pomo}u TEMPORALNE-
-PROJEKCIJE). TEMPORALNA-PROJEKCIJA je razlog unazad. To jest,
ako je zadana neka ~injenica P-u-t, zaklju~iva~ izvodi samo P-u-t* (za
t* > t) kada zaklju~ak budi zanimanje. Na`alost u OPA@AJNOJ-POUZDA-
NOSTI R-u-t nije zanimanje te kao takvo ne}e biti izvedeno iz R-u-t0 pomo}u TEMPORALNE-PROJEKCIJE. Tu je te{ko}u mogu}e zaobi}i
formuliranjem OPA@AJNE-POUZDANOST s dodatnom premisom-unaprijed
R-u-t0 koja je ozna~ena kao trag i premisom unazad R-u-t:
(def-unazad-podsijecanje OPA@AJNA-POUZDANOST
:pobijeno *opa`anje*
:premise-unaprijed
’’((vjerojatnost da p s obzirom na ((Opa`aj sa sadr`ajem p) & R)) ? s)’’
(:uvjet (i (R za koje je mogu}a projekcija) (s < 0.99)))
’’(R u vremenu0)’’
(:uvjet (vrijeme0 < vrijeme))
(:trag? t)
:premise-unazad ’’(R u vremenu)’’
:varijable p vrijeme R vrijeme0 s
:osporivo? t
:opis ’’Kada opa`aj nije pouzdan, nije razumno prihvatiti njegove reprezentacije.’’)
507