On Sun, Apr 9, 2017 at 6:39 PM, Misgana Bayetta <[email protected]>
wrote:

>
>
> On Sun, Apr 9, 2017 at 10:48 PM, Alex <[email protected]> wrote:
>
>> OK, I followed with updated tutorial https://github.com/opencog/ato
>> mspace/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.
>

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].
>> 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/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
> <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.
>

-- 
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/CAHrUA37Jb1jzzCgs6kcb7W9rp_0-bKuD-LXyma3fjdFgQMZJCw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to