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
<misgana.baye...@gmail.com <mailto:misgana.baye...@gmail.com>> 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 opencog+unsubscr...@googlegroups.com
<mailto:opencog+unsubscr...@googlegroups.com>.
To post to this group, send email to opencog@googlegroups.com
<mailto: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/CAHrUA37Xqg9dMspd0JLamXHVDX9Ur3owrbtychu5a2W4AYBeWQ%40mail.gmail.com
<https://groups.google.com/d/msgid/opencog/CAHrUA37Xqg9dMspd0JLamXHVDX9Ur3owrbtychu5a2W4AYBeWQ%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 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/5b590b2a-203d-d85f-103c-29222012535f%40gmail.com.
For more options, visit https://groups.google.com/d/optout.