[opencog-dev] Trying to understand how solving TruthQuery works

[Tareq Alkhaldi]

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+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/a1e990db-df73-4372-8ef5-0931a0a8cb69%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.