;;;Dave Phillips
;;;CSE740
;;;EVIDENCE

;;;clean network
(resetnet t)

;;;;;;;;;;;;;;;context;;;;;;;;;;;;;;;
;;;If every day the sun has risen in the east
;;;then you begin to think your hypothesis might be right
;;;because there is a large amount of evidence to support it.


;;;;;;;;represented context;;;;;;;;;;;;;;;
;;;One begins to think their hypothesis might be right
;;;if there is a large amount of evidence to support it.


;;;define relations
(define member class agent act action object
	subclass superclass property lex 
	object1 object2 rel possessor proper-name)


;;;person P believes hypothesis HYP
(describe (add member #p   class (build lex "person")))
(describe (add member #hyp class (build lex "hypothesis")))
(describe (add agent *p act (build action (build lex "hypothesize") object *hyp)))


;;;there's much evidence E supporting HYP
(describe (add member #e class (build lex "evidence")))
(describe (add object *e property (build lex "prevalent")))
(describe (add object1 *e rel (build lex "support") object2 *hyp))


;;;evidence effects belief
(describe (add forall ($x $y $z)
	       &ant ((build agent   *x act (build  action  (build lex "hypothesize") object *y))
		     (build member  *z class (build lex "evidence"))
		     (build object  *z property (build lex "prevalent"))
		     (build object1 *z rel (build lex "support") object2 *y))
	       cq    (build agent   *x act (build action believe object *y)))) 


;;;evidence is information
(describe (add forall $x
	       ant (build member *x class (build lex "hypothesis"))
	       cq  (build member *x class (build lex "information"))))

(describe (add forall ($x $y)
	       &ant ((build object1 *x rel (build lex "support") object2 *y)
	             (build member  *y class (build lex "information")))
	       cq    (build member  *x class (build lex "information"))))