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.
Criminal.scm
Description: Binary data