Thanks NIL.
I have read the URE documentation. It is clear enough for me to understand. > But under "Forward Chainer", you have written, " It currently uses a rather brute force algorithms, select sources and rules somewhat randomly,..". But i think, currently we select the source and rule(s) manually. It doesn't select on its own. I have also read the BC unit tests https://github.com/opencog/atomspace/blob/master/tests/rule-engine/BackwardChainerUTest.cxxtest#L321 <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fopencog%2Fatomspace%2Fblob%2Fmaster%2Ftests%2Frule-engine%2FBackwardChainerUTest.cxxtest%23L321&sa=D&sntz=1&usg=AFQjCNHu5a6X_lkelksdx-zzIQNAgxbWTA>. I have a question. In most of the input scm files such as bc-criminals.scm, bc-animals.scm, there exists Variables and and are resolved by certain rules. For example in https://github.com/opencog/atomspace/blob/master/tests/rule-engine/bc-criminal.scm , there exists variables in Input and the rules applied are conditional-instantiation-meta-rule.scm, fuzzy-conjunction-introduction-rule.scm, and deduction rule. My question is : 1. If the input which is give, is R2L form of the sentences but does not contain any variable, Still can i apply the rules on them to get inferences? because here the conditional instantiation-meta-rule is in the following form and involves substitution of variables with meaningful atoms. ;; ImplicationScopeLink ;; V ;; P ;; Q ;; |- ;; T ;; P ;; |- ;; Q[V->T] What if i want to get inferences out of Criminal.scm automatically, which is in the form of R2L and without hard-coding variables? i.e. (KB without variables) 2. If not possible, then in real time reasoning, do you hard code each time the input along with variables and then you apply rules? It does not seem Practical!! :-( 3. In https://github.com/opencog/atomspace/blob/master/tests/rule-engine/bc-criminal.scm, at the end i see ;; Cheaping KB, used for debugging What is this for? Many Thanks, 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 [email protected]. To post to this group, send email to [email protected]. 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/fb98fbdc-5fa0-4410-a248-08b631d82156%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
