Great I really needed some monitoring! I'll take a look at these numbers! Another thing I forgot: is there a way to get the inference tree related to a solution obtained from BC? I saw that there was a scheme code somewhere but I didn't understand how it worked. Thank you
PS. Blocksword Problem (very briefly) = some blocks on table, 4 action (pick-up, put-down, stack: block 1 above block 2, unstack: pick-up block 1 which is above block 2), objective: to build a tower of blocks Michele Il giorno lunedì 24 maggio 2021 alle 20:08:04 UTC+2 linas ha scritto: > I know nothing about the blocksworld problem, so I cannot help directly. > Indirectly, you can use (cog-report-counts) to monitor the number of atoms > in the atomspace -- I typically see an average of about 1KB or 2KB per > atom. So, a few GB is enough for millions of atoms, normally. This will > give you a hint of what might be going on there. > > The only "problem" is that URE uses some temporary atomspaces; those are > not included in the count. The URE also mallocs structures that are not > part of the atomspace. > > There is a third but unlikely issue -- guile garbage collection not > running often enough. Take a look at (gc-stats) to get info, and (gc) to > manually run garbage collection. It's unlikely this is a problem, but there > were issues with older guile-- say, version 2.0. I'm hoping you are on > version 3.0, or at least version 2.2. > > Perhaps @Nil Geisweiller can help with URE ram issues. > > --linas > > On Mon, May 24, 2021 at 11:27 AM Michele Thiella <[email protected]> > wrote: > >> Hello everyone, >> >> Finally, I was able to pass the first planning test for the blocksword >> problem, using ContextLinks. >> (For now, it has some ad-hoc things/rules and others that are missing) >> >> But, as long as I look for a column of 3 blocks everything is fine and >> the times for the BC are very short, >> while when I look for a column of 4 or more I go into RAM overflow. >> Unfortunately, I'm on Linux on an external sdd and the Swap area is >> there. >> Consequently, with a goal of 4 blocks, I use more than 8 Giga (I only >> have 8) and it starts swapping but the time gets longer and I can't finish >> the execution. >> >> Would anyone be able to run the test_pickup_stack.scm file? and share me >> the log file? >> it's in my repo: https://github.com/raschild6/blocksworld_problem >> Thanks a lot in advance! >> (There should be no errors, just do (load >> "path/to/file/test_pickup_stack.scm") in the telnet shell. Report me if >> there is something wrong, thanks!) >> >> I'm playing with the URE parameters to see if I can optimize the >> inference. >> (extra question) is there a URE parameter to terminate at the first BC >> solution found? >> >> Michele >> >> -- >> > 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/4f5a4761-3ad7-4d6c-87d6-f5bb1f16f993n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/opencog/4f5a4761-3ad7-4d6c-87d6-f5bb1f16f993n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > Patrick: Are they laughing at us? > Sponge Bob: No, Patrick, they are laughing next to us. > > > -- 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/bcebe289-87a8-4290-8ea3-66644ae8b30fn%40googlegroups.com.
