Learning from interaction with the environment using a situation-operator calculus with application to mobile robots | IEEE Conference Publication | IEEE Xplore