Question re. test-suite/conceive

Hi ...



Looking at the normalization test cases in test-suite.plm



(clear-module "TEST")



(conceive (and))  ;; are we adding new terms to PL-KIF here? is that what conceive is  used for

(conceive (or))

(conceive (not))



(conceive (and (relation relation)))  ;; is previous definiton of and needed before this can be stated?

(conceive (or (relation relation)))



(defrelation r1 ((?x relation) (?y relation)))

(defrelation r2 (?x ?y) :<=> (r1 ?y ?x))

(defrelation r3 (?x ?y) :<=> (and (r1 ?y ?x) (= ?x ?y))) ;; which and is being used here? the

new one we defined above? But that one
takes two relations as params, not two terms...judging from the
expansion of R3, I think it is the pre-defined and.



(process-definitions) ;; Q. why do I need this at this point in the file...to mak sure the conceive statements are expanded?



(print-rules r1)

....



Executing the code I see:



STELLA> (print-rules r1)

(FORALL (?y ?x)

   (=>> (R1 ?y ?x)   ;;
where does this =>> come from..I see nothing in the code that
would cause this expansion. It should be a simple <= or =>..see
highlighted rule above

        (R2 ?x ?y)))



(FORALL (?y ?x)

   (<= (R1 ?y ?x)

       (R2 ?x ?y)))



(FORALL (?y ?x)

   (<= (R1 ?y ?x)

       (R3 ?x ?y)))



Also, does conceive allow as to extend KIF with new primitives. What is the purpose of conceive...



Thanks

Srini

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum