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 <linasveps...@gmail.com
<mailto:linasveps...@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.alkha...@gmail.com <mailto:tareq.alkha...@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+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
<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+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/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/58254ED7.1070807%40gmail.com.
For more options, visit https://groups.google.com/d/optout.