Thanks Linas and Nil,

Yeah, I'm looking forward to the documentation. I'm also looking forward to 
reaching the point when PLN can be applied to parsed sentences to solve 
parsed questions, because so far the examples I've seen only work on 
handmade facts in scheme.

On Friday, 11 November 2016 13:53:47 UTC+9, Nil wrote:
>
> Hi, 
>
> sorry for the lack of documentation, I'm really close to be done with 
> the backward chainer implementation and then I'll write a detailed 
> documentation. 
>
> Regarding true query, it is ATM no different than a variable query, and 
> yet it works! Specifically it can answer true queries where the fitness 
> function would be to maximize confidence, that is because the PLN rules, 
> as currently implemented almost only get applied when they increase 
> confidence. 
>
> There is a place holder for a fitness function that I'll implement when 
> needed. 
>
> Nil 
>
> On 11/11/2016 03:40 AM, Linas Vepstas wrote: 
> > I mean -- to be clear -- this question should have a step-by-step 
> > analysis on a wiki page, to illustrate how R2L and PLN actually deal 
> > with it.  The fact that we don't have such a page is a major issue. 
> > 
> > --linas 
> > 
> > On Thu, Nov 10, 2016 at 7:39 PM, Linas Vepstas <linasv...@gmail.com 
> <javascript:> 
> > <mailto:linasv...@gmail.com <javascript:>>> wrote: 
> > 
> >     Its not a trivial question, I'm sorry no one answered your email 
> >     earlier.  Nil works on this component, I am not sure how it works or 
> >     how well it works right now. 
> > 
> >     --linas 
> > 
> >     On Fri, Oct 21, 2016 at 2:11 AM, Tareq Alkhaldi 
> >     <tareq.a...@gmail.com <javascript:> <mailto:tareq.a...@gmail.com 
> <javascript:>>> wrote: 
> > 
> >         Hi everyone, 
> > 
> >         So I've been trying to figure out the steps of inference the 
> >         bc/fc will do in order to answer the following TruthQuery: 
> > 
> >         (nlp-parse "Japan won the game.") 
> > 
> >         | 
> >         (ReferenceLink 
> >             (InterpretationNode 
> >         
> "sentence@4603e95d-b5b8-4831-a0ac-95f28feaa119_parse_0_interpretation_$X") 
> >             (SetLink 
> >                (InheritanceLink 
> >                   (ConceptNode 
> "game@85e71213-577b-4aa2-8412-da49e62ba2f4") 
> >                   (ConceptNode "game" (stv 0.03125 0.0012484394)) 
> >                ) 
> >                (EvaluationLink 
> >                   (DefinedLinguisticPredicateNode "definite") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "game@85e71213-577b-4aa2-8412-da49e62ba2f4") 
> >                   ) 
> >                ) 
> >                (InheritanceLink 
> >                   (ConceptNode 
> "Japan@2d483477-9a2d-4049-968f-8f7120f43e51") 
> >                   (ConceptNode "Japan" (stv 0.03125 0.0012484394)) 
> >                ) 
> >                (EvaluationLink 
> >                   (DefinedLinguisticPredicateNode "definite") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@2d483477-9a2d-4049-968f-8f7120f43e51") 
> >                   ) 
> >                ) 
> >                (ImplicationLink 
> >                   (PredicateNode 
> "won@349785b2-b0c2-4feb-bd51-29d7fffefc73") 
> >                   (PredicateNode "win" (stv 0.055555556 0.0012484394)) 
> >                ) 
> >                (EvaluationLink 
> >                   (PredicateNode 
> "won@349785b2-b0c2-4feb-bd51-29d7fffefc73") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@2d483477-9a2d-4049-968f-8f7120f43e51") 
> >                      (ConceptNode 
> >         "game@85e71213-577b-4aa2-8412-da49e62ba2f4") 
> >                   ) 
> >                ) 
> >                (EvaluationLink 
> >                   (PredicateNode 
> "won@349785b2-b0c2-4feb-bd51-29d7fffefc73") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@2d483477-9a2d-4049-968f-8f7120f43e51") 
> >                   ) 
> >                ) 
> >                (InheritanceLink 
> >                   (InterpretationNode 
> >         
> "sentence@4603e95d-b5b8-4831-a0ac-95f28feaa119_parse_0_interpretation_$X") 
> >                   (DefinedLinguisticConceptNode "DeclarativeSpeechAct") 
> >                ) 
> >                (InheritanceLink 
> >                   (PredicateNode 
> "won@349785b2-b0c2-4feb-bd51-29d7fffefc73") 
> >                   (DefinedLinguisticConceptNode "past") 
> >                ) 
> >             ) 
> >         ) 
> >         | 
> > 
> >         and the question: 
> > 
> >         (nlp-parse "Did Japan win the game?") 
> > 
> >         | 
> >         (ReferenceLink 
> >             (InterpretationNode 
> >         
> "sentence@71d1be55-9c56-46d5-a293-94c4d002feea_parse_0_interpretation_$X") 
> >             (SetLink 
> >                (InheritanceLink 
> >                   (ConceptNode 
> "game@19f5a774-8b38-4d92-b6e5-f443e2115476") 
> >                   (ConceptNode "game" (stv 0.05882353 0.0024937657)) 
> >                ) 
> >                (EvaluationLink 
> >                   (DefinedLinguisticPredicateNode "definite") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "game@19f5a774-8b38-4d92-b6e5-f443e2115476") 
> >                   ) 
> >                ) 
> >                (InheritanceLink 
> >                   (ConceptNode 
> "Japan@6df1a66e-f269-460d-bd32-9f300dc4a607") 
> >                   (ConceptNode "Japan" (stv 0.05882353 0.0024937657)) 
> >                ) 
> >                (EvaluationLink 
> >                   (DefinedLinguisticPredicateNode "definite") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@6df1a66e-f269-460d-bd32-9f300dc4a607") 
> >                   ) 
> >                ) 
> >                (ImplicationLink 
> >                   (PredicateNode 
> "win@72e29756-e848-4eb8-8924-407072e74d5e") 
> >                   (PredicateNode "win" (stv 0.10526316 0.0024937657)) 
> >                ) 
> >                (EvaluationLink 
> >                   (DefinedLinguisticPredicateNode "Truth Value") 
> >                   (EvaluationLink 
> >                      (PredicateNode 
> >         "win@72e29756-e848-4eb8-8924-407072e74d5e") 
> >                   ) 
> >                   (VariableNode "$O1UKaXxsl6dTKvIOxy67sJqT5cVPhF4uSq6o") 
> >                ) 
> >                (EvaluationLink 
> >                   (PredicateNode 
> "win@72e29756-e848-4eb8-8924-407072e74d5e") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@6df1a66e-f269-460d-bd32-9f300dc4a607") 
> >                      (ConceptNode 
> >         "game@19f5a774-8b38-4d92-b6e5-f443e2115476") 
> >                   ) 
> >                ) 
> >                (EvaluationLink 
> >                   (PredicateNode 
> "win@72e29756-e848-4eb8-8924-407072e74d5e") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@6df1a66e-f269-460d-bd32-9f300dc4a607") 
> >                   ) 
> >                ) 
> >                (InheritanceLink 
> >                   (InterpretationNode 
> >         
> "sentence@71d1be55-9c56-46d5-a293-94c4d002feea_parse_0_interpretation_$X") 
> >                   (DefinedLinguisticConceptNode "TruthQuerySpeechAct") 
> >                ) 
> >                (InheritanceLink 
> >                   (PredicateNode 
> "win@72e29756-e848-4eb8-8924-407072e74d5e") 
> >                   (DefinedLinguisticConceptNode "past_infinitive") 
> >                ) 
> >             ) 
> >         ) 
> > 
> >         | 
> > 
> > 
> >         Soo, about this part: 
> > 
> >         | 
> >         (EvaluationLink 
> >                   (DefinedLinguisticPredicateNode "Truth Value") 
> >                   (EvaluationLink 
> >                      (PredicateNode 
> >         "win@72e29756-e848-4eb8-8924-407072e74d5e") 
> >                   ) 
> >                   (VariableNode "$O1UKaXxsl6dTKvIOxy67sJqT5cVPhF4uSq6o") 
> >                ) 
> >         | 
> > 
> >         What do the nested EvaluationLink here mean? 
> > 
> >         And what steps will the bc follow to ground the variable to this 
> >         (if that's how it works): 
> > 
> >         | 
> >         (EvaluationLink 
> >                   (PredicateNode 
> "won@349785b2-b0c2-4feb-bd51-29d7fffefc73") 
> >                   (ListLink 
> >                      (ConceptNode 
> >         "Japan@2d483477-9a2d-4049-968f-8f7120f43e51") 
> >                      (ConceptNode 
> >         "game@85e71213-577b-4aa2-8412-da49e62ba2f4") 
> >                   ) 
> >                ) 
> >         | 
> > 
> > 
> >         I appreciate any help on this! (and sorry if these are trivial 
> >         things) 
> > 
> >         -- 
> >         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 <javascript:> 
> >         <mailto:opencog+u...@googlegroups.com <javascript:>>. 
> >         To post to this group, send email to ope...@googlegroups.com 
> <javascript:> 
> >         <mailto:ope...@googlegroups.com <javascript:>>. 
> >         Visit this group at https://groups.google.com/group/opencog 
> >         <https://groups.google.com/group/opencog>. 
> >         To view this discussion on the web visit 
> >         
> https://groups.google.com/d/msgid/opencog/a1e990db-df73-4372-8ef5-0931a0a8cb69%40googlegroups.com
>  
> >         <
> https://groups.google.com/d/msgid/opencog/a1e990db-df73-4372-8ef5-0931a0a8cb69%40googlegroups.com?utm_medium=email&utm_source=footer>.
>  
>
> >         For more options, visit https://groups.google.com/d/optout 
> >         <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+u...@googlegroups.com <javascript:> 
> > <mailto:opencog+u...@googlegroups.com <javascript:>>. 
> > To post to this group, send email to ope...@googlegroups.com 
> <javascript:> 
> > <mailto:ope...@googlegroups.com <javascript:>>. 
> > 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/CAHrUA35K0Rrz%3DoCGgE8j%2BO3nRip3%2Bv2OWPretcEuXXkU7zEAwA%40mail.gmail.com
>  
> > <
> https://groups.google.com/d/msgid/opencog/CAHrUA35K0Rrz%3DoCGgE8j%2BO3nRip3%2Bv2OWPretcEuXXkU7zEAwA%40mail.gmail.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/2cca81b3-5d2a-4ac2-adff-d8dc620bb06d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to