Hi Patrick!

On 11/30/21 20:03, Patrick Hammer wrote:
If you want I can show you some structures and control policies which might help you in case controlling the inference process (for induction and deduction) is a challenge.

Sure, I've been letting aside the inference control problem as getting sound reasoning has been the challenge so far but it surely is a crucial aspect.

I think it would also be interesting to explore the use of PLN induction rules via URE instead of relying on Pattern Miner.

Yeah, I think ultimately the pattern miner should be framed more as a PLN process, which is the case in theory already but not so much in practice (partly for technical and efficiency reasons).

In principle, finding temporal patterns can directly utilize the order of events happening in time and use the order of events for a strategy to control induction, so might not need the more general machinery. But at the same time a PatternMiner+AtomSpace combination seems more general, which at some point might be better than relying on a custom control strategy operating with SpaceTime server.
Just some things to consider... :)

I think OpenCog and NARS differ a bit here. OpenCog has more like a separated Attention Allocation mechanism working in parallel, while NARS' is more integrated. That's an area I'm lacking experience (I feel I'm pretty much blank slate on the subject). Happy to discuss it during the call.

Best,
Nil


Best regards,
Patrick


On Monday, November 8, 2021 at 12:55:33 PM UTC+1 Nil wrote:

    Thanks Adrian.

    I've created a wikipage about ROCCA and added links to our previous
    calls.

    https://wiki.opencog.org/w/ROCCA#ROCCA_Community_Monthly_Call
    <https://wiki.opencog.org/w/ROCCA#ROCCA_Community_Monthly_Call>

    Nil

    On 11/5/21 7:02 PM, Adrian Borucki wrote:
     > Recording from the November
     > meeting:
    
https://odysee.com/@ntoxeg:8/rocca_call_2021_11:8?r=4wtHaEnW6caN3sFeQn3bhZGNUv56jY2s
    
