Needless to say if you've got that from a documentation or example file, let me know so you or I can update it.

Nil

On 04/20/2017 10:54 PM, Vishnu Priya 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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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/5647bdd1-781c-18b9-5519-7a145b8247bf%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to