On 5/28/21 10:07 AM, Nil Geisweiller wrote:
It's BTW totally publishable material, the only reason I didn't publish
is because I consider the alphabetic problem to be too trivial, and then
I had to move on to other things and didn't have time to try on less
trivial problems. If you can achieve that on the worldsblock problem,
we can write a paper about it.
Some more info on the subject
https://blog.singularitynet.io/introspective-reasoning-within-the-opencog-framework-1bc7e182827
https://blog.opencog.org/2017/10/14/inference-meta-learning-part-i/
Nil
Nil
Nil
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
<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]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/bcebe289-87a8-4290-8ea3-66644ae8b30fn%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/bcebe289-87a8-4290-8ea3-66644ae8b30fn%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/6e9f04d4-bd37-38dd-4c8c-382ed621c969%40gmail.com.
