Hi Vishnu,
that's cause now the rule base comes first, as documented here
http://wiki.opencog.org/w/URE_Configuration_Format#Usage
you need to enter
(cog-fc base source (List) (SetLink))
I did that change while streamlining the FC and the BC APIs.
So he URE tried to parse your source as if it were a rule-base. It's not
a bug but ideally the URE should be able to detect that user error and
return an appropriate message. If you could create an issue for that,
that would be awesome, otherwise let me know I'll do 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/ad227c34-e36b-a68e-dccd-408d64d5c9a2%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
