Re: [opencog-dev] Trying to understand the inference control problem.

2017-02-24 Thread Ken Kafieh
Thanks Ben, My background in CS is modest as are my programming skills. I have a BA in computer science. I have worked various IT jobs over the years -- none of which involved serious programming. Sorry if I gave the impression that I would code (although down the road I think I would like to)

Re: [opencog-dev] Trying to understand the inference control problem.

2017-02-24 Thread Ben Goertzel
Ken, I am traveling in rural ethiopia with very limited internet till Monday , and will reply to your query when I'm back to Addis Monday or Tuesday What is your background regarding programming, CS and logic, btw? On Feb 25, 2017 05:10, "Ken Kafieh" wrote: > I want to help. > > My impression

[opencog-dev] Trying to understand the inference control problem.

2017-02-24 Thread Ken Kafieh
I want to help. My impression is that "inference control" is the principle hurdle for opencog, and other AGI efforts. I would like to try my hand at solving/reducing this problem. I have a general idea of the problem but I am sure I need a better handle on it. Is there a good description --

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

[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 (PredicateNo

Re: [opencog-dev] Re: Status Backward Chainer

2017-02-24 Thread Vishnu Priya
Thanks Roman and Nil. Let me have a look. On Wednesday, 22 February 2017 22:36:39 UTC+1, Nil wrote: > > I believe the BC itself is mature enough. However there are still a few > commits on the pattern matcher that I need to push and discuss with > Linas (these commits are only required if you us