Planning in my example didn't work due to certain assumptions being made in
URE. So let's say URE comes up with a nested bindlink like that:
(ExecutionOutputLink(stack c a)
...
(ExecutionOutputLink(stack a b)
(ExecutionOutputLink (pickup a) ) )
When it evaluates (stack c a) all atoms introduced by(stack a b) and
(pickup a) are present in the atomspace. So preconditions of stacking c on
a are not satisfied(a is both being 'held' and not 'held'). Probably there
is a simple workaround like placing all new facts into separate
ContextLink. Such simple planning problems are more naturally expressed in
new opencog-hyperon, so I lost the motivation for turning URE into a
planner. Besides all planners rely on heuristics to guide the search, so
even if you will make URE work on this particular small example you'll have
to do some more work to integrate them in URE.
ср, 28 апр. 2021 г. в 12:38, Michele Thiella <[email protected]>:
> Hello Nil, hello Linas and hello everyone,
>
> First of all, Nil, I have spoken to my supervisors and unfortunately I
> will not be able to develop your ROCCA project.
> I'll try to follow the developments, since you explained to me how the
> code works (thanks again).
>
> Instead, I focus on solving the blocksworld problem (and then expand the
> project by adding communication)
> So, I'm studying how URE inference works.
> My test repository can be found here:
> https://github.com/raschild6/blocksworld_problem
>
> I don't understand what I'm doing wrong ..
>
> - Why the backward chaining fails to resolve the goal?
> - Also, I think I don't quite understand how fuzzy conjunction
> introduction and elemination rules work.
>
> I have other questions related to the URE log but for now I would like to
> understand these.
>
> (I don't know if it's better to open a new conversation)
> Thanks again for your help, sorry for the inconvenience!
>
> 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/2680e980-547d-46e2-8404-d272a25d2659n%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/2680e980-547d-46e2-8404-d272a25d2659n%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/CAFj%2Bw-tCpU-iRkAjUxEk_EbKHovCq84p%2B%3D0B6EQuiNggF5D16Q%40mail.gmail.com.
