Non-Axiomatic Reasoning for an Autonomous Mobile Robot | IEEE Conference Publication | IEEE Xplore