Hi, it looks like you didn't import the rule-engine modules, see for
instance
https://github.com/opencog/atomspace/blob/master/examples/rule-engine/crisp.scm#L16
Nil
On 02/10/2017 12:26 PM, Vishnu Priya wrote:
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
<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
<https://github.com/opencog/atomspace/tree/master//examples/rule-engine>
as well https://github.com/opencog/opencog/tree/master/examples/pln
<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
<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
<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 opencog+u...@googlegroups.com <javascript:>
> <mailto:opencog+u...@googlegroups.com <javascript:>>.
> To post to this group, send email to ope...@googlegroups.com
<javascript:>
> <mailto:ope...@googlegroups.com <javascript:>>.
> 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/b0170017-7cd2-415a-9d64-7ed9f154ae35%40googlegroups.com
<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
<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
<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 opencog+unsubscr...@googlegroups.com
<mailto:opencog+unsubscr...@googlegroups.com>.
To post to this group, send email to opencog@googlegroups.com
<mailto:opencog@googlegroups.com>.
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
<https://groups.google.com/d/msgid/opencog/68bd5322-8dec-4983-abd7-0f2e1072606b%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 opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
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/f3c2279c-1d5a-2c62-2c81-c76b297c3a5f%40gmail.com.
For more options, visit https://groups.google.com/d/optout.