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
<mailto:opencog+unsubscr...@googlegroups.com>.
To post to this group, send email to opencog@googlegroups.com
<mailto: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
<https://groups.google.com/d/msgid/opencog/fb264f62-fed8-478d-bdd1-0174cc636e94%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 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.

Reply via email to