Hi, I think the best way to capture this would be :
(deftemplate <relation>Of ( slot person ) ( slot relation) ): states who is the <relation> of whom. A person need not then store the references to each relation. And also the cardinality issues get evened out, i.e. it is easier to represent the fact that i have 2 brothers and 3 uncles . Also this way i think one would be able to further reason about the relations themselves. Kartik Tadanki. NCSU. Wolfgang Laun wrote: > If your Person-fact has a slot hasUncle, the what do you need a rule for? > And then, what do you do if a person has more than one brother? > > The clue is in the answer to this question: > Which relatives of a person are guaranteed to be singletons? > > -W > > On Mon, Mar 30, 2009 at 5:29 PM, The Boy <[email protected] > <mailto:[email protected]>> wrote: > > > Hello all, > how I can define the equivalence of this rule ?x hasFather ?y ∧ ?y > hasBrother ?z => ?x hasUncle ?z > in Jess/CLIPS . I assume that ?x, ?y and ?z are instances of class > Person; > and class Person has 3 slots (hasBroher with type > Instance,hasFather with > type Instance ,hasUncle with type Instance) > > Thanks in advance. > > Joe_ > -- > View this message in context: > http://www.nabble.com/define-Uncle-rule-tp22785792p22785792.html > Sent from the Jess mailing list archive at Nabble.com. > > > > -------------------------------------------------------------------- > To unsubscribe, send the words 'unsubscribe jess-users > [email protected] <mailto:[email protected]>' > in the BODY of a message to [email protected] > <mailto:[email protected]>, NOT to the list > (use your own address!) List problems? Notify > [email protected] <mailto:[email protected]>. > -------------------------------------------------------------------- > >
