Hi Nil,


Currently, as there are no working example files for FC/BC, i thought i 
could come up with some examples and contribute. 

So far, i have tested simple rule like Deduction and got that working. But 
now i wanted to try some other different rule.  

So, as per 
https://github.com/opencog/atomspace/blob/master/tests/rule-engine/BackwardChainerUTest.cxxtest#L510,
 
  where on "criminal.scm",  few rules  
(conditional-instantiation-meta-rule.scm, 
fuzzy-conjunction-introduction-rule.scm, deduction rule) have been applied 
for testing. I have also tried the same rules on same input but i does not 
get any inference. I got only empty SetLink.

I have attached the input file for your reference.

i also tested the same rules on animals.scm example but got no output. :-(

I don't know what is missing here. It would be very helpful if i get some 
help. 

Thanks in advance,
Vishnu

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/2ef709b3-8166-4707-bd9a-486c30c9323d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Attachment: Criminal.scm
Description: Binary data

Reply via email to