[agilewiki-wiki] the fun stuff in inferencing is done

[Bill la F. <laf...@ya...>]

OK, fixed the combinatorics error. Its still a brute force approach, which is not a good approach at all, but I'd rather get something working before getting it complicated.
   
  I've now also coded _Transitive, _Communitive and _KindOf.
   
  KindOf is especially interesting:
    
   KindOf(Bird,Pigeon) and Has(Bird,Wings) => Has(Pigeon,Wings)  
   KindOf(Fish,Tuna), Eats(Cat,Fish) => Eats(Cat,Tuna)  
   KindOf(Relation,Brother) and Brother(Fred,Sam) => Relation(Fred,Sam)
  Note that I'm using the notation Relation(Subject,Object) or Relation(Subject).
   
  Bill

 				
---------------------------------
 Find out what India is talking about on  - Yahoo! Answers India 
 Send FREE SMS to your friend's mobile from Yahoo! Messenger Version 8. Get it NOW