Hi,
On 03/28/2017 07:13 PM, Vishnu Priya wrote:
Thanks NIL.
I have read the URE documentation. It is clear enough for me to
understand. But under "Forward Chainer", you have written,
" It currently uses a rather brute force algorithms, select sources
and rules somewhat randomly,..". But i think, currently we select the
source and rule(s) manually. It doesn't select on its own.
No, the FC really does that on its own. The closest to a manual
selection would be to run a selected rule in the pattern matcher, but
then all matching sources are selected.
I do plan to expose more C++ methods from the URE to scheme, that way
one will be able to perform such selection manually, even possibly write
a chainer of his/her own.
I have also read the BC unit
tests
https://github.com/opencog/atomspace/blob/master/tests/rule-engine/BackwardChainerUTest.cxxtest#L321
<https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fopencog%2Fatomspace%2Fblob%2Fmaster%2Ftests%2Frule-engine%2FBackwardChainerUTest.cxxtest%23L321&sa=D&sntz=1&usg=AFQjCNHu5a6X_lkelksdx-zzIQNAgxbWTA>.
I have a question.
In most of the input scm files such as bc-criminals.scm, bc-animals.scm,
there exists Variables and and are resolved by certain rules. For
example in
https://github.com/opencog/atomspace/blob/master/tests/rule-engine/bc-criminal.scm
, there exists variables in Input and the rules applied are
conditional-instantiation-meta-rule.scm,
fuzzy-conjunction-introduction-rule.scm, and deduction rule.
My question is :
1. If the input which is give, is R2L form of the sentences but does not
contain any variable,
Still can i apply the rules on them to get inferences?
Indeed, unification works all ways (always!), whether the rule has or
not variable, whether the source/target has or not variable.
because here the conditional instantiation-meta-rule is in the following
form and involves substitution of variables
with meaningful atoms.
;; ImplicationScopeLink
;; V
;; P
;; Q
;; |-
;; T
;; P
;; |-
;; Q[V->T]
What if i want to get inferences out of Criminal.scm automatically,
which is in the form of R2L and without hard-coding variables? i.e.
(KB without variables)
2. If not possible, then in real time reasoning, do you hard code each
time the input along with variables
and then you apply rules?
It does not seem Practical!! :-(
Sorry I don't understand. What do you mean by "input". Could you give me
an example?
3. In
https://github.com/opencog/atomspace/blob/master/tests/rule-engine/bc-criminal.scm,
at the end i see
;; Cheaping KB, used for debugging
What is this for?
Enabling more facts make the inference simpler. I used that to check
what facts couldn't get inferred back when I was debugging. Nowadays, I
probably wouldn't need that because the log messages are much better,
like printing the inferences in ascii art, etc.
I strongly recommend to take a look at the log files generated (you need
to set the log level to debug), that may help you to understand.
Nil
Many 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]
<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/fb98fbdc-5fa0-4410-a248-08b631d82156%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/fb98fbdc-5fa0-4410-a248-08b631d82156%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/cc2ea84c-f9b5-8d56-6dc9-1f6f40ae81b6%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
