Hi Anatoly, yes, I started from your example! I had sensed that there was a problem with the existence of opposing atoms. I would love if someone were able to show me a simple workaround! Or maybe some advice on how to correctly build ContexLinks so that only those necessary for each nesting are considered.
Alternatively, regarding Hyperon, is it already developed enough to solve the blocksworld problem? For now, it would be enough for me to solve only this simple problem. Thanks a lot for the answer Il giorno mercoledì 28 aprile 2021 alle 12:17:21 UTC+2 [email protected] ha scritto: > 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/637870a5-2892-4d3c-a2fc-d91be63b85ean%40googlegroups.com.
