Thanks for sharing your notes! I'll have a look at them when I get back
to correcting/completing the doc.
FYI, the forward chainer code is a mess and I intend to refactor it as
soon as I'm done "maturing" the backward chainer. I'm hopeful to be done
over the week, then I'll take care of the doc + simplifying the forward
chainer.
Nil
On 01/09/2017 03:38 PM, Apil Tamang wrote:
Hi All,
I've been constantly going back-and-forth between the doc. page for the
URE and the example in atomspace. I prepared some notes, and have
attached them below.
What might really help is to point out how each step in the doc. applies
to the example 'crisp.scm'. I can follow the source code to figure out
what the 'target' and the 'rule-sets' are. But I don't think I could
follow how the rules are chosen, and for each rule, how the premise(s)
are selected (in the atomspace/examples/rule-engine example). Premise
selection seems to be a key step in the forward/backward chaining process.
I also could not figure out how for each rule (crisp-modus-ponens-rule,
crisp-deduction-rule) the "information regarding the rule output is
stored in Atomspace". The wiki page says that the node:
ExecutionRecordLink is used to do such. I don't see such a node in any
scm file within this example's source.
Anyways... I still have a lot to learn so I don't expect to understand
everything right off. The points above may be taken to simply improve
the docs for the URE and notes in the rule-engine example. so that there
is more parallel between the two.
On Saturday, January 7, 2017 at 6:10:25 PM UTC-5, Apil Tamang wrote:
Hi All,
This is my attempt to understand the unified-rule-engine (and the
associate backward/forward chaining) in some more detail. I found
this <http://wiki.opencog.org/w/Unified_rule_engine> page deals
exclusively with this topic, but I continue to find it confusing.
Are there any other notes/pages (maybe) describing about these
topics in perhaps a different perspective?
Thanks...
--
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/aa17a84f-273d-46f2-800c-dde0f357f851%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/aa17a84f-273d-46f2-800c-dde0f357f851%40googlegroups.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/msgid/opencog/b010b1d0-2bd8-eeec-ed26-962b1968a680%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
