Re: [opencog-dev] Calling forward/backward chainer

2017-04-03 Thread 'Nil Geisweiller' via opencog
Step 2 is used by step 4 (it is a bit obfuscated by the helper 
ure-add-rules, which creates a MemberLink between the rule name and the 
rule base).


In practice, the only reason we need is to store the rule name in the 
AtomSpace (the scheme rule name alone isn't loaded in the atomspace). 
And this is only used to store the inference trace. Actually only the 
forward chainer needs that, the backward chainer uses formula names 
instead. I don't know at this point if we can afford to drop the rule 
name so I prefer to let it there.


Nil

On 04/03/2017 09:30 AM, Linas Vepstas wrote:


On Mon, Apr 3, 2017 at 5:31 AM, Misgana Bayetta
> wrote:

Hi, here are the steps to take in order to define rules and a rule
base for the chainer:

step 1. Define the rules
  eg.   (define Rule_A (BindLink) )

Step 2. Create a DefineLink
 eg. (DefineLink (DefinedSchemaNode "Rule_A")  Rule_A)

Step 3. Define a rulebase
eg. (define RuleBase_X (InheritanceLink (ConceptNode "RuleBase_X")
 (ConceptNode "URE")) )

Step 4. Add rules to rule base
eg. (ure-add-rules Rule_A RuleBase_X)



why is step 2 even needed in the above? The DSN is not used in either
step 3 or step 4.   (I imagine it could be used in step 4 ... just that
it isn't)

--
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/CAHrUA37Xqg9dMspd0JLamXHVDX9Ur3owrbtychu5a2W4AYBeWQ%40mail.gmail.com
.
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/5b590b2a-203d-d85f-103c-29222012535f%40gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [opencog-dev] Calling forward/backward chainer

2017-04-02 Thread 'Nil Geisweiller' via opencog

There were some errors in the readme, now corrected.

Nil

On 04/02/2017 11:22 PM, Alex wrote:

I am also trying to run
this 
https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining
example and I enter SCM commands one by one and I am also stopped at
lines DefineLink

(define rule1-name (Node "rule1")
*(DefineLink rule1-name rule1)*

DefineLinke requires as the first argument not the BindLink/rule node
and it requires Defined(Schema/Predicate/Type) Node. So - at present I
don't understant how to proceed. As far as I understandt then these two
lines prepare the BindLink for the addition to the rule base, but why
should we use DefineLink? I guess these are some idiomatic lines with no
clear prupose but Rule Engine requires them...

--
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/604300d3-214b-4948-b2b7-c86b2cdbdc1f%40googlegroups.com
.
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/d9f40526-3a6d-5c65-f3f2-2b705a129df2%40gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [opencog-dev] Calling forward/backward chainer

2017-04-02 Thread Misgana Bayetta
Hi, here are the steps to take in order to define rules and a rule base for
the chainer:

step 1. Define the rules
  eg.   (define Rule_A (BindLink) )

Step 2. Create a DefineLink
 eg. (DefineLink (DefinedSchemaNode "Rule_A")  Rule_A)

Step 3. Define a rulebase
eg. (define RuleBase_X (InheritanceLink (ConceptNode "RuleBase_X")
 (ConceptNode "URE")) )

Step 4. Add rules to rule base
eg. (ure-add-rules Rule_A RuleBase_X)

You might use this

file
as a template to write your custom rulebase configuration.

On Mon, Apr 3, 2017 at 4:22 AM, Alex  wrote:

> I am also trying to run this https://github.com/
> opencog/atomspace/tree/master/examples/rule-engine/chaining example and I
> enter SCM commands one by one and I am also stopped at lines DefineLink
>
> (define rule1-name (Node "rule1")
> *(DefineLink rule1-name rule1)*
>
> DefineLinke requires as the first argument not the BindLink/rule node and
> it requires Defined(Schema/Predicate/Type) Node. So - at present I don't
> understant how to proceed. As far as I understandt then these two lines
> prepare the BindLink for the addition to the rule base, but why should we
> use DefineLink? I guess these are some idiomatic lines with no clear
> prupose but Rule Engine requires them...
>
> --
> 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/604300d3-214b-4948-b2b7-c86b2cdbdc1f%40googlegroups.com
> 
> .
>
> For more options, visit https://groups.google.com/d/optout.
>



-- 
Belachew Misgana Bayetta
'For everyone who asks receives, and the one who seeks finds, and to the
one who knocks it will be opened ' --Jesus
'The future belongs to those who believe in the beauty of their dreams'
--Eleanor Rusvelt

-- 
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/CAOgrVvV%3Dv%2BuEcQw-Cp%3DCBcgjVjHzsK9krr669X%3Df0iZF3gT%2BBQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [opencog-dev] Calling forward/backward chainer

2017-04-02 Thread Alex
I am also trying to run 
this 
https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining 
example and I enter SCM commands one by one and I am also stopped at lines 
DefineLink

(define rule1-name (Node "rule1")
*(DefineLink rule1-name rule1)*

DefineLinke requires as the first argument not the BindLink/rule node and 
it requires Defined(Schema/Predicate/Type) Node. So - at present I don't 
understant how to proceed. As far as I understandt then these two lines 
prepare the BindLink for the addition to the rule base, but why should we 
use DefineLink? I guess these are some idiomatic lines with no clear 
prupose but Rule Engine requires them... 

-- 
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/604300d3-214b-4948-b2b7-c86b2cdbdc1f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [opencog-dev] Calling forward/backward chainer

2017-02-10 Thread Linas Vepstas
However, that example should be changed to load all modules that it
needs, instead of leaving the user to guess what needs to be done.
Its not a very user-friendly example.

Perhaps you could try to do this?

Ideally, one should be able to just run "guile -l someexample.scm" and
have it just work, with no (or minimal) junk in the ~/.guile file

--linas



On Fri, Feb 10, 2017 at 7:18 AM, Vishnu Priya  wrote:
>
> Hi Nil,
>  Thanks.
> I also got an exception when i typed the following line in scheme as in
>
> https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining
>
> guile> (DefineLink rule1-name rule1)
>
> Backtrace:
> In ice-9/boot-9.scm:
>  157: 10 [catch #t # ...]
> In unknown file:
>?: 9 [apply-smob/1 #]
> In ice-9/boot-9.scm:
>  157: 8 [catch #t # ...]
> In unknown file:
>?: 7 [apply-smob/1 #]
>?: 6 [call-with-input-string "(DefineLink rule1-name rule1)\n" ...]
> In ice-9/boot-9.scm:
> 2320: 5 [save-module-excursion # ice-9/eval-string.scm:65:9 ()>]
> In ice-9/eval-string.scm:
>   44: 4 [read-and-eval # #:lang ...]
>   37: 3 [lp (DefineLink rule1-name rule1)]
> In unknown file:
>?: 2 [cog-new-link 44 (Node "rule1")
>  ...]
> In ice-9/boot-9.scm:
>  102: 1 [#
> C++-EXCEPTION ...]
> In unknown file:
>?: 0 [apply-smob/1 # C++-EXCEPTION ...]
>
> ERROR: In procedure apply-smob/1:
> ERROR: In procedure cog-new-link: Expecting
> Defined(Schema/Predicate/Type)Node, got Node
> (/opt/atomspace/opencog/atoms/core/DefineLink.cc:47)
> ABORT: C++-EXCEPTION.
>
>
> So when i ran fc,  it  showed  "ERROR: In procedure cog-fc: Cannot find
> defined hypergraph for atom (Node "rule1") ; [35727][1]"
>
>
>
>
>
>
>
>
>
>
>
> On Friday, 10 February 2017 11:53:38 UTC+1, Nil wrote:
>>
>> 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 # ...]
>> > In unknown file:
>> >?: 11 [apply-smob/1 #]
>> > In ice-9/boot-9.scm:
>> >  157: 10 [catch #t # ...]
>> > In unknown file:
>> >?: 9 [apply-smob/1 #]
>> >?: 8 [call-with-input-string "(cog-fc source wiki (SetLink))\n" ...]
>> > In ice-9/boot-9.scm:
>> > 2320: 7 [save-module-excursion #> > ice-9/eval-string.scm:65:9 ()>]
>> > In ice-9/eval-string.scm:
>> >   44: 6 [read-and-eval # #:lang ...]
>> >   37: 5 [lp (cog-fc source wiki (SetLink))]
>> > In ice-9/eval.scm:
>> >  386: 4 [eval # ()]
>> >  393: 3 [eval # ()]
>> > In unknown file:
>> >?: 2 [memoize-variable-access! # #> > 13a2c60>]
>> > In ice-9/boot-9.scm:
>> >  102: 1 [#
>> > unbound-variable ...]
>> > In unknown file:
>> >?: 0 [apply-smob/1 # 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
>> >  to define a
>> > rule base.
>> >
>> > See also
>> >
>> > https://github.com/opencog/atomspace/tree/master//examples/rule-engine
>> >
>> > 
>> >
>> > as well 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
>> >
>> > 
>> >
>> 

Re: [opencog-dev] Calling forward/backward chainer

2017-02-10 Thread Linas Vepstas
It looks like you did not actually define node1 before using it.

--linas

On Fri, Feb 10, 2017 at 7:18 AM, Vishnu Priya  wrote:
>
> Hi Nil,
>  Thanks.
> I also got an exception when i typed the following line in scheme as in
>
> https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining
>
> guile> (DefineLink rule1-name rule1)
>
> Backtrace:
> In ice-9/boot-9.scm:
>  157: 10 [catch #t # ...]
> In unknown file:
>?: 9 [apply-smob/1 #]
> In ice-9/boot-9.scm:
>  157: 8 [catch #t # ...]
> In unknown file:
>?: 7 [apply-smob/1 #]
>?: 6 [call-with-input-string "(DefineLink rule1-name rule1)\n" ...]
> In ice-9/boot-9.scm:
> 2320: 5 [save-module-excursion # ice-9/eval-string.scm:65:9 ()>]
> In ice-9/eval-string.scm:
>   44: 4 [read-and-eval # #:lang ...]
>   37: 3 [lp (DefineLink rule1-name rule1)]
> In unknown file:
>?: 2 [cog-new-link 44 (Node "rule1")
>  ...]
> In ice-9/boot-9.scm:
>  102: 1 [#
> C++-EXCEPTION ...]
> In unknown file:
>?: 0 [apply-smob/1 # C++-EXCEPTION ...]
>
> ERROR: In procedure apply-smob/1:
> ERROR: In procedure cog-new-link: Expecting
> Defined(Schema/Predicate/Type)Node, got Node
> (/opt/atomspace/opencog/atoms/core/DefineLink.cc:47)
> ABORT: C++-EXCEPTION.
>
>
> So when i ran fc,  it  showed  "ERROR: In procedure cog-fc: Cannot find
> defined hypergraph for atom (Node "rule1") ; [35727][1]"
>
>
>
>
>
>
>
>
>
>
>
> On Friday, 10 February 2017 11:53:38 UTC+1, Nil wrote:
>>
>> 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 # ...]
>> > In unknown file:
>> >?: 11 [apply-smob/1 #]
>> > In ice-9/boot-9.scm:
>> >  157: 10 [catch #t # ...]
>> > In unknown file:
>> >?: 9 [apply-smob/1 #]
>> >?: 8 [call-with-input-string "(cog-fc source wiki (SetLink))\n" ...]
>> > In ice-9/boot-9.scm:
>> > 2320: 7 [save-module-excursion #> > ice-9/eval-string.scm:65:9 ()>]
>> > In ice-9/eval-string.scm:
>> >   44: 6 [read-and-eval # #:lang ...]
>> >   37: 5 [lp (cog-fc source wiki (SetLink))]
>> > In ice-9/eval.scm:
>> >  386: 4 [eval # ()]
>> >  393: 3 [eval # ()]
>> > In unknown file:
>> >?: 2 [memoize-variable-access! # #> > 13a2c60>]
>> > In ice-9/boot-9.scm:
>> >  102: 1 [#
>> > unbound-variable ...]
>> > In unknown file:
>> >?: 0 [apply-smob/1 # 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
>> >  to define a
>> > rule base.
>> >
>> > See also
>> >
>> > https://github.com/opencog/atomspace/tree/master//examples/rule-engine
>> >
>> > 
>> >
>> > as well 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
>> >
>> > 
>> >
>> > > 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 

Re: [opencog-dev] Calling forward/backward chainer

2017-02-10 Thread 'Nil Geisweiller' via opencog
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 # ...]
In unknown file:
   ?: 11 [apply-smob/1 #]
In ice-9/boot-9.scm:
 157: 10 [catch #t # ...]
In unknown file:
   ?: 9 [apply-smob/1 #]
   ?: 8 [call-with-input-string "(cog-fc source wiki (SetLink))\n" ...]
In ice-9/boot-9.scm:
2320: 7 [save-module-excursion #]
In ice-9/eval-string.scm:
  44: 6 [read-and-eval # #:lang ...]
  37: 5 [lp (cog-fc source wiki (SetLink))]
In ice-9/eval.scm:
 386: 4 [eval # ()]
 393: 3 [eval # ()]
In unknown file:
   ?: 2 [memoize-variable-access! # #]
In ice-9/boot-9.scm:
 102: 1 [#
unbound-variable ...]
In unknown file:
   ?: 0 [apply-smob/1 # 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
 to define a
rule base.

See also
https://github.com/opencog/atomspace/tree/master//examples/rule-engine


as well 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



> 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 
> .
> To post to this group, send email to ope...@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/b0170017-7cd2-415a-9d64-7ed9f154ae35%40googlegroups.com



>

>.

> 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/68bd5322-8dec-4983-abd7-0f2e1072606b%40googlegroups.com

Re: [opencog-dev] Calling forward/backward chainer

2016-12-05 Thread 'Nil Geisweiller' via opencog

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 to define a rule base.


See also 
https://github.com/opencog/atomspace/tree/master//examples/rule-engine 
as well 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
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+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/b0170017-7cd2-415a-9d64-7ed9f154ae35%40googlegroups.com
.
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/58458F6D.8090001%40gmail.com.
For more options, visit https://groups.google.com/d/optout.