Epistemologija

Razlika izme|u obi~nih premisa-unaprijed i tragova je u tome {to, prilikom
instanciranja traga od strane izvedenog zaklju~ka, taj zaklju~ak nije
naveden na popisu zaklju~aka iz kojeg se izvla~i novi zaklju~ak. Funkcija
tragova je samo to da vode zaklju~ivanje. Stoga u promjeni OPA@AJNE-
-POUZDANOSTI, ako je zaklju~eno R-u-t 0, to sugerira je R-u-t istinito
te vodi do zanimanja za to koje se tada mo`e izvesti iz R-u-t 0 pomo}u
TEMPORALNE-PROJEKCIJE.
Implementacija tih pravila mo`e se ilustrirati sljede}im primjerom:
============================================
Agent `eli znati koje boje je Fred u trenutku 10. U trenutku deset, Fred izgleda
crvene boje. To nam pru`a sna`an osporivi razlog za vjerovanje da je u trenutku 10
Fred crvene boje. Ali u trenutku 15 agent saznaje da je u trenutku 1 nosio nao~ale
s crvenim staklima, a zna da vjerojatnost da ne{to doista jest crveno, s obzirom na
to da nam se ~ini crvenim dok nosimo crvene nao~ale, iznosi ≤ .8. Pomo}u TEM-
PORALNE-PROJEKCIJE ~inilac mo`e izvesti zaklju~ak da je u trenutku 10 i dalje
nosio crvene nao~ale, te da je izvedeni zaklju~ak da je Fred u trenutku 10 crvene
boje, pobijen od strane OPA@AJNE-POUZDANOSTI. SNI@ENO-OPA@ANJE obnavlja
izvo|enje zaklju~ka, ali s ni`om razinom opravdanosti. U trenutku 30 agent saznaje
da je u trenutku 1 njegova okolina bila osvijetljena crvenim svjetlom, a zna da vjerojatnost
da ne{to doista jest crveno, s obzirom na to da nam se ~inilo crvenim kada
je okolina bila osvijetljena crvenim svjetlom, iznosi ≤ .8. Pomo}u TEMPORALNE-
-PROJEKCIJE agent mo`e izvesti zaklju~ak da je okolina bila osvijetljena crvenim
svjetlom u trenutku 10, pa je i drugo izvo|enje zaklju~ka da je Fred u trenutku 10
crvene boje, pobijeno pomo}u OPA@AJNE-NEPOUZDANOSTI. SNI@ENO-OPA@ANJE
obnavlja izvo|enje zaklju~ka, ali s jo{ slabijom razinom opravdanosti. Napokon, u
trenutku 50 agent saznaje da njegova okolina nije bila osvijetljena crvenim svjetlom
u vremenu 8. Pomo}u zaklju~ivanja uklju~enog u opa`ajno a`uriranje, to pobija izvo-
|enje zaklju~ka da je okolina bila osvijetljena crvenim svjetlom i u trenutku 10, obnavljaju}i
tako drugo izvo|enje zaklju~ka da je Fred u trenutku 10 bio crvene boje.
Bitni razlozi-unaprijed:
OPA@ANJE
SNI@ENO-OPA@ANJE
Bitni razlozi-unazad:
OPA@AJNA-POUZDANOST
OPA@AJNA-NEPOUZDANOST
TEMPORALNA-PROJEKCIJA
NEGATIVNO-NA-PO^ETKU
John L. Pollock
Ulazni podaci:
(Fred je crvene boje) : u trenutku 10 s opravdano{}u 1.0
S obzirom na:
((vjerojatnost da je (Fred crvene boje) s obzirom na to da ((posjedujem opa`aj
sa sadr`ajem (Fred je crvene boje)) & moja okolina je osvijetljena crvenom
bojom)) ≤ 0.7) : s opravdano{}u = 1.0
((vjerojatnost da je (Fred crvene boje) s obzirom na to da ((posjedujem opa`aj
sa sadr`ajem (Fred je crvene boje)) & nosim nao~ala s crvenim staklima))
508