The theory of mental models within a non-axiomatic logic

This paper tries to capture the theory of mental models from Non-Axiomatic Logic. The theory of mental models describes people’s natural inferential processes and has strong empirical support. Non-Axiomatic Logic allows building a computer system based on itself. So, if the theory of mental models is right, and Non-Axiomatic Logic can capture the theory, it is possible to build a computer system based on the latter logic coming to conclusions like those of the human natural inferential ability. I attempt to show that with several components of Non-Axiomatic Logic, this logic can represent the basic inferential processes the theory of mental models proposes.