Epistemologija

John L. Pollock
(def-razlog-unaprijed simbol
:premise-unaprijed popis formula po izboru razasutih pomo}u izraza u obliku
(:vrsta…) ili (:uvjet…)
:premise-unazad popis formula po izboru razasutih pomo}u izraza u obliku
(:vrsta…) ili (:uvjet…)
:zaklju~ak formula
:ja~ina broj ili izraz koji sadr`i neke od varijabli-razloga izra`en u obliku broja.
:varijable popis simbola
:osporivo? T ili NIL (polazno je NIL)
:opis neobavezni niz (u navodnicima) koji opisuje razlog)
(def-razlog-unazad simbol
:zaklju~ak formula
:premise-unaprijed popis formula po izboru razasutih pomo}u izraza u obliku
(:vrsta…) ili (:uvjet…)
:premise-unazad popis formula po izboru razasutih pomo}u izraza u obliku
(:vrsta…) ili (:uvjet…)
:uvjet ovo je predikat primijenjen na obvezatnost koju producira ciljna posljedica
:zaklju~ak formula
:ja~ina broj ili izraz koji sadr`i neke od varijabli-razloga izra`en u obliku broja
:varijable popis simbola
:osporivo? T ili NIL (polazno je NIL)
:opis neobavezni niz (u navodnicima) koji opisuje razlog)
Upotreba tih macro-naredbi bit }e ilustrirana u nastavku.
Epistemi~ko zaklju~ivanje zapo~inje slu~ajnom informacijom unesenom
u sustav u obliku opa`aja. Opa`aji su kodirani kao strukture sa
sljede}im poljima:
• sadr`aj-opa`aja – formula, s ugra|enom temporalnom referencom
• jasno}a-opa`aja – broj izme|u 0 i 1, kojim se nazna~uje koliko jak
razlog taj opa`aj daje za zaklju~ak izvo|enjem iz opa`aja.
• datum-opa`aja – broj.
Kada se OSCAR-u predstavlja novi opa`aj, konstruira se ~vor izvo|enja
vrste :opa`aj, koji sadr`i ~vor-formulu koja predstavlja opa`aj-sadr`aj
opa`aja (ta informacija uklju~uje i opa`aj-datum). Taj se ~vor izvo|enja
tada ume}e u red izvo|enja radi obrade.
Pomo}u gore opisanih alata OPA@ANJE mo`emo ra~unalno implementirati
kao jednostavan razlog unaprijed:
(def-razlog-unaprijed OPA@ANJE
:premise-unaprijed »(p u vremenu)« (:vrsta :opa`aj)
:zaklju~ak »(p u vremenu)«
:varijable p vrijeme
498