Tareq, I think it is months away, because first Nil needs to finish some technical stuff in the backward chainer, and THEN he has to make scalable inference control work for PLN via doing pattern mining on inference histories... the latter won't be easy and help with that would be valued if anyone wants to chip in...
On Mon, Nov 21, 2016 at 11:45 AM, Tareq Alkhaldi <tareq.alkha...@gmail.com> wrote: > 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 >> > <mailto:linasv...@gmail.com>> 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 <mailto:tareq.a...@gmail.com>> 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 >> > <mailto:opencog+u...@googlegroups.com>. >> > To post to this group, send email to ope...@googlegroups.com >> > <mailto:ope...@googlegroups.com>. >> > 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 >> > <mailto:opencog+u...@googlegroups.com>. >> > To post to this group, send email to ope...@googlegroups.com >> > <mailto: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/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. -- Ben Goertzel, PhD http://goertzel.org “I tell my students, when you go to these meetings, see what direction everyone is headed, so you can go in the opposite direction. Don’t polish the brass on the bandwagon.” – V. S. Ramachandran -- 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/CACYTDBfZEBjRMW9%3DU-VO7gtdfwQ8O%2Bu5K5M61MJSGMs6T3htMw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
