Non-axiomatic Logic: A Model Of Intelligent Reasoning