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 <[email protected]> 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/CAHrUA34N6axd70DB4B71NEhg%3DjaKzKudepns6bGeQNWinkR8xw%40mail.gmail.com.
