On Sun, Apr 9, 2017 at 10:48 PM, Alex <[email protected]> wrote:
> OK, I followed with updated tutorial 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 . > -- > 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/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. > -- 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]. 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/CAOgrVvWaBFaV65C77%2BVHZcVgjxRTin5XXp68Nw%3Dt_7UkVsE0ZQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
