Maybe the (List) should have been a node?? At any rate, cog-fc should check its arguments for validity, before proceeding.
--linas On Thu, Apr 20, 2017 at 2:54 PM, Vishnu Priya <[email protected]> wrote: > > > I installed the recent version and tried FC. Previously i used to work >> with only three arguments. But now as it requires four parameters, i gave >> empty ListLink additionally. But it throws Error. > > > My scm has: > > (load "/opt/opencog/opencog/pln/rules/deduction-rule.scm") > > (InheritanceLink (stv 0.9 0.9) > (ConceptNode "tom") > (ConceptNode "human")) > > > (InheritanceLink (stv 0.9 0.9) > (ConceptNode "human") > (ConceptNode "speak")) > > > (define source > (InheritanceLink (stv 0.9 0.9) > (ConceptNode "tom") > (ConceptNode "human"))) > > > (define base (ConceptNode "rule-base")) > > (InheritanceLink > (ConceptNode "rule-base") > (ConceptNode "URE") > ) > > (ExecutionLink > (SchemaNode "URE:maximum-iterations") > (ConceptNode "rule-base") > (NumberNode 20) > ) > > (MemberLink (stv 0.9 1) > deduction-inheritance-rule-name > (ConceptNode "rule-base") > ) > > (MemberLink (stv 0.5 1) > deduction-implication-rule-name > (ConceptNode "rule-base") > ) > > (MemberLink (stv 0.5 1) > deduction-subset-rule-name > (ConceptNode "rule-base") > ) > > When i run, > (cog-fc source base (List) (SetLink)) > > I get the following: > > Backtrace: > In ice-9/boot-9.scm: > 157: 10 [catch #t #<catch-closure 46b4260> ...] > In unknown file: > ?: 9 [apply-smob/1 #<catch-closure 46b4260>] > In ice-9/boot-9.scm: > 157: 8 [catch #t #<catch-closure 46b4140> ...] > In unknown file: > ?: 7 [apply-smob/1 #<catch-closure 46b4140>] > ?: 6 [call-with-input-string "(cog-fc source base (List) (SetLink))\n" > ...] > In ice-9/boot-9.scm: > 2320: 5 [save-module-excursion #<procedure 2f77cf0 at > ice-9/eval-string.scm:65:9 ()>] > In ice-9/eval-string.scm: > 44: 4 [read-and-eval #<input: string 46b5270> #:lang ...] > 37: 3 [lp (cog-fc source base (List) (SetLink))] > In unknown file: > ?: 2 [opencog-extension cog-fc (# # # #)] > In ice-9/boot-9.scm: > 102: 1 [#<procedure 4a9da80 at ice-9/boot-9.scm:97:6 (thrown-k . args)> > C++-EXCEPTION ...] > In unknown file: > ?: 0 [apply-smob/1 #<catch-closure 46b4100> C++-EXCEPTION ...] > > ERROR: In procedure apply-smob/1: > ERROR: In procedure cog-fc: Not a node! (/home/vishnu/atomspace/ > opencog/atoms/base/Atom.h:193) > Function args: > ((InheritanceLink (stv 0,9 0,9) > (ConceptNode "tom") > (ConceptNode "human") > ) > (ConceptNode "rule-base") > (ListLink > ) > (SetLink > ) > ) > ABORT: C++-EXCEPTION > > > > -- > 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/640355b3-8649-4ee3-a682-85bbeb76811b%40googlegroups.com > <https://groups.google.com/d/msgid/opencog/640355b3-8649-4ee3-a682-85bbeb76811b%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/CAHrUA34VYpqLj0P%2BgqPibG%2BTRwifTEJE73k0jaJTouTf0p_uiw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
