Re: [opencog-dev] cog-fc returns empty Setlink

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

Hi,

in this example, deduction rules alone cannot inference anything because 
you don't have in your knowledge base things of the sort


Inheritance
  A
  B

Inheritance
  B
  C

Some rules are explained in the wiki, like

http://wiki.opencog.org/w/DeductionRule (though I think this section 
http://wiki.opencog.org/w/DeductionRule#The_general_case is a bit 
misleading).


For those that aren't, there is a comment at the top of the rule file, 
such as 
https://github.com/opencog/opencog/blob/master/opencog/pln/rules/implication-direct-evaluation-rule.scm


I suppose you took this example from 
https://github.com/opencog/opencog/tree/master/examples/pln/chicken-feet-or-pizza 
but so you know, it's incomplete and was designed to test reasoning on 
the parsed sentences. Perhaps you want to start with something simpler like


https://github.com/opencog/atomspace/blob/master/tests/rule-engine/bc-friends.scm

with the config file

https://github.com/opencog/atomspace/blob/master/tests/rule-engine/conditional-instantiation-config.scm

should be runnable by the forward or backward chainer.

Nil

On 02/24/2017 06:10 PM, Vishnu Priya wrote:

Hi,

This is the data, that i gave,

(EvaluationLink
   (PredicateNode "eats")
   (ListLink
  (ConceptNode "tom")
  (ConceptNode "chicken-feet")

   )
)

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "chinese")
)


(EvaluationLink
   (PredicateNode "eats")
   (ListLink
   (ConceptNode "tim")
  (ConceptNode "chicken-feet")

   )
)

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tim")
(ConceptNode "chinese")
)

(EvaluationLink
   (PredicateNode "eats")
   (ListLink
   (ConceptNode "chinese")
  (ConceptNode "chicken-feet")

   )
)

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "Jim")
(ConceptNode "chinese")
)

*Defining Source *:
(define source
(InheritanceLink
(ConceptNode "Jim")
(ConceptNode "chinese")
)
)

*Defining rules and adding rules to the rule-base:*
*
*
(load "/opt/opencog/opencog/pln/rules/deduction-rule.scm

(define base (ConceptNode "my-rule-base"))

(InheritanceLink
(ConceptNode "my-rule-base")
(ConceptNode "URE")
)

(ExecutionLink
   (SchemaNode "URE:maximum-iterations")
   (ConceptNode "my-rule-base")
   (NumberNode "100")
)

(MemberLink (stv 0.9 1)

deduction-inheritance-rule-name
(ConceptNode "my-rule-base")
)

(MemberLink (stv 0.5 1)
deduction-implication-rule-name
(ConceptNode "my-rule-base")
)

(MemberLink (stv 0.5 1)
deduction-subset-rule-name
(ConceptNode "my"my-rule-base"))


When i run, (cog-fc source base (SetLink))
it returned,

(SetLink
)

What do i miss here???


Regards,
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/fb264f62-fed8-478d-bdd1-0174cc636e94%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/6443e537-652a-1321-bc99-9cdbd371d905%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

[opencog-dev] cog-fc returns empty Setlink

2017-02-24 Thread Vishnu Priya 
Hi, 

This is the data, that i gave,

(EvaluationLink
   (PredicateNode "eats")
   (ListLink
  (ConceptNode "tom")
  (ConceptNode "chicken-feet")
  
   )
)

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "chinese")
)


(EvaluationLink
   (PredicateNode "eats")
   (ListLink
   (ConceptNode "tim")
  (ConceptNode "chicken-feet")
 
   )
)

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tim")
(ConceptNode "chinese")
)

(EvaluationLink
   (PredicateNode "eats")
   (ListLink
   (ConceptNode "chinese")
  (ConceptNode "chicken-feet")
 
   )
)

(InheritanceLink (stv 0.9 0.9)
(ConceptNode "Jim")
(ConceptNode "chinese")
)

*Defining Source *:
(define source
(InheritanceLink
(ConceptNode "Jim")
(ConceptNode "chinese")
)
)

*Defining rules and adding rules to the rule-base:*

(load "/opt/opencog/opencog/pln/rules/deduction-rule.scm

(define base (ConceptNode "my-rule-base"))

(InheritanceLink  
(ConceptNode "my-rule-base")
(ConceptNode "URE")
)

(ExecutionLink
   (SchemaNode "URE:maximum-iterations")
   (ConceptNode "my-rule-base")
   (NumberNode "100")
)

(MemberLink (stv 0.9 1)

deduction-inheritance-rule-name
(ConceptNode "my-rule-base")
)

(MemberLink (stv 0.5 1)
deduction-implication-rule-name
(ConceptNode "my-rule-base")
)

(MemberLink (stv 0.5 1)
deduction-subset-rule-name
(ConceptNode "my"my-rule-base"))


When i run, (cog-fc source base (SetLink))
it returned, 

(SetLink
)

What do i miss here???


Regards,
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/fb264f62-fed8-478d-bdd1-0174cc636e94%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.