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.
