On 5/28/21 9:57 AM, Nil Geisweiller wrote:
On 5/24/21 9:23 PM, Michele Thiella wrote:
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
Yes, just give it a trace atomspace and all inferences will be dumped
there, see (help cog-bc).
In order to understand how to use it you may study the following example
https://github.com/opencog/pln/tree/master/examples/pln/inference-control-meta-learning
In fact one excellent goal for your project could be to learn control
rules to speed up problem solving. So basically you would
1. Run your problem with varying levels of difficulties, collecting
inference traces.
2. Mine the inference traces to discover control rules.
3. Pass these control rules to the URE to hopefully speed up problem
solving for the next rounds.
I was only able to achieve that for the trivial alphabetic problem in
the link above. Making it work for a less trivial problem would be
awesome.
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.
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/e2805bfb-f406-b2c3-9764-cc1fadcd746b%40gmail.com.
