Hi, I tried forward chaining as in https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining for the following problem:
1. If X croaks and X eats flies - Then X is a frog 2. If X is a frog - Then X is green When i ran forward chainer by (cog-fc source wiki (SetLink)), i got unbound variable error. guile> (cog-fc source wiki (SetLink)) Backtrace: In ice-9/boot-9.scm: 157: 12 [catch #t #<catch-closure 229ac80> ...] In unknown file: ?: 11 [apply-smob/1 #<catch-closure 229ac80>] In ice-9/boot-9.scm: 157: 10 [catch #t #<catch-closure 229a7e0> ...] In unknown file: ?: 9 [apply-smob/1 #<catch-closure 229a7e0>] ?: 8 [call-with-input-string "(cog-fc source wiki (SetLink))\n" ...] In ice-9/boot-9.scm: 2320: 7 [save-module-excursion #<procedure 1e18bd0 at ice-9/eval-string.scm:65:9 ()>] In ice-9/eval-string.scm: 44: 6 [read-and-eval #<input: string 20ce340> #:lang ...] 37: 5 [lp (cog-fc source wiki (SetLink))] In ice-9/eval.scm: 386: 4 [eval #<memoized (cog-fc source wiki (SetLink))> ()] 393: 3 [eval #<memoized cog-fc> ()] In unknown file: ?: 2 [memoize-variable-access! #<memoized cog-fc> #<directory # 13a2c60>] In ice-9/boot-9.scm: 102: 1 [#<procedure 18a4d40 at ice-9/boot-9.scm:97:6 (thrown-k . args)> unbound-variable ...] In unknown file: ?: 0 [apply-smob/1 #<catch-closure 229a7a0> unbound-variable ...] ERROR: In procedure apply-smob/1: ERROR: Unbound variable: cog-fc ABORT: unbound-variable I have these lines in .guile: (add-to-load-path "/usr/local/share/opencog/scm") (use-modules (opencog)) (use-modules (opencog query)) (use-modules (opencog exec)) (load-from-path "opencog.scm") How can i get it working? Thanks Vishnu On Monday, 5 December 2016 17:01:54 UTC+1, Nil wrote: > > Hi, > > the backward chainer is not mature yet, it may or not work for you, I > think it will be mature enough after 2 week. > > The forward chainer should work as expected. See > http://wiki.opencog.org/w/URE_Configuration_Format to define a rule base. > > See also > https://github.com/opencog/atomspace/tree/master//examples/rule-engine > as well https://github.com/opencog/opencog/tree/master/examples/pln for > examples. > > Nil > > On 12/05/2016 05:18 PM, Vishnu Priya wrote: > > Hello all, > > > > i would like to try the forward/backward chaining. i found these pages > > > https://github.com/opencog/atomspace/tree/master//opencog/rule-engine#how-to-call-the-forward-chainer-from-a-scheme-interface > > > http://wiki.opencog.org/w/Unified_rule_engine > > > > I somehow understood, how overall process goes on. > > > > (cog-fc *source* *rule-base* *focus-set*) > > But i don't know, how I can carry out this process. i also don't know, > > how to specify rule-base, focus-set.. > > Can you anyone provide the steps to carry out chaining process ? > > > > Thanks, > > Vishnu > > > > -- > > 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] <javascript:> > > <mailto:[email protected] <javascript:>>. > > To post to this group, send email to [email protected] > <javascript:> > > <mailto:[email protected] <javascript:>>. > > 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/b0170017-7cd2-415a-9d64-7ed9f154ae35%40googlegroups.com > > > < > https://groups.google.com/d/msgid/opencog/b0170017-7cd2-415a-9d64-7ed9f154ae35%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/68bd5322-8dec-4983-abd7-0f2e1072606b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
