Epistemologija

Premise-unaprijed su strukture podataka koje kodiraju sljede}e informacije:
• pu-formula – formula
• pu-vrsta – :izvo|enje, :opa`aj, ili :`elja (zadano je :izvo|enje)
• pu-uvjet – neobavezno ograni~enje koje se mora zadovoljiti ~vorom
izvo|enja kako bi instanciralo tu premisu.
• klju~? – obja{njeno u nastavku.
Sli~no tome premise unazad su strukture podataka koje kodiraju sljede}e
informacije:
• pz-formula.
• pz-vrsta.
• pz-uvjet.
John L. Pollock
Premisa-vrsta koristi se za provjeravanje toga predstavlja li formula iz
koje slijedi izvo|enje unaprijed `elju, opa`aj ili rezultat izvo|enja. Sadr`aji
opa`aja, `elja i izvo|enja kodiraju se svi kao formule, ali zaklju~ci koji
se iz njih mogu izvesti zavise o tome kojoj vrsti te premise pripadaju. Na
primjer, poprili~no razli~ito zaklju~ujemo kad `elimo da x bude crven,
kad imamo opa`aj o x-ovom crvenilu i zaklju~ka da je x crven.
Razlozi-unazad bit }e strukture podataka koje kodiraju sljede}e informacije:
• naziv razloga.
• premise-unaprijed.
• premise-unazad.
• razlog-zaklju~ak – formula.
• varijable-razloga – varijable koje se koriste prilikom uspore|ivanja
obrazaca radi pronala`enja slu~ajeva razloga-premisa.
• ja~ina – realni broj izme|u 0 i 1 ili izraz koji sadr`i neke od varijabli
razloga i numeri~ki se procjenjuje.
• pravilo-osporivosti – T (istinito) ako je razlog osporiv, ina~e NIL (neistinito).
• uvjet-razloga – uvjet kojeg posljedica interesa mora zadovoljiti prije
nego se razlog mo`e upotrijebiti.
496