OK, thanks. --linas On Mon, Apr 3, 2017 at 9:52 AM, 'Nil Geisweiller' via opencog < [email protected]> wrote:
> Step 2 is used by step 4 (it is a bit obfuscated by the helper > ure-add-rules, which creates a MemberLink between the rule name and the > rule base). > > In practice, the only reason we need is to store the rule name in the > AtomSpace (the scheme rule name alone isn't loaded in the atomspace). And > this is only used to store the inference trace. Actually only the forward > chainer needs that, the backward chainer uses formula names instead. I > don't know at this point if we can afford to drop the rule name so I prefer > to let it there. > > Nil > > On 04/03/2017 09:30 AM, Linas Vepstas wrote: > >> >> On Mon, Apr 3, 2017 at 5:31 AM, Misgana Bayetta >> <[email protected] <mailto:[email protected]>> wrote: >> >> Hi, here are the steps to take in order to define rules and a rule >> base for the chainer: >> >> step 1. Define the rules >> eg. (define Rule_A (BindLink....) ) >> >> Step 2. Create a DefineLink >> eg. (DefineLink (DefinedSchemaNode "Rule_A") Rule_A) >> >> Step 3. Define a rulebase >> eg. (define RuleBase_X (InheritanceLink (ConceptNode "RuleBase_X") >> (ConceptNode "URE")) ) >> >> Step 4. Add rules to rule base >> eg. (ure-add-rules Rule_A RuleBase_X) >> >> >> >> why is step 2 even needed in the above? The DSN is not used in either >> step 3 or step 4. (I imagine it could be used in step 4 ... just that >> it isn't) >> >> -- >> 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] >> <mailto:[email protected]>. >> To post to this group, send email to [email protected] >> <mailto:[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/CAHrUA37Xqg9dMspd0 >> JLamXHVDX9Ur3owrbtychu5a2W4AYBeWQ%40mail.gmail.com >> <https://groups.google.com/d/msgid/opencog/CAHrUA37Xqg9dMspd >> 0JLamXHVDX9Ur3owrbtychu5a2W4AYBeWQ%40mail.gmail.com?utm_ >> medium=email&utm_source=footer>. >> For more options, visit https://groups.google.com/d/optout. >> > > -- > 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/ms > gid/opencog/5b590b2a-203d-d85f-103c-29222012535f%40gmail.com. > > For more options, visit https://groups.google.com/d/optout. > -- 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/CAHrUA36i32Be80uh%2BPoevcCnxSB8HOc15RvLGpB1_-nHv644wg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
