I've added a bit more explanation here http://wiki.opencog.org/w/URE_Configuration_Format#Usage
Nil On 04/09/2017 10:04 PM, Linas Vepstas wrote:
On Sun, Apr 9, 2017 at 6:39 PM, Misgana Bayetta <[email protected] <mailto:[email protected]>> wrote: On Sun, Apr 9, 2017 at 10:48 PM, Alex <[email protected] <mailto:[email protected]>> wrote: OK, I followed with updated tutorial https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining <https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining> and I managed to run my first cog-fc with the normal result. I would like to raise two points: 1) tutorial says that cog-fc has 4 arguments, but my version of opencog (as or start of 2017) of cog-fc still has 3 arguments: source/rule base/focus set. There is no variable-declaration argument. Just wanted to note for those who use this thread for troubleshooting cog-fc. 2) *I wonder about necessity of/_source_ /as an argument, why we need this? *Business Rule engines (like JBoss Drools) use entire Atomspace working memory as domain for reasoning - somehow first rule is selected and matched with facts and first inference is made and so this process continues? Focus set can be emtpy Set and then the entire Atomspace becomes the focus set. Maybe we can do this with source as well - maybe empty source will designed entire Atomspace as a source? Yes, you can pass empty SetLink. see here https://github.com/opencog/atomspace/blob/master/opencog/rule-engine/forwardchainer/ForwardChainer.cc#L110 <https://github.com/opencog/atomspace/blob/master/opencog/rule-engine/forwardchainer/ForwardChainer.cc#L110>. well, the wiki page, and the example/tutorial should point this out. Its a good question. I don't even know if we have a good wiki page reviewing the forward chainer, how it works, how to use it? --linas -- 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 <https://groups.google.com/group/opencog>. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/7c03321c-8e84-408e-bfc6-24b4a72f016b%40googlegroups.com <https://groups.google.com/d/msgid/opencog/7c03321c-8e84-408e-bfc6-24b4a72f016b%40googlegroups.com?utm_medium=email&utm_source=footer>. For more options, visit https://groups.google.com/d/optout <https://groups.google.com/d/optout>. -- Belachew Misgana Bayetta 'For everyone who asks receives, and the one who seeks finds, and to the one who knocks it will be opened ' --Jesus 'The future belongs to those who believe in the beauty of their dreams' --Eleanor Rusvelt -- 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 <https://groups.google.com/group/opencog>. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAOgrVvWaBFaV65C77%2BVHZcVgjxRTin5XXp68Nw%3Dt_7UkVsE0ZQ%40mail.gmail.com <https://groups.google.com/d/msgid/opencog/CAOgrVvWaBFaV65C77%2BVHZcVgjxRTin5XXp68Nw%3Dt_7UkVsE0ZQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. For more options, visit https://groups.google.com/d/optout <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] <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/CAHrUA37Jb1jzzCgs6kcb7W9rp_0-bKuD-LXyma3fjdFgQMZJCw%40mail.gmail.com <https://groups.google.com/d/msgid/opencog/CAHrUA37Jb1jzzCgs6kcb7W9rp_0-bKuD-LXyma3fjdFgQMZJCw%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/msgid/opencog/03a182ba-79b0-258b-2e65-d72d6d875e34%40gmail.com. For more options, visit https://groups.google.com/d/optout.
