Yeah, Hedra and I are actively working on temporal reasoning, the
documentation is not well centralized at this point, and we're in
exploratory phase but with functioning code and an agent able to do
planning in uncertain/unknown environments using temporal/procedural
reasoning (it uses temporal pattern mining as well, but that can be seen
as specialized form of temporal reasoning).
Here are a few pointers
- PLN book (chapt 14) http://goertzel.org/PLN_BOOK_6_27_08.pdf
- Wiki page https://wiki.opencog.org/w/Category:Temporal_Reasoning
- Presentation at AGI-21
https://odysee.com/@ngeiswei:d/AGI-21-Temporal-Procedural-Reasoning-Nil-Geisweiller-Hedra-Yusuf:6
- PLN repo https://github.com/opencog/pln (see for the currently
implemented temporal rules and their documentation
https://github.com/opencog/pln/tree/master/opencog/pln/rules/temporal)
- ROCCA repo (reasoning-based agent control in unknown environments)
https://github.com/opencog/rocca
Nil
On 2/2/22 23:57, Ben Goertzel wrote:
Nil is doing a lot right now with temporal reasoning in PLN for
learning/planning in Minecraft. So temporal representation is an
active area, though indeed what's implemented and what's envisioned
are not fully equivalent. So best to interface w/ Nil on this...
On Wed, Feb 2, 2022 at 1:51 PM Mike Archbold <[email protected]> wrote:
I'm doing some research for the group I organize, the Northwest AGI Forum. I'm
trying to get a feel for how advanced time theory is in architectures. Time
obviously is important.
I'm familiar with OpenCog in general terms, and over a the years I have studied
it, although I don't know the details. I was browsing through the wiki. I see
references to modal logic, PLN, the atomspace, etc. It's hard to tell though
what is speculative theory, what is implemented, what is planned, long term
envisioning etc. I know Ben et al has done a lot of work.
So I was wondering if someone could please give a bit of an overview as far as
the general state of time representation in OpenCog, or perhaps point me to the
relevant literature.
I really appreciate any help! I want to summarize time theory in OpenCog, NARS,
and SOAR.
Thanks Mike Archbold
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/abe64f28-da56-4ec4-84d5-8c51d3eab78dn%40googlegroups.com.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/d66f3b9f-9a5a-7a1d-7385-96b6c10558ce%40gmail.com.