<https://odysee.com/@ntoxeg:8/rocca_call_2021_11:8?r=4wtHaEnW6caN3sFeQn3bhZGNUv56jY2s>

     >
     > On Friday, 5 November 2021 at 14:00:01 UTC+1 Adrian Borucki wrote:
     >
     > All right.
     >
     > On Friday, 5 November 2021 at 13:58:44 UTC+1 Nil wrote:
     >
     > I have to leave right now, I'll be back in 30min, then we can
     > have a call.
     >
     > Nil
     >
     > On 11/4/21 9:11 PM, Adrian Borucki wrote:
     > > We could have a call, unless this is a burden to you, then we
     > can
     > > postpone that to some other date.
     > > I don’t have anything particular to talk about besides
     > hearing some
     > > ROCCA updates (what is its state and roadmap at this point)
     > and maybe
     > > pondering again about using MOSES for learning a useful
     > representation
     > > of observations for ROCCA.
     > > So, I am fine whether we have that call or not — the choice
     > is yours,
     > > really.
     > >
     > > Time and place is fine.
     > >
     > > On Thursday, 4 November 2021 at 18:48:01 UTC+1 Nil wrote:
     > >
     > > Hi Adrian,
     > >
     > > On 11/4/21 5:32 PM, Adrian Borucki wrote:
     > > > Just to make sure — is ROCCA call confirmed for tomorrow
     > (Nov 5)?
     > >
     > > Thanks for the reminder! I've been quite busy (still am) and
     > ROCCA is
     > > in a broken state right now (being reworked to handle temporal
     > > deduction) but we could still have a call nevertheless, what
     > do you
     > > think?
     > >
     > > Time would be 3pm EET (we're back to winter time) and place
     > would be
     > > https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>
     > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>>
     > >
     > > Nil
     > >
     > > >
     > > > On Friday, 3 September 2021 at 20:14:24 UTC+2 Nil wrote:
     > > >
     > > > Thanks Adrian!
     > > >
     > > > Regarding local recording it looks like the jitsi community is
     > > > working on it
     > > >
     > > > https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>
     > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>>
     > > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>
     > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>>>
     > > > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>
     > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>>
     > > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>
     > <https://github.com/jitsi/jitsi-meet/issues/6014
    <https://github.com/jitsi/jitsi-meet/issues/6014>>>>
     > > >
     > > > in the meantime there's workaround
     > > >
     > > > https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>
     > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>>
     > > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>
     > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>>>
     > > > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>
     > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>>
     > > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>
     > <https://github.com/TALRACE/JitsiLocalScreenRecorder
    <https://github.com/TALRACE/JitsiLocalScreenRecorder>>>>
     > > >
     > > > which I might try, just to give us extra options.
     > > >
     > > > Nil
     > > >
     > > > On 9/3/21 7:52 PM, Adrian Borucki wrote:
     > > > > Here is the recording from the
     > > > > meeting:
     > https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>
     > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>>
     > > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>
     > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>>>
     > > > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>
     > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>>
     > > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>
     > <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7
    <https://odysee.com/@ntoxeg:8/rocca_call_2021_09:7>>>>
     > > > >
     > > > > It seems that the video has better frame rate than when
     > recorded
     > > > by Nil
     > > > > via OBS so if you want I can volunteer to record these
     > via Jitsi
     > > > each
     > > > > meeting from now on.
     > > > >
     > > > > Cheers,
     > > > > Adrian
     > > > >
     > > > > On Tuesday, 31 August 2021 at 15:44:33 UTC+2 Nil wrote:
     > > > >
     > > > > Hi everybody,
     > > > >
     > > > > this is a reminder of the ROCCA monthly community call.
     > > > >
     > > > > Time: Friday Sept 3 at 3pm EEST
     > > > > Place: https://meet.jit.si/rocca <https://meet.jit.si/rocca>
     > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
     > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>>
     > > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>
     > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>>>
     > > > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>
     > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>>
     > > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>
     > <https://meet.jit.si/rocca <https://meet.jit.si/rocca>
    <https://meet.jit.si/rocca <https://meet.jit.si/rocca>>>>>
     > > > >
     > > > > See you there!
     > > > >
     > > > > Nil
     > > > >
     > > > > --
     > > > > 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 view this discussion on the web visit
     > > > >
     > > >
     > >
     >
    
https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>>>

     >
     > >
     > > >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com>>>>

     >
     > >
     > > >
     > > > >
     > > >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>>>

     >
     > >
     > > >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/04888d56-4fc1-40c9-8a04-8c8341a82688n%40googlegroups.com?utm_medium=email&utm_source=footer>>>>>.

     >
     > >
     > > >
     > > >
     > > > --
     > > > 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 view this discussion on the web visit
     > > >
     > >
     >
    
https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com>>>

     >
     > >
     > > >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/5d7b1985-7d16-461e-a949-c89828041fd7n%40googlegroups.com?utm_medium=email&utm_source=footer>>>>.

     >
     > >
     > >
     > > --
     > > 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 view this discussion on the web visit
     > >
     >
    
https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com>>

     >
     > >
     >
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com?utm_medium=email&utm_source=footer>

     >
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/755d85cd-639b-49b0-a703-c391e38c9effn%40googlegroups.com?utm_medium=email&utm_source=footer>>>.

     >
     >
     > --
     > 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 view this discussion on the web visit
     >
    
https://groups.google.com/d/msgid/opencog/66693d70-b15e-476c-aef8-f3422207635an%40googlegroups.com
    
<https://groups.google.com/d/msgid/opencog/66693d70-b15e-476c-aef8-f3422207635an%40googlegroups.com>

     >
    
<https://groups.google.com/d/msgid/opencog/66693d70-b15e-476c-aef8-f3422207635an%40googlegroups.com?utm_medium=email&utm_source=footer
    
<https://groups.google.com/d/msgid/opencog/66693d70-b15e-476c-aef8-f3422207635an%40googlegroups.com?utm_medium=email&utm_source=footer>>.


--
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 view this discussion on the web visit https://groups.google.com/d/msgid/opencog/723bce80-5f84-4381-b921-289c56ba13d7n%40googlegroups.com <https://groups.google.com/d/msgid/opencog/723bce80-5f84-4381-b921-289c56ba13d7n%40googlegroups.com?utm_medium=email&utm_source=footer>.

--
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/0dec52c0-ccb1-24ca-f709-3e427077013d%40gmail.com.

Reply via email to