On 2/2/19 6:26 PM, Johannes Castner wrote:
Let me ask you this: how much of the work in this book has been
implemented as part of opencog, thus far:
https://link.springer.com/book/10.2991/978-94-91216-11-4
If you're talking about part III of the book, not much. However PLN
relies now on a much more powerful tool, the URE. At the time of writing
the book, PLN was hard-coded in C++ and somewhat inflexible.
Back then it had
- Extensional and intensional reasoning
- A bit of contextual reasoning
- Maybe some embryonic causal/spatio/temporal reasoning
- No dynamic control mechanism
The new PLN has
- Extensional reasoning
- No/broken intensional reasoning
- No/broken contextual reasoning
- No causal/spatio-temporal reasoning
- Dynamic control mechanism, capable of meta-learning. :-)
What we have gained is that OpenCog is able to learn how to control its
own reasoning and even rewrite its own reasoning rules. The counterpart
is that we still need to port intensional, contextual, causal and
spatio-temporal reasoning.
If you're interested, there is an example of control meta-learning
https://github.com/opencog/opencog/tree/master/examples/pln/inference-control-learning
Nil
Is the work on this set of ideas dead in the water or is this actively
pursued and lastly, may we help with it? We're definitely eager to help
where we can, as we're trying to build on these ideas.
Johannes
On Saturday, February 2, 2019 at 3:09:54 PM UTC, linas wrote:
On Sat, Feb 2, 2019 at 4:03 AM 'Nil Geisweiller' via opencog
<[email protected] <javascript:>> wrote:
I'm longing to go back to spatio-temporal reasoning but I'm involved
with other matters.
Linas, Amen? Any idea of how this is going?
Seems to be dead in the water. Anyway, all that I was plumping for
was not really "reasoning" but just simple predicates that converted
tow 3D points into "in front of", "behind", "next to" and if the 3D
points arrived at different times, "before", "after", just so that
natural language would get access to the 3D info. That's all; its
pretty minimal.
Perhaps relevant for Johannes is the "electrical part of" demo,
which shows how to convert a Concept into a Predicate (and how to
build complex relations out of simple ones)
https://wiki.opencog.org/w/EquivalenceLink
<https://wiki.opencog.org/w/EquivalenceLink>
-- linas
--
cassette tapes - analog TV - film cameras - you
--
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:[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/479c8040-a764-410d-b3f8-acb9967b357b%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/479c8040-a764-410d-b3f8-acb9967b357b%40googlegroups.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 [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/6534dd46-87f6-0d21-e3f8-2e5c13d63602%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
