On 06/24/2016 02:30 AM, Linas Vepstas wrote:
So I suppose what we want is to connect linguistic semantics (where
the domain is ???) with experiential semantics (where the domain is
traces of the universe).
Well, even for sensors, one has different kripke frames. for example "I
heard something go boom, but did not see anything happen" -- in the
sensory frame of hearing, there's a certain truth, but in the sensory
frame of sight, there is not.
Lets try that, using MemberLink
MemberLink
SatisfyingSet
$X
Evaluation
hearing-sensor-left-side
Me-myself-I
$X
Evaluation sound@456 loud
Is that OK? Something like that?
I don't know what you mean by "traces of the universe"
It doesn't have to be traces, technically it would be possible universes
(elements of an unknown probabilitized space Omega). But if time exists
in some universes then yes there are gonna look like traces.
I have more to say but I fear that it's gonna be a diversion before the
July demo (at least for myself, I've already spend to much of time
thinking about it), so I prefer to let that aside for now and focus on
the chicken feet or pizza demo which doesn't really need that anyway.
Nil
Or perhaps we want to bypass this experiential semantics (though
when OpenPsi need to take a decision, it really needs a way or
another to get back to this experimential semantics). So I'm really
confused.
Not sure what you mean here. What does "get back to experiential
semantics" mean?
Do we want relex2logic to be the linguistic->experiential bridge?
Not quite sure what you mean, here, but after using R2L to parse voice
commands that tell the robot to do something, it didn't work very well.
I had to fall back to pre-R2L raw data to get things to work reliably.
I also struggled to deal with "grounded knowledge" -- knowledge about
how to move arms, make facial expressions, and relate that to the words
being said. So, for this R2L fell far short, and something much more
needs to be done. I've got only vague mutalble ideas at the moment, and
a working prototype, but that's all.
Or does relex2logic is supposed to do something else?
convert only some (but not all) sentences into a classical-logic form,
suitable for reasoning? I say "not all" because many sentences don't
seem to fit into the strictures of classical logic. (poetry, for
example -- e.g. Feng Tang's recent translations of Rabindranath Tagore.
. Heh)
--linas
Nil
ben
--
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 [email protected]
<mailto:opencog%[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
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/5763FED7.20201%40gmail.com.
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 [email protected].
To post to this group, send email to [email protected].
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/576CCAA1.3020209%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
