Machine Based Reasoning