Reasoning-learning systems based on non-axiomatic reasoning system theory