Formal description of a supervised learning algorithm for concept elicitation by cognitive robots | IEEE Conference Publication | IEEE Xplore